aboutsummaryrefslogtreecommitdiffstats
path: root/backends/smt2
Commit message (Expand)AuthorAgeFilesLines
* Removed debug code from write_smt2Clifford Wolf2015-06-141-2/+0
* Added write_smt2 -memClifford Wolf2015-06-141-80/+157
* Added $assume support to write_smt2Clifford Wolf2015-02-261-4/+19
* Minor "write_smt2" help msg changeClifford Wolf2015-02-221-1/+1
* Added "<mod>_a" and "<mod>_i" to write_smt2 outputClifford Wolf2015-02-221-23/+149
* Various fixes and improvements in "write_smt2 -bv"Clifford Wolf2014-12-253-11/+43
* Various fixes and improvements in write_smt2Clifford Wolf2014-12-252-32/+88
* Added support for most BV cell types to write_smt2Clifford Wolf2014-12-251-14/+221
* Added "write_smt2 -bv" and other write_smt2 improvementsClifford Wolf2014-12-251-172/+153
* Added write_smt2 (only gate level logic supported so far)Clifford Wolf2014-12-242-0/+353