aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #1370 from YosysHQ/dave/equiv_opt_multiclockDavid Shah2019-09-121-0/+12
|\
| * Add equiv_opt -multiclockDavid Shah2019-09-111-0/+12
* | Add -match-init option to dff2dffs.Marcin Koƛcielnicki2019-09-111-0/+50
|/
* tests: ice40: fix div_mod SB_LUT4 countSean Cross2019-09-101-1/+1
* techmap: Add support for extracting init values of portsMarcin Koƛcielnicki2019-09-071-0/+98
* Merge branch 'master' of github.com:YosysHQ/yosysEddie Hung2019-09-061-1/+3
|\
| * Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-09-043-2/+29
| |\
| * \ Merge remote-tracking branch 'origin/master' into xaig_arrivalEddie Hung2019-09-022-7/+10
| |\ \
| * | | Make abc9 test a bit more interestingEddie Hung2019-08-301-1/+3
* | | | Add missing -assert to equiv_optEddie Hung2019-09-061-7/+7
| |_|/ |/| |
* | | 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-0345-36/+1009
|\ \ \
| * | | Use `command -v` rather than `which`Emily2019-09-032-2/+2
| | |/ | |/|
| * | Merge pull request #1344 from YosysHQ/eddie/ice40_signed_maccEddie Hung2019-09-012-7/+10
| |\ \ | | |/ | |/|
| | * Improve tests/ice40/macc.ys for SB_MAC16Eddie Hung2019-08-302-7/+10
| * | Merge pull request #1340 from YosysHQ/eddie/abc_no_cleanEddie Hung2019-08-301-1/+7
| |\ \ | | |/ | |/|
| | * Nicer formattingEddie Hung2019-08-291-1/+7
| * | Merge pull request #1310 from SergeyDegtyar/masterEddie Hung2019-08-3036-1/+765
| |\ \
| | * | macc test fixSergeyDegtyar2019-08-301-1/+1
| | * | Fix macc testSergeyDegtyar2019-08-301-1/+1
| | * | div_mod test fixSergeyDegtyar2019-08-301-1/+1
| | * | fix div_mod testSergeyDegtyar2019-08-301-1/+1
| | * | Fix test for counterSergeyDegtyar2019-08-301-1/+1
| | * | Merge branch 'master' into masterSergey2019-08-301-0/+26
| | |\ \
| | * | | Add new tests.SergeyDegtyar2019-08-3010-0/+200
| | * | | Remove unnecessary common.v(assertions for testbenches).SergeyDegtyar2019-08-301-47/+0
| | * | | Remove simulation from run-test.sh (unnecessary paths)SergeyDegtyar2019-08-301-16/+9
| | * | | Remove simulation from run-test.shSergeyDegtyar2019-08-301-6/+0
| | * | | Merge pull request #3 from YosysHQ/Sergey/tests_ice40Sergey2019-08-2918-243/+271
| | |\ \ \
| | | * | | Comment out *.sh used for testbenches as we have no moreEddie Hung2019-08-281-8/+8
| | | * | | Use equiv for memory and dpramEddie Hung2019-08-284-168/+2
| | | * | | Use equiv_opt for latchesEddie Hung2019-08-282-58/+10
| | | * | | Merge remote-tracking branch 'origin/clifford/async2synclatch' into Sergey/te...Eddie Hung2019-08-2811-9/+251
| | | |\ \ \ | | | | | |/ | | | | |/|
| | * | / | Add comments for examples from Lattice user guideSergeyDegtyar2019-08-293-0/+9
| | |/ / /
| | * | | Revert "Add tests for ecp5"SergeyDegtyar2019-08-2830-862/+0
| | * | | Add tests for ecp5SergeyDegtyar2019-08-2830-0/+862
| | * | | Revert "Add tests for ecp5 architecture."SergeyDegtyar2019-08-2730-864/+0
| | * | | Add tests for ecp5 architecture.SergeyDegtyar2019-08-2730-0/+864
| | * | | Add tests for macc and rom;SergeyDegtyar2019-08-274-0/+55
| | * | | Fix pull requestSergeyDegtyar2019-08-232-7/+9
| | * | | Fix run-test.sh; Add new test for dpram.SergeyDegtyar2019-08-234-1/+120
| | * | | Fix path in run-test.shSergeyDegtyar2019-08-231-3/+3
| | * | | Remove adffs_tb.vEddie Hung2019-08-221-75/+0
| | * | | WIP for equivalency checking memoriesEddie Hung2019-08-221-1/+13
| | * | | Do not print OKAYEddie Hung2019-08-222-4/+0
| | * | | Fail if iverilog failsEddie Hung2019-08-221-2/+2
| | * | | Hide tri-state warning message for nowEddie Hung2019-08-222-1/+2
| | * | | Remove unused outputEddie Hung2019-08-221-1/+1
| | * | | Fix tribuf testEddie Hung2019-08-221-1/+1