aboutsummaryrefslogtreecommitdiffstats
path: root/tests/various/peepopt.ys
Commit message (Expand)AuthorAgeFilesLines
* Use `sat -tempinduct` and comments for why equiv_opt not sufficientEddie Hung2019-10-031-1/+8
* Fix broken CI, check reset even for constants, trim rstmuxEddie Hung2019-10-021-2/+2
* Fix testEddie Hung2019-10-021-2/+12
* Update testEddie Hung2019-10-021-13/+3
* Add testEddie Hung2019-10-021-0/+31
* OopsEddie Hung2019-09-131-1/+1
* Add counter-example from @cliffordwolfEddie Hung2019-09-131-0/+24
* Revert "Make one check $shift(x)? only; change testcase to be 8b"Eddie Hung2019-09-131-2/+2
* Cope with presence of reset muxes tooEddie Hung2019-09-111-0/+39
* Add more testsEddie Hung2019-09-111-0/+32
* proc instead of prepEddie Hung2019-09-111-2/+2
* Add unsigned caseEddie Hung2019-09-111-0/+17
* Missing equiv_opt -assertEddie Hung2019-09-061-1/+1
* Make one check $shift(x)? only; change testcase to be 8bEddie Hung2019-09-061-2/+2
* Usee equiv_opt -assertEddie Hung2019-09-061-3/+3
* simple/peepopt.v tests to various/peepopt.ys with equiv_opt & selectEddie Hung2019-09-051-0/+63