aboutsummaryrefslogtreecommitdiffstats
path: root/tests/various
Commit message (Expand)AuthorAgeFilesLines
...
| * | 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
| * Add `read -noverific` before readEddie Hung2019-09-031-0/+1
| * Merge remote-tracking branch 'origin/master' into eddie/deferred_topEddie Hung2019-09-031-33/+0
| |\
| * | Add constant expression attribute to testEddie Hung2019-08-291-0/+1
| * | Add failing testEddie Hung2019-08-281-0/+18
* | | Make abc9 test a bit more interestingEddie Hung2019-08-301-1/+3
| |/ |/|
* | Merge remote-tracking branch 'origin/master' into eddie/xilinx_srlEddie Hung2019-08-231-0/+1
|\|
| * Do not propagate mem2reg attribute through to resultEddie Hung2019-08-221-0/+1
* | Remove Xilinx testEddie Hung2019-08-221-34/+0
* | Add shregmap -tech xilinx testEddie Hung2019-08-221-0/+1
|/
* mem2reg to preserve user attributes and srcEddie Hung2019-08-211-0/+13
* Merge branch 'master' of github.com:YosysHQ/yosys into clifford/pmgenClifford Wolf2019-08-199-332/+73
|\
| * Merge remote-tracking branch 'origin/master' into clifford/testfastEddie Hung2019-08-184-300/+32
| |\
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-12 09:00:59 +0000