aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
* Add run-test.sh tooEddie Hung2019-08-281-0/+20
* Add SB_CARRY to ice40_opt testEddie Hung2019-08-281-3/+5
* Add ice40_opt testEddie Hung2019-08-281-0/+24
* Merge pull request #1325 from YosysHQ/eddie/sat_initClifford Wolf2019-08-281-1/+7
|\
| * Revert to using cleanEddie Hung2019-08-271-1/+1
| * Wire with init on FF part, 1'bx on non-FF partEddie Hung2019-08-241-1/+3
| * Blocking assignmentEddie Hung2019-08-231-1/+1
| * In sat: 'x' in init attr should not override constantEddie Hung2019-08-222-1/+5
* | improve clkbuf_inhibit propagation upwards through hierarchyMarcin Koƛcielnicki2019-08-271-5/+33
* | Improve tests to check that clkbuf is connected to expectedEddie Hung2019-08-261-6/+21
* | Check clkbuf_inhibit=1 is ignored for custom selectionEddie Hung2019-08-231-0/+1
* | Add simple clkbufmap testsEddie Hung2019-08-231-0/+52
* | tests/techmap/run-test.sh to cope with *.ysEddie Hung2019-08-232-7/+18
* | Do not propagate mem2reg attribute through to resultEddie Hung2019-08-221-0/+1
|/
* Merge pull request #1317 from YosysHQ/eddie/opt_expr_shiftxEddie Hung2019-08-221-0/+70
|\
| * Respect opt_expr -keepdc as per @cliffordwolfEddie Hung2019-08-221-0/+14
| * Handle $shift and Y_WIDTH > 1 as per @cliffordwolfEddie Hung2019-08-221-1/+43
| * Add testEddie Hung2019-08-211-0/+14
* | mem2reg to preserve user attributes and srcEddie Hung2019-08-211-0/+13
|/
* Add testEddie Hung2019-08-203-0/+15
* Merge branch 'master' into clifford/pmgenClifford Wolf2019-08-206-1/+46
|\
| * Add test case for real parametersClifford Wolf2019-08-201-1/+10
| * proc_clean: fix order of switch insertion.whitequark2019-08-194-0/+35
| * Add *.sv to tests/simple_abc9/.gitignoreClifford Wolf2019-08-191-0/+1
* | Merge branch 'master' of github.com:YosysHQ/yosys into clifford/pmgenClifford Wolf2019-08-1939-68/+534
|\|
| * Merge remote-tracking branch 'origin/master' into clifford/testfastEddie Hung2019-08-1832-29/+485
| |\
| | * Merge branch 'master' into eddie/pr1266_againwhitequark2019-08-1824-2/+453
| | |\
| | | * Merge https://github.com/bogdanvuk/yosys into bogdanvuk/opt_shareEddie Hung2019-08-1623-0/+451
| | | |\
| | | | * Fix wrong results when opt_share called before opt_cleanBogdan Vukobratovic2019-08-071-1/+0
| | | | * Support various binary operators in opt_shareBogdan Vukobratovic2019-08-043-0/+126
| | | | * Tabs to spaces in opt_share examplesBogdan Vukobratovic2019-08-0310-150/+150
| | | | * Fix spacing in opt_share tests, change wording in opt_share helpBogdan Vukobratovic2019-08-0310-155/+150
| | | | * Reimplement opt_share to work on $alu and $pmuxBogdan Vukobratovic2019-07-2820-17/+295
| | | | * Implement opt_shareBogdan Vukobratovic2019-07-264-0/+53
| | * | | Revert "Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_ad...Eddie Hung2019-08-129-29/+34
| * | | | Removal of more `stat` calls from testsEddie Hung2019-08-183-26/+26
| * | | | Speed up "make test" and related cleanupsClifford Wolf2019-08-175-11/+21
| | |/ / | |/| |
| * | | 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-119-34/+29
|\ \
| * | Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER"David Shah2019-08-109-34/+29
* | | Add $alu testsEddie Hung2019-08-091-0/+42
* | | Add alumacc versions of opt_expr testsEddie Hung2019-08-091-0/+84
* | | Add new $alu test, remove wreduceEddie Hung2019-08-091-11/+21
* | | Cleanup some moreEddie Hung2019-08-091-12/+0
* | | Simplify opt_expr tests using equiv_optEddie Hung2019-08-091-72/+23
|/ /
* | Remove dump callEddie Hung2019-08-071-1/+0
* | Move tests/various/opt* into tests/opt/Eddie Hung2019-08-075-1/+1
* | Remove ice40_unlut call, simply do equiv_opt on synth_ice40Eddie Hung2019-08-071-3/+1
* | Add testcase from removed opt_ff.{v,ys}Eddie Hung2019-08-071-0/+32