| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove split_shiftx tests | Eddie Hung | 2019-04-26 | 2 | -139/+0 |
| | | |||||
| * | Merge remote-tracking branch 'origin/eddie/split_shiftx' into xc7mux | Eddie Hung | 2019-04-25 | 2 | -0/+139 |
| |\ | |||||
| | * | Add test | Eddie Hung | 2019-04-25 | 2 | -0/+139 |
| | | | |||||
| * | | Remove topo sort no-loop assertion, with test | Eddie Hung | 2019-04-24 | 3 | -1/+76 |
| | | | |||||
| * | | Fix abc9 with (* keep *) wires | Eddie Hung | 2019-04-23 | 1 | -0/+38 |
| | | | |||||
| * | | Merge remote-tracking branch 'origin/master' into xaig | Eddie Hung | 2019-04-22 | 4 | -0/+110 |
| |\| | |||||
| | * | Updaye pmux2shiftx test | Clifford Wolf | 2019-04-22 | 1 | -2/+2 |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | * | Merge pull request #909 from zachjs/master | Clifford Wolf | 2019-04-22 | 2 | -0/+48 |
| | |\ | | | | | | | support repeat loops with constant repeat counts outside of constant functions | ||||
| | | * | support repeat loops with constant repeat counts outside of constant functions | Zachary Snow | 2019-04-09 | 2 | -0/+48 |
| | | | | |||||
| | * | | Merge pull request #944 from YosysHQ/clifford/pmux2shiftx | Clifford Wolf | 2019-04-22 | 2 | -0/+62 |
| | |\ \ | | | | | | | | | Add pmux2shiftx command | ||||
| | | * | | Improve "pmux2shiftx" | Clifford Wolf | 2019-04-20 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | | * | | Improvements in "pmux2shiftx" | Clifford Wolf | 2019-04-20 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | | * | | Improvements in pmux2shiftx | Clifford Wolf | 2019-04-20 | 2 | -20/+30 |
| | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | | * | | Add test for pmux2shiftx | Clifford Wolf | 2019-04-20 | 2 | -0/+52 |
| | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | | Merge remote-tracking branch 'origin/clifford/libwb' into xaig | Eddie Hung | 2019-04-21 | 2 | -2/+3 |
| |\| | | | |||||
| | * | | | Fix tests | Clifford Wolf | 2019-04-21 | 2 | -2/+3 |
| | |/ / | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | Merge remote-tracking branch 'origin/master' into xaig | Eddie Hung | 2019-04-20 | 2 | -0/+8 |
| |\| | | |||||
| | * | | Add tests/aiger/.gitignore | Clifford Wolf | 2019-04-19 | 1 | -0/+2 |
| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | * | | Add retime test | Eddie Hung | 2019-04-05 | 1 | -0/+6 |
| | |/ | |||||
| * | | Select to find union of both sets on stack | Eddie Hung | 2019-04-19 | 1 | -1/+1 |
| | | | |||||
| * | | Re-enable partsel.v test | Eddie Hung | 2019-04-16 | 1 | -1/+0 |
| | | | |||||
| * | | Merge remote-tracking branch 'origin/master' into xaig | Eddie Hung | 2019-04-15 | 1 | -3/+2 |
| |\ \ | |||||
| | * | | Revert "Recognise default entry in case even if all cases covered (fix for ↵ | Eddie Hung | 2019-04-15 | 1 | -3/+2 |
| | | | | | | | | | | | | | #931)" | ||||
| * | | | Merge remote-tracking branch 'origin/master' into xaig | Eddie Hung | 2019-04-12 | 1 | -2/+3 |
| |\| | | |||||
| | * | | Add default entry to testcase | Eddie Hung | 2019-04-11 | 1 | -2/+3 |
| | |/ | |||||
| * | | Merge branch 'master' into xaig | Eddie Hung | 2019-04-08 | 14 | -5/+737 |
| |\| | |||||
| | * | Liberty file parser now accepts superfluous ; | Niels Moseley | 2019-03-27 | 1 | -1/+1 |
| | | | |||||
| | * | Liberty file parser now accepts superfluous ; | Niels Moseley | 2019-03-27 | 3 | -2/+97 |
| | | | |||||
| | * | Fix "verific -extnets" for more complex situations | Clifford Wolf | 2019-03-26 | 1 | -0/+22 |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | * | Updated the liberty parser to accept [A:B] ranges (AST has not been ↵ | Niels Moseley | 2019-03-24 | 6 | -0/+541 |
| | | | | | | | | | updated). Liberty parser now also accepts key : value pair lines that do not end in ';'. | ||||
| | * | Merge https://github.com/YosysHQ/yosys into read_aiger | Eddie Hung | 2019-03-19 | 11 | -31/+175 |
| | |\ | |||||
| | | * | fix local name resolution in prefix constructs | Zachary Snow | 2019-03-18 | 1 | -0/+56 |
| | | | | |||||
| | | * | Fix handling of task output ports in clocked always blocks, fixes #857 | Clifford Wolf | 2019-03-07 | 1 | -0/+19 |
| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | | * | Ensure fid() calls make_id() for consistency; tests/simple/dff_init.v fails | Jim Lawson | 2019-03-04 | 1 | -0/+1 |
| | | | | | | | | | | | | | Mark dff_init.v as expected to fail since it uses "initial value". | ||||
| | | * | Hotfix for "make test" | Clifford Wolf | 2019-02-28 | 1 | -1/+1 |
| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | | * | Add "write_verilog -siminit" | Clifford Wolf | 2019-02-28 | 1 | -1/+1 |
| | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| | | * | Fix FIRRTL to Verilog process instance subfield assignment. | Jim Lawson | 2019-02-25 | 3 | -3/+1 |
| | | | | | | | | | | | | | | | | | | | Don't emit subfield assignments: bits(x, y, z) <= ... - but instead, add them to the reverse-wire-map where they'll be treated at the end of the module. Enable tests which were disabled due to incorrect treatment of subfields. Assume the `$firrtl2verilog` variable contains any additional switches to control verilog generation (i.e. `--no-dedup -X mverilog`) | ||||
| | * | | One more merge conflict | Eddie Hung | 2019-02-17 | 1 | -6/+1 |
| | | | | |||||
| | * | | Merge https://github.com/YosysHQ/yosys into read_aiger | Eddie Hung | 2019-02-17 | 5 | -8/+97 |
| | |\ \ | |||||
| * | \ \ | Merge remote-tracking branch 'origin/master' into xaig | Eddie Hung | 2019-02-26 | 5 | -1/+94 |
| |\ \ \ \ | | |_|/ | |/| | | |||||
| | * | | | Merge pull request #812 from ucb-bar/arrayhierarchyfixes | Clifford Wolf | 2019-02-24 | 2 | -1/+68 |
| | |\ \ \ | | | | | | | | | | | Define basic_cell_type() function and use it to derive the cell type … | ||||
| | | * | | | Address requested changes - don't require non-$ name. | Jim Lawson | 2019-02-22 | 2 | -4/+7 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Suppress warning if name does begin with a `$`. Fix hierachy tests so they have something to grep. Announce hierarchy test types. | ||||
| | | * | | | Fix normal (non-array) hierarchy -auto-top. | Jim Lawson | 2019-02-19 | 2 | -1/+65 |
| | | | | | | | | | | | | | | | | | | | | | Add simple test. | ||||
| | * | | | | Merge pull request #824 from litghost/fix_reduce_on_ff | Clifford Wolf | 2019-02-24 | 2 | -0/+24 |
| | |\ \ \ \ | | | | | | | | | | | | | Fix WREDUCE on FF not fixing ARST_VALUE parameter. | ||||
| | | * | | | | Fix WREDUCE on FF not fixing ARST_VALUE parameter. | Keith Rothman | 2019-02-22 | 2 | -0/+24 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Adds test case that fails without code change. Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com> | ||||
| | * | | | | | Fix handling of defparam for when default_nettype is none | Clifford Wolf | 2019-02-24 | 1 | -0/+2 |
| | |/ / / / | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | | | | | Uncomment out more tests | Eddie Hung | 2019-02-26 | 1 | -25/+39 |
| | | | | | | |||||
| * | | | | | Enable two inout tests | Eddie Hung | 2019-02-26 | 1 | -16/+14 |
| | | | | | | |||||
| * | | | | | Add broken testcases | Eddie Hung | 2019-02-25 | 1 | -0/+46 |
| | | | | | | |||||
| * | | | | | Revert "tests/simple to also do LUT synth" | Eddie Hung | 2019-02-21 | 1 | -1/+0 |
| | | | | | | | | | | | | | | | | | | | | | This reverts commit 5994382a20a0b7e890d22d032eecb39b61e0b3ce. | ||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |