| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
| * | | 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 |
| * | Speed up "make test" and related cleanups | Clifford Wolf | 2019-08-17 | 1 | -1/+2 |
| * | Add tests/simple_abc9/.gitignore | Clifford Wolf | 2019-07-09 | 1 | -0/+3 |
| * | 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 |
