Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | simple_abc9 tests to discard whitebox before write for sim | Eddie Hung | 2020-01-23 | 2 | -2/+3 |
| | |||||
* | Test for (* keep *)-ed abc9_box_id | Eddie Hung | 2020-01-23 | 1 | -0/+16 |
| | |||||
* | abc_box_id -> abc9_box_id in test | Eddie Hung | 2020-01-23 | 1 | -1/+1 |
| | |||||
* | abc9 needs a clean afterwards | Eddie Hung | 2019-12-16 | 1 | -2/+4 |
| | |||||
* | Merge remote-tracking branch 'origin/master' into xaig_dff | Eddie Hung | 2019-12-06 | 1 | -5/+11 |
|\ | |||||
| * | abc9: Fix breaking of SCCs | David Shah | 2019-12-01 | 1 | -0/+6 |
| | | | | | | | | Signed-off-by: David Shah <dave@ds0.me> | ||||
* | | Merge remote-tracking branch 'origin/eddie/write_xaiger_improve' into xaig_dff | Eddie Hung | 2019-11-27 | 1 | -9/+0 |
|\| | |||||
| * | Remove notes | Eddie Hung | 2019-11-26 | 1 | -9/+0 |
| | | |||||
* | | Merge branch 'xaig_dff' of github.com:YosysHQ/yosys into xaig_dff | Eddie Hung | 2019-11-23 | 1 | -7/+7 |
|\ \ | |||||
| * \ | Merge remote-tracking branch 'origin/xaig_dff' into eddie/xaig_dff_adff | Eddie Hung | 2019-11-21 | 1 | -2/+7 |
| |\ \ | |||||
* | | | | Add testcase for signal used as part input part output | Eddie Hung | 2019-11-22 | 1 | -0/+5 |
| | | | | |||||
* | | | | Missing endmodule | Eddie Hung | 2019-11-22 | 1 | -0/+1 |
| | | | | |||||
* | | | | Merge branch 'eddie/xaig_dff_adff' into xaig_dff | Eddie Hung | 2019-11-21 | 1 | -3/+14 |
|\| | | | |||||
| * | | | Add two tests | Eddie Hung | 2019-11-19 | 1 | -0/+12 |
| | |/ | |/| | |||||
* | | | Add test | Eddie Hung | 2019-11-21 | 1 | -1/+6 |
| |/ |/| | |||||
* | | Add multi clock test | Eddie Hung | 2019-11-20 | 1 | -0/+5 |
|/ | |||||
* | Use `command -v` rather than `which` | Emily | 2019-09-03 | 1 | -1/+1 |
| | |||||
* | Nicer formatting | Eddie Hung | 2019-08-29 | 1 | -1/+7 |
| | |||||
* | Add *.sv to tests/simple_abc9/.gitignore | Clifford Wolf | 2019-08-19 | 1 | -0/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Speed up "make test" and related cleanups | Clifford Wolf | 2019-08-17 | 1 | -1/+2 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Add tests/simple_abc9/.gitignore | Clifford Wolf | 2019-07-09 | 1 | -0/+3 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Fix issue with part of PI being 1'bx | Eddie Hung | 2019-06-20 | 1 | -0/+5 |
| | |||||
* | Add a couple more tests | Eddie Hung | 2019-06-12 | 1 | -0/+12 |
| | |||||
* | Rename to #23 | Eddie Hung | 2019-05-29 | 1 | -3/+3 |
| | |||||
* | Add abc_test024 | Eddie Hung | 2019-05-29 | 1 | -6/+19 |
| | |||||
* | Add abc9_test022 | Eddie Hung | 2019-05-28 | 1 | -0/+22 |
| | |||||
* | 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 |
| | |||||
* | 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 |
| | |||||
* | 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 |
| | |||||
* | Working simple_abc9 tests | Eddie Hung | 2019-02-21 | 1 | -2/+2 |
| | |||||
* | Add abc9.v testcase to simple_abc9 | Eddie Hung | 2019-02-21 | 1 | -4/+46 |
| | |||||
* | simple_abc9 tests to now preserve memories | Eddie Hung | 2019-02-20 | 1 | -1/+1 |
| | |||||
* | Move tests/techmap/abc9 to simple_abc9 | Eddie Hung | 2019-02-20 | 1 | -0/+6 |
| | |||||
* | Add tests/simple_abc9 | Eddie Hung | 2019-02-20 | 1 | -0/+23 |