aboutsummaryrefslogtreecommitdiffstats
path: root/tests/various
Commit message (Collapse)AuthorAgeFilesLines
* Add tests for sub tooEddie Hung2019-07-191-1/+48
|
* Add testEddie Hung2019-07-191-0/+22
|
* Update test with more accurate LUT maskEddie Hung2019-07-121-1/+1
|
* Fix tests/various/async FFL testClifford Wolf2019-07-091-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Improve tests/various/async, disable failing ffl testClifford Wolf2019-07-092-7/+38
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add tests/various/async.{sh,v}Clifford Wolf2019-07-092-0/+88
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Improve tests/various/run-test.shClifford Wolf2019-07-091-8/+6
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Merge pull request #1156 from YosysHQ/eddie/fix_abc9_unknown_cellEddie Hung2019-07-032-0/+14
|\ | | | | write_xaiger to treat unknown cell connections as keep-s
| * Add testEddie Hung2019-07-022-0/+14
| |
* | Merge pull request #1147 from YosysHQ/clifford/fix1144Clifford Wolf2019-07-032-1/+12
|\ \ | | | | | | Improve specify dummy parser
| * | Fix tests/various/specify.vClifford Wolf2019-07-032-8/+3
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Some cleanups in "ignore specify parser"Clifford Wolf2019-07-031-1/+1
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Comment out invalid syntaxEddie Hung2019-06-301-2/+2
| | |
| * | Add test from #1144, and try reading without '-specify' flagEddie Hung2019-06-282-0/+16
| | |
* | | Update test for Pass::call_on_module()Eddie Hung2019-07-021-1/+1
| | |
* | | Update test tooEddie Hung2019-07-021-2/+2
| | |
* | | Try command in another moduleEddie Hung2019-06-281-0/+3
| | |
* | | Add testEddie Hung2019-06-281-0/+17
| |/ |/|
* | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-272-5/+26
|\|
| * Merge pull request #1143 from YosysHQ/clifford/fix1135Eddie Hung2019-06-272-5/+26
| |\ | | | | | | Add "pmux2shiftx -norange"
| | * Add #1135 testcaseEddie Hung2019-06-272-5/+26
| | |
| * | Copy tests from eddie/fix1132Eddie Hung2019-06-271-0/+320
| |/
* | Merge origin/masterEddie Hung2019-06-271-0/+320
| |
* | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-252-0/+527
|\|
| * Merge remote-tracking branch 'origin/master' into eddie/muxpackEddie Hung2019-06-224-1/+287
| |\
| * | Add more testsEddie Hung2019-06-212-21/+51
| | |
| * | Fix testcaseEddie Hung2019-06-211-3/+4
| | |
| * | Add more muxpack tests, with overlapping entriesEddie Hung2019-06-212-1/+84
| | |
| * | Merge branch 'master' into eddie/muxpackEddie Hung2019-06-211-1/+2
| |\ \
| * \ \ Merge branch 'master' into eddie/muxpackEddie Hung2019-06-072-0/+31
| |\ \ \
| * | | | Add nonexcl case test, comment out two othersEddie Hung2019-06-072-22/+57
| | | | |
| * | | | Add @cliffordwolf freduce testcaseEddie Hung2019-06-072-0/+30
| | | | |
| * | | | Add nonexclusive test from @cliffordwolfEddie Hung2019-06-072-0/+28
| | | | |
| * | | | Another muxpack testEddie Hung2019-06-072-0/+32
| | | | |
| * | | | Fix and test for balanced caseEddie Hung2019-06-062-0/+41
| | | | |
| * | | | Fix warningsEddie Hung2019-06-062-3/+3
| | | | |
| * | | | Support cascading $pmux.A with $mux.A and $mux.BEddie Hung2019-06-062-0/+40
| | | | |
| * | | | Add non exclusive testEddie Hung2019-06-062-0/+56
| | | | |
| * | | | One more and tidy upEddie Hung2019-06-062-6/+28
| | | | |
| * | | | Add a few more special case testsEddie Hung2019-06-062-0/+51
| | | | |
| * | | | Add tests, fix for !=Eddie Hung2019-06-062-0/+78
| | | | |
* | | | | Add tests/various/abc9.{v,ys} with SCC testEddie Hung2019-06-242-0/+19
| |_|_|/ |/| | |
* | | | Merge pull request #1108 from YosysHQ/clifford/fix1091Eddie Hung2019-06-211-1/+140
|\ \ \ \ | | | | | | | | | | Add support for partial matches to muxcover
| * | | | Missing a `clean` and `opt_expr -mux_bool` in testEddie Hung2019-06-201-0/+4
| | | | |
| * | | | Add testEddie Hung2019-06-201-1/+136
| | |_|/ | |/| |
* | | | Merge pull request #1085 from YosysHQ/eddie/shregmap_improveEddie Hung2019-06-212-0/+114
|\ \ \ \ | | | | | | | | | | Improve shregmap to handle case where first flop is common to two chains
| * | | | Add shregmap -tech xilinx testEddie Hung2019-06-122-2/+63
| | | | |
| * | | | Add testEddie Hung2019-06-102-0/+53
| | |_|/ | |/| |
* | | | Extend sign extension testsEddie Hung2019-06-201-4/+16
| | | |
* | | | Remove leftover commentEddie Hung2019-06-201-3/+0
| | | |