aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/example.ys
Commit message (Collapse)AuthorAgeFilesLines
* Fixes in old SAT example.ysClifford Wolf2014-09-011-3/+4
|
* Renamed "sat_solve" pass to "sat"Clifford Wolf2013-06-091-8/+8
|
* Implemented temporal induction proofs in sat_solveClifford Wolf2013-06-091-2/+4
|
* Added support for non-temporal proofs to sat_solveClifford Wolf2013-06-091-0/+4
|
* Added sequential solving support to sat_solveClifford Wolf2013-06-091-0/+1
|
* Added support for shifter cells to SAT generatorClifford Wolf2013-06-081-1/+2
|
* Various improvements in sat_solve pass and SAT generatorClifford Wolf2013-06-081-2/+4
|
* Improved auto-detection of -show signals in sat_solveClifford Wolf2013-06-081-1/+1
|
* Improved sat generator and sat_solve passClifford Wolf2013-06-071-1/+1
|
* Added SAT generator and simple sat_solve commandClifford Wolf2013-06-071-0/+3