summaryrefslogtreecommitdiff
path: root/tests/sat
Commit message (Expand)AuthorAge
* New upstream version 0.9Ruben Undheim2019-10-18
* New upstream version 0.7+20180830git0b7a184Ruben Undheim2018-08-30
* Added yet another resource sharing test caseClifford Wolf2014-07-20
* now ignore init attributes on non-register wires in sat commandClifford Wolf2014-07-05
* Added read_verilog -sv options, added support for bit, logic,Clifford Wolf2014-06-12
* Added test cases for expose -evert-dffClifford Wolf2014-02-08
* Added splice commandClifford Wolf2014-02-07
* Added counters sat test caseClifford Wolf2014-02-06
* Added test cases for sat commandClifford Wolf2014-02-04