aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
* Update test with a/b resetEddie Hung2019-09-111-2/+4
* Extend test for RSTP and RSTMEddie Hung2019-09-112-3/+50
* Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dspEddie Hung2019-09-111-1/+18
|\
| * proc instead of prepEddie Hung2019-09-111-2/+2
| * Add unsigned caseEddie Hung2019-09-111-0/+17
* | Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dspEddie Hung2019-09-111-6/+6
|\|
| * 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
* | Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-112-7/+105
|\ \
| * | 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
| |\ \
| * | | Add missing -assert to equiv_optEddie Hung2019-09-061-7/+7
* | | | Add SIMD testEddie Hung2019-09-091-0/+25
* | | | Update macc testEddie Hung2019-09-062-42/+42
* | | | Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dspEddie Hung2019-09-052-21/+63
|\ \ \ \ | | |_|/ | |/| |
| * | | simple/peepopt.v tests to various/peepopt.ys with equiv_opt & selectEddie Hung2019-09-052-21/+63
| * | | Revert "abc9 followed by clean otherwise netlist could be invalid for sim"Eddie Hung2019-09-051-1/+0
| * | | abc9 followed by clean otherwise netlist could be invalid for simEddie Hung2019-09-041-0/+1
* | | | Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-051-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
* | | | | Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dspEddie Hung2019-09-041-0/+8
|\ \ \ \ \ | | |_|_|/ | |/| | |
| * | | | Add peepopt_dffmuxext testsEddie Hung2019-09-041-0/+8
| | |_|/ | |/| |
* | | | Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-045-9/+39
|\| | |
| * | | 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
| * | | Add constant expression attribute to testEddie Hung2019-08-291-0/+1
| * | | Add failing testEddie Hung2019-08-281-0/+18
* | | | Add macc test, with equiv_opt not currently passingEddie Hung2019-08-302-0/+54
* | | | Update test for ffMEddie Hung2019-08-301-2/+2
* | | | Add mul_unsigned testEddie Hung2019-08-302-0/+41
| |/ / |/| |
* | | 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