aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
* Revert "Add test that is expecting to fail"Eddie Hung2019-10-081-20/+0
* Merge pull request #1432 from YosysHQ/eddie/fix1427Eddie Hung2019-10-082-2/+60
|\
| * 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
| * Merge branch 'eddie/fix_sat_init' into eddie/fix1427Eddie Hung2019-10-021-0/+20
| |\
| | * Add test that is expecting to failEddie Hung2019-10-021-0/+20
| * | Update testEddie Hung2019-10-021-13/+3
| * | Add testEddie Hung2019-10-021-0/+31
| |/
* | Merge pull request #1433 from YosysHQ/eddie/equiv_opt_async2syncEddie Hung2019-10-082-9/+4
|\ \
| * | Disable equiv check for ice40 latchesEddie Hung2019-10-031-6/+3
| * | Use equiv_opt -async2sync for xilinxEddie Hung2019-10-031-3/+1
| |/
* | Missing 'accept' at end of ice40_wrapcarry, spotted by @cliffordwolfEddie Hung2019-10-051-0/+22
* | Merge pull request #1422 from YosysHQ/eddie/aigmap_selectClifford Wolf2019-10-031-0/+10
|\ \
| * | Add quick testEddie Hung2019-09-301-0/+10
| |/
* | Extend test with renaming cells with prefix tooEddie Hung2019-10-021-0/+2
* | Add testEddie Hung2019-09-301-0/+16
|/
* Merge pull request #1406 from whitequark/connect_rpcwhitequark2019-09-306-0/+152
|\
| * rpc: new frontend.whitequark2019-09-306-0/+152
* | Add latch test modified from #1363Eddie Hung2019-09-302-0/+73
* | Merge pull request #1359 from YosysHQ/xc7dspEddie Hung2019-09-2910-11/+325
|\ \
| * \ Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-231-0/+62
| |\ \
| * | | Add more complicated macc testcaseEddie Hung2019-09-192-5/+39
| * | | Add mac.sh and macc_tb.v for testingEddie Hung2019-09-192-0/+99
| * | | Merge remote-tracking branch 'origin/clifford/fix1381' into xc7dspEddie Hung2019-09-191-0/+41
| |\ \ \
| * | | | Format macc.vEddie Hung2019-09-191-8/+8
| * | | | Remove statEddie Hung2019-09-181-1/+0
| * | | | Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-181-2/+26
| |\ \ \ \
| * | | | | Add .gitignoreEddie Hung2019-09-181-0/+1
| * | | | | Refine macc testcaseEddie Hung2019-09-182-9/+17
| * | | | | Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-123-1/+63
| |\ \ \ \ \
| * | | | | | Add AREG=2 BREG=2 testEddie Hung2019-09-111-2/+6
| * | | | | | Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dspEddie Hung2019-09-111-0/+71
| |\ \ \ \ \ \
| * | | | | | | 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
| |\ \ \ \ \ \ \
| * \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dspEddie Hung2019-09-111-6/+6
| |\ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-112-7/+105
| |\ \ \ \ \ \ \ \ \
| * | | | | | | | | | 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
| |\ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-051-1/+3
| |\ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dspEddie Hung2019-09-041-0/+8
| |\ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-045-9/+39
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | 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
* | | | | | | | | | | | | | | Fix _TECHMAP_REMOVEINIT_ handling.Marcin Koƛcielnicki2019-09-271-2/+12
* | | | | | | | | | | | | | | Change order of parameters, to work on other osMiodrag Milanovic2019-09-271-1/+1
| |_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | |
* | | | | | | | | | | | | | Merge pull request #1401 from SergeyDegtyar/SergeyDegtyar/ice40Eddie Hung2019-09-252-19/+14
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | |