aboutsummaryrefslogtreecommitdiffstats
path: root/tests/various
Commit message (Expand)AuthorAgeFilesLines
* 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
| |\
| | * Merge branch 'master' into eddie/pr1266_againwhitequark2019-08-181-2/+2
| | |\
| | * | Revert "Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_ad...Eddie Hung2019-08-124-300/+32
| * | | Removal of more `stat` calls from testsEddie Hung2019-08-183-26/+26
| * | | Speed up "make test" and related cleanupsClifford Wolf2019-08-173-9/+18
| | |/ | |/|
| * | Do not use Verific in tests/various/write_gzip.ysClifford Wolf2019-08-161-2/+2
| |/
* / Add test for pmtest_test "reduce" demo patternClifford Wolf2019-08-171-0/+21
|/
* Merge remote-tracking branch 'origin/master' into eddie/fix_1262Eddie Hung2019-08-114-32/+300
|\
| * Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER"David Shah2019-08-104-32/+225
|/
* Remove dump callEddie Hung2019-08-071-1/+0
* Move tests/various/opt* into tests/opt/Eddie Hung2019-08-073-224/+0
* Add testcase from removed opt_ff.{v,ys}Eddie Hung2019-08-071-0/+32
* Add signed opt_expr testsEddie Hung2019-08-061-0/+50
* Add signed testEddie Hung2019-08-061-0/+26
* Move LSB tests from wreduce to opt_exprEddie Hung2019-08-062-99/+101
* Merge remote-tracking branch 'origin/master' into eddie/wreduce_addEddie Hung2019-08-064-0/+20
|\
| * Add test for writing gzip-compressed filesDavid Shah2019-08-062-0/+18
| * Add support for reading gzip'd input filesDavid Shah2019-07-262-0/+2
* | Add another testEddie Hung2019-07-191-1/+24
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-01 22:48:07 +0000