path: root/passes/sat/
Commit message (Expand)AuthorAge
* Imported GIT HEAD: 0.8+20190328git32bd0f2Ruben Undheim2019-03-28
* New upstream version 0.7+20180830git0b7a184Ruben Undheim2018-08-30
* Imported yosys 0.7Ruben Undheim2016-11-03
* Squashed commit of the following:Ruben Undheim2016-09-23
* Moved equiv stuff to passes/equiv/Clifford Wolf2015-01-22
* Added equiv_simpleClifford Wolf2015-01-19
* Added equiv_statusClifford Wolf2015-01-19
* Added equiv_make commandClifford Wolf2015-01-19
* Moved "share" and "wreduce" to passes/opt/Clifford Wolf2014-09-01
* Started to implement real resource sharingClifford Wolf2014-07-19
* Added expose commandClifford Wolf2014-02-05
* Added miter commandClifford Wolf2014-02-01
* Added freduce commandClifford Wolf2013-08-06
* Added "eval" passClifford Wolf2013-06-19
* Renamed "sat_solve" pass to "sat"Clifford Wolf2013-06-09
* Added SAT generator and simple sat_solve commandClifford Wolf2013-06-07