aboutsummaryrefslogtreecommitdiffstats
path: root/backends/aiger/aiger.cc
Commit message (Expand)AuthorAgeFilesLines
* Fix write_aiger bug added in 524af21Clifford Wolf2019-11-041-0/+3
* Add aiger and protobuf backends binary supportMiodrag Milanovic2019-09-281-1/+1
* Add "write_aiger -L"Clifford Wolf2019-09-181-5/+16
* Also fix write_aiger for UBEddie Hung2019-06-281-26/+26
* Fix spacingEddie Hung2019-06-201-1/+1
* Fix gcc invalidation behaviour for write_aigerEddie Hung2019-06-201-1/+2
* Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-201-0/+1
|\
| * Support filename rewrite in backendsBen Widawsky2019-06-181-0/+1
* | SpellingEddie Hung2019-04-181-1/+1
|/
* Add "write_aiger -I -O -B"Clifford Wolf2018-11-121-2/+36
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
* Fix generation of multiple outputs for same AIG node in write_aigerClifford Wolf2017-07-051-13/+30
* Include output ports with constant driver in AIGER outputClifford Wolf2017-07-031-2/+18
* Fix AIGER back-end for multiple symbols per input/latch/output/propertyClifford Wolf2017-05-301-8/+20
* Improve write_aiger handling of unconnected nets and constantsClifford Wolf2017-05-281-7/+61
* Add write_aiger $anyseq supportClifford Wolf2017-03-021-0/+7
* Add $live and $fair support to AIGER back-end.Clifford Wolf2017-02-251-8/+104
* Added $anyconst support to AIGER back-endClifford Wolf2016-12-111-0/+7
* Added $assert/$assume support to AIGER back-endClifford Wolf2016-12-031-10/+51
* Added "write_aiger -zinit -symbols -vmap"Clifford Wolf2016-12-011-30/+139
* Added "write_aiger" commandClifford Wolf2016-11-301-0/+395