Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | abc9: fix SCC issues (#2694) | Eddie Hung | 2021-03-29 | 1 | -5/+19 |
* | abc9: test to use box file instead of auto | Eddie Hung | 2020-05-14 | 1 | -1/+1 |
* | Update simple_abc9 tests | Eddie Hung | 2020-02-27 | 1 | -1/+6 |
* | simple_abc9 tests to discard whitebox before write for sim | Eddie Hung | 2020-01-23 | 1 | -1/+1 |
* | 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 |
* | 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 |
* | | 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 |
|/ | |||||
* | 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 | 1 | -0/+73 |
* | Fix abc9 with (* keep *) wires | Eddie Hung | 2019-04-23 | 1 | -0/+38 |
* | 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 |
* | Add abc9.v testcase to simple_abc9 | Eddie Hung | 2019-02-21 | 1 | -4/+46 |
* | Move tests/techmap/abc9 to simple_abc9 | Eddie Hung | 2019-02-20 | 1 | -0/+6 |