aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/Makefile.inc
Commit message (Expand)AuthorAgeFilesLines
* Add WASI platform support.whitequark2020-04-301-1/+2
* Initial skeleton for `qbfsat` command.Alberto Gonzalez2020-04-041-0/+1
* Add fminit passClifford Wolf2020-01-091-0/+1
* Add "cutpoint" passClifford Wolf2019-03-251-0/+1
* Add fmcombine passClifford Wolf2019-03-151-0/+1
* Add basic "mutate -list N" frameworkClifford Wolf2019-03-141-0/+1
* Add "supercover" skeletonClifford Wolf2019-02-271-0/+1
* Add async2sync passClifford Wolf2018-07-191-0/+1
* Add "sim" command skeletonClifford Wolf2017-08-161-0/+1
* Added clk2fflogicClifford Wolf2016-10-141-0/+1
* Added assertpmuxClifford Wolf2016-09-071-0/+1
* Moved equiv stuff to passes/equiv/Clifford Wolf2015-01-221-3/+0
* Added equiv_simpleClifford Wolf2015-01-191-0/+1
* Added equiv_statusClifford Wolf2015-01-191-0/+1
* Added equiv_make commandClifford Wolf2015-01-191-0/+1
* Moved "share" and "wreduce" to passes/opt/Clifford Wolf2014-09-011-1/+0
* Started to implement real resource sharingClifford Wolf2014-07-191-0/+1
* Added expose commandClifford Wolf2014-02-051-0/+1
* Added miter commandClifford Wolf2014-02-011-0/+1
* Added freduce commandClifford Wolf2013-08-061-0/+1
* Added "eval" passClifford Wolf2013-06-191-0/+1
* Renamed "sat_solve" pass to "sat"Clifford Wolf2013-06-091-1/+1
* Added SAT generator and simple sat_solve commandClifford Wolf2013-06-071-0/+3