| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Use `sat -tempinduct` and comments for why equiv_opt not sufficient | Eddie Hung | 2019-10-03 | 1 | -1/+8 |
| | | |||||
| * | Fix broken CI, check reset even for constants, trim rstmux | Eddie Hung | 2019-10-02 | 1 | -2/+2 |
| | | |||||
| * | Fix test | Eddie Hung | 2019-10-02 | 1 | -2/+12 |
| | | |||||
| * | Update test | Eddie Hung | 2019-10-02 | 1 | -13/+3 |
| | | |||||
| * | Add test | Eddie Hung | 2019-10-02 | 1 | -0/+31 |
| | | |||||
| * | 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 |
| | | | | | This reverts commit e2c2d784c8217e4bcf29fb6b156b6a8285036b80. | ||||
| * | 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 |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |