summaryrefslogtreecommitdiff
path: root/passes/sat/example.v
Commit message (Expand)AuthorAge
* Added support for shifter cells to SAT generatorClifford Wolf2013-06-08
* Various improvements in sat_solve pass and SAT generatorClifford Wolf2013-06-08
* Added SAT generator and simple sat_solve commandClifford Wolf2013-06-07