Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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. | ||||
| * | | | Removal of more `stat` calls from tests | Eddie Hung | 2019-08-18 | 3 | -26/+26 |
| | | | | |||||
| * | | | Speed up "make test" and related cleanups | Clifford Wolf | 2019-08-17 | 3 | -9/+18 |
| | |/ | |/| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | Do not use Verific in tests/various/write_gzip.ys | Clifford Wolf | 2019-08-16 | 1 | -2/+2 |
| |/ | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* / | Add test for pmtest_test "reduce" demo pattern | Clifford Wolf | 2019-08-17 | 1 | -0/+21 |
|/ | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Merge remote-tracking branch 'origin/master' into eddie/fix_1262 | Eddie Hung | 2019-08-11 | 4 | -32/+300 |
|\ | |||||
| * | Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER" | David Shah | 2019-08-10 | 4 | -32/+225 |
|/ | |||||
* | Remove dump call | Eddie Hung | 2019-08-07 | 1 | -1/+0 |
| | |||||
* | Move tests/various/opt* into tests/opt/ | Eddie Hung | 2019-08-07 | 3 | -224/+0 |
| | |||||
* | Add testcase from removed opt_ff.{v,ys} | Eddie Hung | 2019-08-07 | 1 | -0/+32 |
| | |||||
* | Add signed opt_expr tests | Eddie Hung | 2019-08-06 | 1 | -0/+50 |
| | |||||
* | Add signed test | Eddie Hung | 2019-08-06 | 1 | -0/+26 |
| | |||||
* | Move LSB tests from wreduce to opt_expr | Eddie Hung | 2019-08-06 | 2 | -99/+101 |
| | |||||
* | Merge remote-tracking branch 'origin/master' into eddie/wreduce_add | Eddie Hung | 2019-08-06 | 4 | -0/+20 |
|\ | |||||
| * | Add test for writing gzip-compressed files | David Shah | 2019-08-06 | 2 | -0/+18 |
| | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
| * | Add support for reading gzip'd input files | David Shah | 2019-07-26 | 2 | -0/+2 |
| | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
* | | Add another test | Eddie Hung | 2019-07-19 | 1 | -1/+24 |
| | | |||||
* | | Add one more test with trimming Y_WIDTH of $sub | Eddie Hung | 2019-07-19 | 1 | -11/+14 |
| | | |||||
* | | Be more explicit | Eddie Hung | 2019-07-19 | 1 | -6/+29 |
| | | |||||
* | | Add tests for sub too | Eddie Hung | 2019-07-19 | 1 | -1/+48 |
| | | |||||
* | | Add test | Eddie Hung | 2019-07-19 | 1 | -0/+22 |
|/ | |||||
* | Update test with more accurate LUT mask | Eddie Hung | 2019-07-12 | 1 | -1/+1 |
| |