| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | | | 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 | |
| | | | ||||||
| | * | Add `read -noverific` before read | Eddie Hung | 2019-09-03 | 1 | -0/+1 | |
| | | | ||||||
| | * | Merge remote-tracking branch 'origin/master' into eddie/deferred_top | Eddie Hung | 2019-09-03 | 1 | -33/+0 | |
| | |\ | ||||||
| | * | | Add constant expression attribute to test | Eddie Hung | 2019-08-29 | 1 | -0/+1 | |
| | | | | ||||||
| | * | | Add failing test | Eddie Hung | 2019-08-28 | 1 | -0/+18 | |
| | | | | ||||||
| * | | | Make abc9 test a bit more interesting | Eddie Hung | 2019-08-30 | 1 | -1/+3 | |
| | |/ |/| | ||||||
| * | | Merge remote-tracking branch 'origin/master' into eddie/xilinx_srl | Eddie Hung | 2019-08-23 | 1 | -0/+1 | |
| |\| | ||||||
| | * | Do not propagate mem2reg attribute through to result | Eddie Hung | 2019-08-22 | 1 | -0/+1 | |
| | | | ||||||
| * | | Remove Xilinx test | Eddie Hung | 2019-08-22 | 1 | -34/+0 | |
| | | | ||||||
| * | | Add shregmap -tech xilinx test | Eddie Hung | 2019-08-22 | 1 | -0/+1 | |
| |/ | ||||||
| * | mem2reg to preserve user attributes and src | Eddie Hung | 2019-08-21 | 1 | -0/+13 | |
| | | ||||||
| * | Merge branch 'master' of github.com:YosysHQ/yosys into clifford/pmgen | Clifford Wolf | 2019-08-19 | 9 | -332/+73 | |
| |\ | ||||||
| | * | Merge remote-tracking branch 'origin/master' into clifford/testfast | Eddie Hung | 2019-08-18 | 4 | -300/+32 | |
| | |\ | ||||||
| | | * | Merge branch 'master' into eddie/pr1266_again | whitequark | 2019-08-18 | 1 | -2/+2 | |
| | | |\ | ||||||
| | | * | | Revert "Merge pull request #1280 from ↵ | Eddie Hung | 2019-08-12 | 4 | -300/+32 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | YosysHQ/revert-1266-eddie/ice40_full_adder" This reverts commit c851dc13108021834533094a8a3236da6d9e0161, reversing changes made to f54bf1631ff37a83733c162e6ebd188c1d5ea18f. | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |