aboutsummaryrefslogtreecommitdiffstats
path: root/tests/various
Commit message (Expand)AuthorAgeFilesLines
* Remove submod changesEddie Hung2019-12-301-102/+0
* Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-12-201-0/+34
|\
| * Merge pull request #1569 from YosysHQ/eddie/fix_1531Eddie Hung2019-12-191-0/+34
| |\
| | * Add testcaseEddie Hung2019-12-111-0/+34
* | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-12-191-0/+5
|\| |
| * | add assert option to scratchpad commandN. Engelhardt2019-12-162-14/+5
| * | add test and make help message more verboseN. Engelhardt2019-12-121-0/+14
| |/
* | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dffEddie Hung2019-11-271-0/+31
|\ \
| * | Add multiple driver testcaseEddie Hung2019-11-271-0/+31
* | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dffEddie Hung2019-11-271-2/+23
|\| |
| * | Revert "submod to bitty rather bussy, for bussy wires used as input and output"Eddie Hung2019-11-271-2/+5
| * | Fix wire widthEddie Hung2019-11-261-2/+2
| * | Add testcase where \init is copiedEddie Hung2019-11-251-0/+18
* | | Merge branch 'xaig_dff' of github.com:YosysHQ/yosys into xaig_dffEddie Hung2019-11-232-4/+4
|\ \ \
| * | | Another sloppy mistake!Eddie Hung2019-11-211-1/+1
| * | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/xaig_dff_adffEddie Hung2019-11-212-2/+2
| |\ \ \
| * | | | async2sync -> clk2fflogicEddie Hung2019-11-211-1/+1
* | | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dffEddie Hung2019-11-221-3/+0
|\ \ \ \ \ | | |_|/ / | |/| | |
| * | | | Remove redundant flattenEddie Hung2019-11-221-2/+0
| * | | | Stray dumpEddie Hung2019-11-221-1/+0
* | | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dffEddie Hung2019-11-221-0/+28
|\| | | |
| * | | | Add another test with constant driverEddie Hung2019-11-221-0/+28
* | | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dffEddie Hung2019-11-221-0/+25
|\| | | |
| * | | | Cleanup spacingEddie Hung2019-11-221-2/+1
| * | | | Add testcaseEddie Hung2019-11-221-0/+26
| | |_|/ | |/| |
* | | | Merge branch 'eddie/clkpart' into xaig_dffEddie Hung2019-11-221-0/+63
|\| | | | |/ / |/| |
| * | sv: Add tests for SV always typesDavid Shah2019-11-211-0/+63
| |/
* / Add a equiv test tooEddie Hung2019-11-192-0/+23
|/
* Fix #1462, #1480.Marcin Koƛcielnicki2019-11-192-0/+29
* Fix #1496.Marcin Koƛcielnicki2019-11-181-0/+13
* Use `sat -tempinduct` and comments for why equiv_opt not sufficientEddie Hung2019-10-031-1/+8
* Fix broken CI, check reset even for constants, trim rstmuxEddie Hung2019-10-021-2/+2
* Fix testEddie Hung2019-10-021-2/+12
* Update testEddie Hung2019-10-021-13/+3
* Add testEddie Hung2019-10-021-0/+31
* Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxextEddie Hung2019-09-181-0/+175
|\
| * OopsEddie Hung2019-09-131-1/+1
| * Add counter-example from @cliffordwolfEddie Hung2019-09-131-0/+24
| * Revert "Make one check $shift(x)? only; change testcase to be 8b"Eddie Hung2019-09-131-2/+2
| * Cope with presence of reset muxes tooEddie Hung2019-09-111-0/+39
| * Add more testsEddie Hung2019-09-111-0/+32
| * proc instead of prepEddie Hung2019-09-111-2/+2
| * Add unsigned caseEddie Hung2019-09-111-0/+17
| * Missing equiv_opt -assertEddie Hung2019-09-061-1/+1
| * Make one check $shift(x)? only; change testcase to be 8bEddie Hung2019-09-061-2/+2
| * Usee equiv_opt -assertEddie Hung2019-09-061-3/+3
| * simple/peepopt.v tests to various/peepopt.ys with equiv_opt & selectEddie Hung2019-09-051-0/+63
* | Add equiv_opt -multiclockDavid Shah2019-09-111-0/+12
* | Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-09-041-0/+27
|\|
| * Expand test with `hierarchy' without -auto-topEddie Hung2019-09-031-0/+7