| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Merge pull request #1569 from YosysHQ/eddie/fix_1531 | Eddie Hung | 2019-12-19 | 1 | -0/+34 |
| |\ |
|
| | * | Add testcase | Eddie Hung | 2019-12-11 | 1 | -0/+34 |
| * | | 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 |
| |/ |
|
| * | sv: Add tests for SV always types | David Shah | 2019-11-21 | 1 | -0/+63 |
| * | 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 |
| |\ |
|
| | * | 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 |
| * | | Add equiv_opt -multiclock | David Shah | 2019-09-11 | 1 | -0/+12 |
| * | | 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 YosysHQ/revert-1266-eddie/ice40_full_ad... | Eddie Hung | 2019-08-12 | 4 | -300/+32 |
| | * | | | 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 |
| | | |/
| |/| |
|
| | * | | Do not use Verific in tests/various/write_gzip.ys | Clifford Wolf | 2019-08-16 | 1 | -2/+2 |
| | |/ |
|
| * / | Add test for pmtest_test "reduce" demo pattern | Clifford Wolf | 2019-08-17 | 1 | -0/+21 |
| |/ |
|
| * | 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 |
