| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | | Remove swap file | Eddie Hung | 2019-02-20 | 1 | -0/+0 |
| * | | write_aiger: fix CI/CO and symbols | Eddie Hung | 2019-02-20 | 2 | -7/+13 |
| * | | write_xaiger to not write latches, CO/PO fixes | Eddie Hung | 2019-02-20 | 1 | -17/+26 |
| * | | Cleanup | Eddie Hung | 2019-02-16 | 1 | -4/+5 |
| * | | Cleanup | Eddie Hung | 2019-02-16 | 1 | -2/+1 |
| * | | write_xaiger to support non-bit cell connections, and cope with COs for -O | Eddie Hung | 2019-02-16 | 1 | -13/+15 |
| * | | write_aiger -O to write dummy output as __dummy_o__ | Eddie Hung | 2019-02-16 | 1 | -2/+5 |
| * | | Tidy up write_xaiger | Eddie Hung | 2019-02-16 | 1 | -8/+6 |
| * | | write_aiger() to perform CI/CO post-processing and fix symbols | Eddie Hung | 2019-02-16 | 1 | -7/+17 |
| * | | Fixes needed for DFF circuits | Eddie Hung | 2019-02-15 | 1 | -4/+3 |
| * | | write_xaiger to cope with unknown cells by transforming them to CI/CO | Eddie Hung | 2019-02-15 | 1 | -6/+44 |
| * | | More cleanup | Eddie Hung | 2019-02-14 | 1 | -15/+6 |
| * | | More cleanup of write_xaiger | Eddie Hung | 2019-02-14 | 1 | -73/+1 |
| * | | Get rid of formal stuff from xaiger backend | Eddie Hung | 2019-02-14 | 1 | -58/+0 |
| * | | Add write_xaiger | Eddie Hung | 2019-02-11 | 2 | -21/+11 |
| * | | Copy backends/aiger/aiger.cc to xaiger.cc | Eddie Hung | 2019-02-08 | 1 | -0/+788 |
| |/ |
|
| * | Add "write_aiger -I -O -B" | Clifford Wolf | 2018-11-12 | 1 | -2/+36 |
| * | Consistent use of 'override' for virtual methods in derived classes. | Henner Zeller | 2018-07-20 | 1 | -2/+2 |
| * | Fix generation of multiple outputs for same AIG node in write_aiger | Clifford Wolf | 2017-07-05 | 1 | -13/+30 |
| * | Include output ports with constant driver in AIGER output | Clifford Wolf | 2017-07-03 | 1 | -2/+18 |
| * | Fix AIGER back-end for multiple symbols per input/latch/output/property | Clifford Wolf | 2017-05-30 | 1 | -8/+20 |
| * | Improve write_aiger handling of unconnected nets and constants | Clifford Wolf | 2017-05-28 | 1 | -7/+61 |
| * | Add write_aiger $anyseq support | Clifford Wolf | 2017-03-02 | 1 | -0/+7 |
| * | Add $live and $fair support to AIGER back-end. | Clifford Wolf | 2017-02-25 | 1 | -8/+104 |
| * | Added $anyconst support to AIGER back-end | Clifford Wolf | 2016-12-11 | 1 | -0/+7 |
| * | Added $assert/$assume support to AIGER back-end | Clifford Wolf | 2016-12-03 | 1 | -10/+51 |
| * | Added "write_aiger -zinit -symbols -vmap" | Clifford Wolf | 2016-12-01 | 1 | -30/+139 |
| * | Added "write_aiger" command | Clifford Wolf | 2016-11-30 | 2 | -0/+398 |
