Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove submod changes | Eddie Hung | 2019-12-30 | 1 | -102/+0 |
| | |||||
* | Merge remote-tracking branch 'origin/master' into xaig_dff | Eddie Hung | 2019-12-20 | 1 | -0/+34 |
|\ | |||||
| * | Merge pull request #1569 from YosysHQ/eddie/fix_1531 | Eddie Hung | 2019-12-19 | 1 | -0/+34 |
| |\ | | | | | | | verilog: preserve size of $genval$-s in for loops | ||||
| | * | Add testcase | Eddie Hung | 2019-12-11 | 1 | -0/+34 |
| | | | |||||
* | | | Merge remote-tracking branch 'origin/master' into xaig_dff | Eddie Hung | 2019-12-19 | 1 | -0/+5 |
|\| | | |||||
| * | | add assert option to scratchpad command | N. Engelhardt | 2019-12-16 | 2 | -14/+5 |
| | | | |||||
| * | | add test and make help message more verbose | N. Engelhardt | 2019-12-12 | 1 | -0/+14 |
| |/ | |||||
* | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff | Eddie Hung | 2019-11-27 | 1 | -0/+31 |
|\ \ | |||||
| * | | Add multiple driver testcase | Eddie Hung | 2019-11-27 | 1 | -0/+31 |
| | | | |||||
* | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff | Eddie Hung | 2019-11-27 | 1 | -2/+23 |
|\| | | |||||
| * | | Revert "submod to bitty rather bussy, for bussy wires used as input and output" | Eddie Hung | 2019-11-27 | 1 | -2/+5 |
| | | | | | | | | | | | | This reverts commit cba3073026711e7683c46ba091c56a5c5a041a45. | ||||
| * | | Fix wire width | Eddie Hung | 2019-11-26 | 1 | -2/+2 |
| | | | |||||
| * | | Add testcase where \init is copied | Eddie Hung | 2019-11-25 | 1 | -0/+18 |
| | | | |||||
* | | | Merge branch 'xaig_dff' of github.com:YosysHQ/yosys into xaig_dff | Eddie Hung | 2019-11-23 | 2 | -4/+4 |
|\ \ \ | |||||
| * | | | Another sloppy mistake! | Eddie Hung | 2019-11-21 | 1 | -1/+1 |
| | | | | |||||
| * | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/xaig_dff_adff | Eddie Hung | 2019-11-21 | 2 | -2/+2 |
| |\ \ \ | |||||
| * | | | | async2sync -> clk2fflogic | Eddie Hung | 2019-11-21 | 1 | -1/+1 |
| | | | | | |||||
* | | | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff | Eddie Hung | 2019-11-22 | 1 | -3/+0 |
|\ \ \ \ \ | | |_|/ / | |/| | | | |||||
| * | | | | Remove redundant flatten | Eddie Hung | 2019-11-22 | 1 | -2/+0 |
| | | | | | |||||
| * | | | | Stray dump | Eddie Hung | 2019-11-22 | 1 | -1/+0 |
| | | | | | |||||
* | | | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff | Eddie Hung | 2019-11-22 | 1 | -0/+28 |
|\| | | | | |||||
| * | | | | Add another test with constant driver | Eddie Hung | 2019-11-22 | 1 | -0/+28 |
| | | | | | |||||
* | | | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff | Eddie Hung | 2019-11-22 | 1 | -0/+25 |
|\| | | | | |||||
| * | | | | Cleanup spacing | Eddie Hung | 2019-11-22 | 1 | -2/+1 |
| | | | | | |||||
| * | | | | Add testcase | Eddie Hung | 2019-11-22 | 1 | -0/+26 |
| | |_|/ | |/| | | |||||
* | | | | Merge branch 'eddie/clkpart' into xaig_dff | Eddie Hung | 2019-11-22 | 1 | -0/+63 |
|\| | | | |/ / |/| | | |||||
| * | | sv: Add tests for SV always types | David Shah | 2019-11-21 | 1 | -0/+63 |
| |/ | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
* / | Add a equiv test too | Eddie Hung | 2019-11-19 | 2 | -0/+23 |
|/ | |||||
* | Fix #1462, #1480. | Marcin KoĆcielnicki | 2019-11-19 | 2 | -0/+29 |
| | |||||
* | Fix #1496. | Marcin KoĆcielnicki | 2019-11-18 | 1 | -0/+13 |
| | |||||
* | 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 |
| | |||||
* | Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxext | Eddie Hung | 2019-09-18 | 1 | -0/+175 |
|\ | | | | | peepopt_dffmux -- bit optimisations for word level $dff + (enable/reset) $mux cells | ||||
| * | 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 |
| | | |||||
* | | Add equiv_opt -multiclock | David Shah | 2019-09-11 | 1 | -0/+12 |
| | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
* | | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-09-04 | 1 | -0/+27 |
|\| | |||||
| * | Expand test with `hierarchy' without -auto-top | Eddie Hung | 2019-09-03 | 1 | -0/+7 |
| | |