Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix _TECHMAP_REMOVEINIT_ handling. | Marcin Kościelnicki | 2019-09-27 | 1 | -2/+12 |
* | Change order of parameters, to work on other os | Miodrag Milanovic | 2019-09-27 | 1 | -1/+1 |
* | Merge pull request #1401 from SergeyDegtyar/SergeyDegtyar/ice40 | Eddie Hung | 2019-09-25 | 2 | -19/+14 |
|\ | |||||
| * | 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 |