| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | | verilog: improve specify support when not in -specify mode | Eddie Hung | 2020-02-13 | 2 | -3/+1 | |
| | | | | ||||||
| * | | | verilog: ignore '&&&' when not in -specify mode | Eddie Hung | 2020-02-13 | 1 | -0/+6 | |
| | | | | ||||||
| * | | | specify: system timing checks to accept min:typ:max triple | Eddie Hung | 2020-02-13 | 1 | -0/+7 | |
| | | | | ||||||
| * | | | verilog: fix $specify3 check | Eddie Hung | 2020-02-13 | 1 | -0/+7 | |
| | | | | ||||||
| * | | | Merge pull request #1679 from thasti/delay-parsing | N. Engelhardt | 2020-02-13 | 1 | -0/+5 | |
| |\ \ \ | | | | | | | | | Fix crash on wire declaration with delay | |||||
| | * | | | add testcase for #1614 | Stefan Biereigel | 2020-02-03 | 1 | -0/+5 | |
| | | |/ | |/| | ||||||
| * | | | sv: More tests for wildcard port connections | David Shah | 2020-02-02 | 1 | -0/+57 | |
| | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
| * | | | hierarchy: Correct handling of wildcard port connections with default values | David Shah | 2020-02-02 | 1 | -0/+11 | |
| | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
| * | | | sv: Add tests for wildcard port connections | David Shah | 2020-02-02 | 1 | -0/+56 | |
| | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
| * | | | Merge pull request #1647 from YosysHQ/dave/sprintf | David Shah | 2020-02-02 | 1 | -0/+12 | |
| |\ \ \ | |/ / |/| | | ast: Add support for $sformatf system function | |||||
| | * | | ast: Add support for $sformatf system function | David Shah | 2020-01-19 | 1 | -0/+12 | |
| | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | |||||
| * | | | Add "help -all" and "help -celltypes" sanity test | Eddie Hung | 2020-01-28 | 1 | -0/+2 | |
| | | | | ||||||
| * | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-21 | 1 | -11/+0 | |
| |\| | | ||||||
| | * | | xilinx_dsp: another typo; move xilinx specific test | Eddie Hung | 2020-01-17 | 1 | -11/+0 | |
| | | | | ||||||
| * | | | write_xaiger: fix for (* keep *) on flop output | Eddie Hung | 2020-01-21 | 1 | -0/+15 | |
| |/ / | ||||||
| * | | autoname: add testcase with $-prefix-ed port | Eddie Hung | 2020-01-14 | 1 | -0/+19 | |
| | | | ||||||
| * | | Remove submod changes | Eddie Hung | 2019-12-30 | 1 | -102/+0 | |
| | | | ||||||
| * | | Merge remote-tracking branch 'origin/master' into xaig_dff | Eddie Hung | 2019-12-20 | 1 | -0/+34 | |
| |\ \ | ||||||
| | * \ | Merge pull request #1569 from YosysHQ/eddie/fix_1531 | Eddie Hung | 2019-12-19 | 1 | -0/+34 | |
| | |\ \ | | | | | | | | | verilog: preserve size of $genval$-s in for loops | |||||
| | | * | | Add testcase | Eddie Hung | 2019-12-11 | 1 | -0/+34 | |
| | | | | | ||||||
| * | | | | Merge remote-tracking branch 'origin/master' into xaig_dff | Eddie Hung | 2019-12-19 | 1 | -0/+5 | |
| |\| | | | ||||||
| | * | | | 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 | |
| | |/ / | ||||||
| * | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff | Eddie Hung | 2019-11-27 | 1 | -0/+31 | |
| |\ \ \ | | |/ | |/| | ||||||
| | * | | Add multiple driver testcase | Eddie Hung | 2019-11-27 | 1 | -0/+31 | |
| | | | | ||||||
| * | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff | Eddie Hung | 2019-11-27 | 1 | -2/+23 | |
| |\| | | ||||||
| | * | | Revert "submod to bitty rather bussy, for bussy wires used as input and output" | Eddie Hung | 2019-11-27 | 1 | -2/+5 | |
| | | | | | | | | | | | | | This reverts commit cba3073026711e7683c46ba091c56a5c5a041a45. | |||||
| | * | | Fix wire width | Eddie Hung | 2019-11-26 | 1 | -2/+2 | |
| | | | | ||||||
| | * | | Add testcase where \init is copied | Eddie Hung | 2019-11-25 | 1 | -0/+18 | |
| | | | | ||||||
| * | | | Merge branch 'xaig_dff' of github.com:YosysHQ/yosys into xaig_dff | Eddie Hung | 2019-11-23 | 2 | -4/+4 | |
| |\ \ \ | ||||||
| | * | | | 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 | |
| | | ||||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |