Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | | | | | | | | | | Change sync controls to async. | SergeyDegtyar | 2019-09-25 | 2 | -8/+8 | |
| * | | | | | | | | | | | | | adffs test update (equiv_opt -multiclock). | SergeyDegtyar | 2019-09-24 | 2 | -18/+13 | |
* | | | | | | | | | | | | | | Hell let's add the original #1381 testcase too | Eddie Hung | 2019-09-20 | 1 | -3/+22 | |
* | | | | | | | | | | | | | | Add testcase | Eddie Hung | 2019-09-20 | 1 | -0/+43 | |
| |_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | ||||||
* | | | | | | | | | | | | | Added extractinv pass | Marcin Kościelnicki | 2019-09-19 | 1 | -0/+41 | |
| |_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | ||||||
* | | | | | | | | | | | | Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxext | Eddie Hung | 2019-09-18 | 2 | -13/+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 | 2 | -21/+63 | |
| * | | | | | | | Revert "abc9 followed by clean otherwise netlist could be invalid for sim" | Eddie Hung | 2019-09-05 | 1 | -1/+0 | |
| * | | | | | | | abc9 followed by clean otherwise netlist could be invalid for sim | Eddie Hung | 2019-09-04 | 1 | -0/+1 | |
| | |_|_|/ / / | |/| | | | | | ||||||
| * | | | | | | Add peepopt_dffmuxext tests | Eddie Hung | 2019-09-04 | 1 | -0/+8 | |
| | |_|/ / / | |/| | | | | ||||||
* | | | | | | Merge pull request #1370 from YosysHQ/dave/equiv_opt_multiclock | David Shah | 2019-09-12 | 1 | -0/+12 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Add equiv_opt -multiclock | David Shah | 2019-09-11 | 1 | -0/+12 | |
* | | | | | | | Add -match-init option to dff2dffs. | Marcin Kościelnicki | 2019-09-11 | 1 | -0/+50 | |
|/ / / / / / | ||||||
* | | | | / | tests: ice40: fix div_mod SB_LUT4 count | Sean Cross | 2019-09-10 | 1 | -1/+1 | |
| |_|_|_|/ |/| | | | | ||||||
* | | | | | techmap: Add support for extracting init values of ports | Marcin Kościelnicki | 2019-09-07 | 1 | -0/+98 | |
* | | | | | Merge branch 'master' of github.com:YosysHQ/yosys | Eddie Hung | 2019-09-06 | 1 | -1/+3 | |
|\ \ \ \ \ | | |_|_|/ | |/| | | | ||||||
| * | | | | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-09-04 | 3 | -2/+29 | |
| |\| | | | ||||||
| * | | | | Merge remote-tracking branch 'origin/master' into xaig_arrival | Eddie Hung | 2019-09-02 | 2 | -7/+10 | |
| |\ \ \ \ | | | |/ / | | |/| | | ||||||
| * | | | | Make abc9 test a bit more interesting | Eddie Hung | 2019-08-30 | 1 | -1/+3 | |
| | |_|/ | |/| | | ||||||
* | | | | Add missing -assert to equiv_opt | Eddie Hung | 2019-09-06 | 1 | -7/+7 | |
| |_|/ |/| | | ||||||
* | | | 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 | 45 | -36/+1009 | |
|\ \ \ | ||||||
| * | | | Use `command -v` rather than `which` | Emily | 2019-09-03 | 2 | -2/+2 | |
| | |/ | |/| | ||||||
| * | | Merge pull request #1344 from YosysHQ/eddie/ice40_signed_macc | Eddie Hung | 2019-09-01 | 2 | -7/+10 | |
| |\ \ | | |/ | |/| | ||||||
| | * | Improve tests/ice40/macc.ys for SB_MAC16 | Eddie Hung | 2019-08-30 | 2 | -7/+10 | |
| * | | Merge pull request #1340 from YosysHQ/eddie/abc_no_clean | Eddie Hung | 2019-08-30 | 1 | -1/+7 | |
| |\ \ | | |/ | |/| | ||||||
| | * | Nicer formatting | Eddie Hung | 2019-08-29 | 1 | -1/+7 | |
| * | | Merge pull request #1310 from SergeyDegtyar/master | Eddie Hung | 2019-08-30 | 36 | -1/+765 | |
| |\ \ | ||||||
| | * | | macc test fix | SergeyDegtyar | 2019-08-30 | 1 | -1/+1 | |
| | * | | Fix macc test | SergeyDegtyar | 2019-08-30 | 1 | -1/+1 | |
| | * | | div_mod test fix | SergeyDegtyar | 2019-08-30 | 1 | -1/+1 | |
| | * | | fix div_mod test | SergeyDegtyar | 2019-08-30 | 1 | -1/+1 | |
| | * | | Fix test for counter | SergeyDegtyar | 2019-08-30 | 1 | -1/+1 | |
| | * | | Merge branch 'master' into master | Sergey | 2019-08-30 | 1 | -0/+26 | |
| | |\ \ | ||||||
| | * | | | Add new tests. | SergeyDegtyar | 2019-08-30 | 10 | -0/+200 | |
| | * | | | Remove unnecessary common.v(assertions for testbenches). | SergeyDegtyar | 2019-08-30 | 1 | -47/+0 | |
| | * | | | Remove simulation from run-test.sh (unnecessary paths) | SergeyDegtyar | 2019-08-30 | 1 | -16/+9 | |
| | * | | | Remove simulation from run-test.sh | SergeyDegtyar | 2019-08-30 | 1 | -6/+0 | |
| | * | | | Merge pull request #3 from YosysHQ/Sergey/tests_ice40 | Sergey | 2019-08-29 | 18 | -243/+271 | |
| | |\ \ \ |