Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Oops | Eddie Hung | 2019-09-13 | 1 | -1/+1 |
* | Add counter-example from @cliffordwolf | Eddie Hung | 2019-09-13 | 1 | -0/+24 |
* | Revert "Make one check $shift(x)? only; change testcase to be 8b" | Eddie Hung | 2019-09-13 | 1 | -2/+2 |
* | Cope with presence of reset muxes too | Eddie Hung | 2019-09-11 | 1 | -0/+39 |
* | Add more tests | Eddie Hung | 2019-09-11 | 1 | -0/+32 |
* | proc instead of prep | Eddie Hung | 2019-09-11 | 1 | -2/+2 |
* | Add unsigned case | Eddie Hung | 2019-09-11 | 1 | -0/+17 |
* | Missing equiv_opt -assert | Eddie Hung | 2019-09-06 | 1 | -1/+1 |
* | Make one check $shift(x)? only; change testcase to be 8b | Eddie Hung | 2019-09-06 | 1 | -2/+2 |
* | Usee equiv_opt -assert | Eddie Hung | 2019-09-06 | 1 | -3/+3 |
* | simple/peepopt.v tests to various/peepopt.ys with equiv_opt & select | Eddie Hung | 2019-09-05 | 1 | -0/+63 |