aboutsummaryrefslogtreecommitdiffstats
path: root/tests/simple_abc9
Commit message (Expand)AuthorAgeFilesLines
* abc9: test to use box file instead of autoEddie Hung2020-05-143-2/+5
* Update simple_abc9 testsEddie Hung2020-02-273-5/+8
* simple_abc9 tests to discard whitebox before write for simEddie Hung2020-01-232-2/+3
* Test for (* keep *)-ed abc9_box_idEddie Hung2020-01-231-0/+16
* abc_box_id -> abc9_box_id in testEddie Hung2020-01-231-1/+1
* abc9 needs a clean afterwardsEddie Hung2019-12-161-2/+4
* Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-12-061-5/+11
|\
| * abc9: Fix breaking of SCCsDavid Shah2019-12-011-0/+6
* | Merge remote-tracking branch 'origin/eddie/write_xaiger_improve' into xaig_dffEddie Hung2019-11-271-9/+0
|\|
| * Remove notesEddie Hung2019-11-261-9/+0
* | Merge branch 'xaig_dff' of github.com:YosysHQ/yosys into xaig_dffEddie Hung2019-11-231-7/+7
|\ \
| * \ Merge remote-tracking branch 'origin/xaig_dff' into eddie/xaig_dff_adffEddie Hung2019-11-211-2/+7
| |\ \
* | | | Add testcase for signal used as part input part outputEddie Hung2019-11-221-0/+5
* | | | Missing endmoduleEddie Hung2019-11-221-0/+1
* | | | Merge branch 'eddie/xaig_dff_adff' into xaig_dffEddie Hung2019-11-211-3/+14
|\| | |
| * | | Add two testsEddie Hung2019-11-191-0/+12
| | |/ | |/|
* | | Add testEddie Hung2019-11-211-1/+6
| |/ |/|
* | Add multi clock testEddie Hung2019-11-201-0/+5
|/
* Use `command -v` rather than `which`Emily2019-09-031-1/+1
* Nicer formattingEddie Hung2019-08-291-1/+7
* Add *.sv to tests/simple_abc9/.gitignoreClifford Wolf2019-08-191-0/+1
* Speed up "make test" and related cleanupsClifford Wolf2019-08-171-1/+2
* Add tests/simple_abc9/.gitignoreClifford Wolf2019-07-091-0/+3
* Fix issue with part of PI being 1'bxEddie Hung2019-06-201-0/+5
* Add a couple more testsEddie Hung2019-06-121-0/+12
* Rename to #23Eddie Hung2019-05-291-3/+3
* Add abc_test024Eddie Hung2019-05-291-6/+19
* Add abc9_test022Eddie Hung2019-05-281-0/+22
* Remove topo sort no-loop assertion, with testEddie Hung2019-04-243-1/+76
* Fix abc9 with (* keep *) wiresEddie Hung2019-04-231-0/+38
* Select to find union of both sets on stackEddie Hung2019-04-191-1/+1
* Re-enable partsel.v testEddie Hung2019-04-161-1/+0
* Uncomment out more testsEddie Hung2019-02-261-25/+39
* Enable two inout testsEddie Hung2019-02-261-16/+14
* Add broken testcasesEddie Hung2019-02-251-0/+46
* Working simple_abc9 testsEddie Hung2019-02-211-2/+2
* Add abc9.v testcase to simple_abc9Eddie Hung2019-02-211-4/+46
* simple_abc9 tests to now preserve memoriesEddie Hung2019-02-201-1/+1
* Move tests/techmap/abc9 to simple_abc9Eddie Hung2019-02-201-0/+6
* Add tests/simple_abc9Eddie Hung2019-02-201-0/+23