aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
* hierarchy: Correct handling of wildcard port connections with default valuesDavid Shah2020-02-021-0/+11
* sv: Add tests for wildcard port connectionsDavid Shah2020-02-021-0/+56
* Merge pull request #1647 from YosysHQ/dave/sprintfDavid Shah2020-02-021-0/+12
|\
| * ast: Add support for $sformatf system functionDavid Shah2020-01-191-0/+12
* | Merge pull request #1559 from YosysHQ/efinix_test_fixMiodrag Milanović2020-01-291-1/+1
|\ \
| * | Updated test to use assert-maxMiodrag Milanovic2020-01-281-1/+1
| * | Fix for non-deterministic testMiodrag Milanovic2019-12-071-1/+1
* | | Add "help -all" and "help -celltypes" sanity testEddie Hung2020-01-281-0/+2
* | | Merge pull request #1660 from YosysHQ/eddie/abc9_unpermute_lutsEddie Hung2020-01-282-0/+102
|\ \ \
| * | | Import tests from #1628Eddie Hung2020-01-272-0/+102
* | | | Merge pull request #1567 from YosysHQ/eddie/sat_init_warningClaire Wolf2020-01-281-0/+11
|\ \ \ \
| * | | | Even more obvious testcaseEddie Hung2019-12-111-6/+5
| * | | | Make testcase clearer with \o having its own initEddie Hung2019-12-111-0/+2
| * | | | Add test: 'Warning: ignoring initial value on non-register: \o'Eddie Hung2019-12-111-0/+10
* | | | | Merge pull request #1573 from YosysHQ/eddie/xilinx_tristateN. Engelhardt2020-01-281-0/+5
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | Add testEddie Hung2019-12-121-0/+5
| |/ / /
* | | | Merge pull request #1619 from YosysHQ/eddie/abc9_refactorEddie Hung2020-01-273-0/+60
|\ \ \ \
| * | | | 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
| * | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-215-0/+24
| |\ \ \ \ | | | |_|/ | | |/| |
| * | | | write_xaiger: fix for (* keep *) on flop outputEddie Hung2020-01-211-0/+15
| * | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-151-0/+13
| |\ \ \ \
| * \ \ \ \ Merge remote-tracking branch 'origin/master' into eddie/abc9_refactorEddie Hung2020-01-146-9/+29
| |\ \ \ \ \
| * | | | | | abc9: respect (* keep *) on cellsEddie Hung2020-01-131-0/+15
| * | | | | | write_xaiger: add support and test for (* keep *) on wiresEddie Hung2020-01-131-0/+13
* | | | | | | Merge pull request #1656 from YosysHQ/eddie/ice40_abc9_warningsEddie Hung2020-01-271-23/+4
|\ \ \ \ \ \ \
| * | | | | | | ice40: reduce ABC9 internal fanout warnings with a param for CI->I3Eddie Hung2020-01-241-23/+4
| | |_|_|/ / / | |/| | | | |
* | | | | | | simple_abc9 tests to discard whitebox before write for simEddie Hung2020-01-232-2/+3
* | | | | | | abc_box_id -> abc9_box_id in testEddie Hung2020-01-231-1/+1
|/ / / / / /
* | | | | | xilinx_dsp: another typo; move xilinx specific testEddie Hung2020-01-171-0/+0
* | | | | | ice40_dsp: fix typoEddie Hung2020-01-171-0/+11
* | | | | | Add #1644 testcaseEddie Hung2020-01-172-0/+2
* | | | | | ice40_dsp: add testEddie Hung2020-01-171-0/+11
| |_|/ / / |/| | | |
* | | | | abc9: aAdd test to check $_NOT_s are absorbedEddie Hung2020-01-151-0/+12
| |/ / / |/| | |
* | | | Merge pull request #1633 from YosysHQ/eddie/fix_autonameEddie Hung2020-01-141-0/+19
|\ \ \ \
| * | | | autoname: add testcase with $-prefix-ed portEddie Hung2020-01-141-0/+19
| |/ / /
* | | | Merge pull request #1632 from YosysHQ/eddie/fix1630Eddie Hung2020-01-142-0/+2
|\ \ \ \
| * | | | Add #1630 testcaseEddie Hung2020-01-132-0/+2
| |/ / /
* | | | Merge pull request #1623 from YosysHQ/mmicko/edif_attrMiodrag Milanović2020-01-143-9/+8
|\ \ \ \ | |/ / / |/| | |
| * | | this one is fineMiodrag Milanovic2020-01-101-3/+3
| * | | Fix testsMiodrag Milanovic2020-01-103-12/+11
* | | | Merge pull request #1620 from YosysHQ/eddie/abc9_scratchpadEddie Hung2020-01-131-0/+40
|\ \ \ \
| * \ \ \ Merge remote-tracking branch 'origin/master' into eddie/abc9_scratchpadEddie Hung2020-01-111-0/+25
| |\ \ \ \
| * | | | | Add abc9 sanity testEddie Hung2020-01-091-0/+40
| | |/ / / | |/| | |
* | | | | Add #1626 testcaseEddie Hung2020-01-121-0/+217
| |/ / / |/| | |
* | | | Merge remote-tracking branch 'origin/master' into eddie/abc9_mfsEddie Hung2020-01-079-4/+196
|\| | |
| * | | Add testcasesEddie Hung2020-01-072-0/+17
| * | | tests/aiger: write Yosys outputEddie Hung2020-01-071-2/+2
| * | | Combine tests to check multiple clock domainsEddie Hung2020-01-021-33/+10
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-12 12:46:52 +0000