aboutsummaryrefslogtreecommitdiffstats
path: root/backends/aiger
Commit message (Collapse)AuthorAgeFilesLines
* Added "write_aiger -zinit -symbols -vmap"Clifford Wolf2016-12-011-30/+139
|
* Added "write_aiger" commandClifford Wolf2016-11-302-0/+398