aboutsummaryrefslogtreecommitdiffstats
path: root/tests/various
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxextEddie Hung2019-09-181-0/+175
|\ | | | | peepopt_dffmux -- bit optimisations for word level $dff + (enable/reset) $mux cells
| * 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
| | | | | | | | This reverts commit e2c2d784c8217e4bcf29fb6b156b6a8285036b80.
| * 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
| | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | 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 ↵Eddie Hung2019-08-124-300/+32
| | | | | | | | | | | | | | | | | | | | | | | | | | | | YosysHQ/revert-1266-eddie/ice40_full_adder" This reverts commit c851dc13108021834533094a8a3236da6d9e0161, reversing changes made to f54bf1631ff37a83733c162e6ebd188c1d5ea18f.
| * | | Removal of more `stat` calls from testsEddie Hung2019-08-183-26/+26
| | | |
| * | | Speed up "make test" and related cleanupsClifford Wolf2019-08-173-9/+18
| | |/ | |/| | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Do not use Verific in tests/various/write_gzip.ysClifford Wolf2019-08-161-2/+2
| |/ | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* / Add test for pmtest_test "reduce" demo patternClifford Wolf2019-08-171-0/+21
|/ | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* 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
| | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * Add support for reading gzip'd input filesDavid Shah2019-07-262-0/+2
| | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | Add another testEddie Hung2019-07-191-1/+24
| |
* | Add one more test with trimming Y_WIDTH of $subEddie Hung2019-07-191-11/+14
| |
* | Be more explicitEddie Hung2019-07-191-6/+29
| |
* | 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
|