aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/xaig' into xc7muxEddie Hung2019-06-212-0/+114
|\
| * Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-215-1/+298
| |\
| | * Merge pull request #1108 from YosysHQ/clifford/fix1091Eddie Hung2019-06-211-1/+140
| | |\ | | | | | | | | Add support for partial matches to muxcover
| | * \ Merge pull request #1085 from YosysHQ/eddie/shregmap_improveEddie Hung2019-06-212-0/+114
| | |\ \ | | | | | | | | | | Improve shregmap to handle case where first flop is common to two chains
| | | * | Add shregmap -tech xilinx testEddie Hung2019-06-122-2/+63
| | | | |
| | * | | Merge pull request #1119 from YosysHQ/eddie/fix1118Clifford Wolf2019-06-211-0/+11
| | |\ \ \ | | | | | | | | | | | | Make genvar a signed type
| * | \ \ \ Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-206-21/+62
| |\ \ \ \ \
| * | | | | | Fix issue with part of PI being 1'bxEddie Hung2019-06-201-0/+5
| | | | | | |
* | | | | | | Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux_wipEddie Hung2019-06-212-0/+413
|\ \ \ \ \ \ \
| * \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into eddie/muxpackEddie Hung2019-06-101-1/+6
| |\ \ \ \ \ \ \
| * \ \ \ \ \ \ \ Merge branch 'master' into eddie/muxpackEddie Hung2019-06-0728-33/+138
| |\ \ \ \ \ \ \ \
| * | | | | | | | | Add nonexcl case test, comment out two othersEddie Hung2019-06-072-22/+57
| | | | | | | | | |
| * | | | | | | | | Add @cliffordwolf freduce testcaseEddie Hung2019-06-072-0/+30
| | | | | | | | | |
| * | | | | | | | | Add nonexclusive test from @cliffordwolfEddie Hung2019-06-072-0/+28
| | | | | | | | | |
| * | | | | | | | | Another muxpack testEddie Hung2019-06-072-0/+32
| | | | | | | | | |
* | | | | | | | | | Merge branch 'xc7mux' into xc7mux_wipEddie Hung2019-06-211-1/+0
|\ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | Revert "autotest.sh to cat *.err on error"Eddie Hung2019-06-211-1/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 21fa8972f3d04f717d0d4afbfa252e842c807619.
| * | | | | | | | | | Revert "Cat more stuff"Eddie Hung2019-06-211-2/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 638557de3ec600ebe240e2f25e337028ce453ba2.
| * | | | | | | | | | Cat more stuffEddie Hung2019-06-211-0/+2
| | | | | | | | | | |
* | | | | | | | | | | Merge remote-tracking branch 'origin/clifford/fix1091' into xc7mux_wipEddie Hung2019-06-211-1/+140
|\ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / |/| | | | | | | | | / | | |_|_|_|_|_|_|_|/ | |/| | | | | | | |
| * | | | | | | | | Missing a `clean` and `opt_expr -mux_bool` in testEddie Hung2019-06-201-0/+4
| | | | | | | | | |
| * | | | | | | | | Add testEddie Hung2019-06-201-1/+136
| | |_|_|_|/ / / / | |/| | | | | | |
* | | | | | | | | autotest.sh to cat *.err on errorEddie Hung2019-06-211-0/+1
| | | | | | | | |
* | | | | | | | | Fix issue with part of PI being 1'bxEddie Hung2019-06-201-0/+5
| | | | | | | | |
* | | | | | | | | Merge remote-tracking branch 'origin/eddie/fix1115' into xc7muxEddie Hung2019-06-201-4/+16
|\ \ \ \ \ \ \ \ \ | | |_|_|_|_|/ / / | |/| | | | | | |
| * | | | | | | | Extend sign extension testsEddie Hung2019-06-201-4/+16
| | | | | | | | |
* | | | | | | | | Merge remote-tracking branch 'origin/eddie/fix1118' into xc7muxEddie Hung2019-06-201-0/+11
|\ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|/ / | |/| | | | | | |
| * | | | | | | | Add testEddie Hung2019-06-201-0/+11
| | |/ / / / / / | |/| | | | | |
* | | | | | | | Merge remote-tracking branch 'origin/eddie/fix1115' into xc7muxEddie Hung2019-06-201-0/+21
|\ \ \ \ \ \ \ \ | | |/ / / / / / | |/| | | | | |
| * | | | | | | Remove leftover commentEddie Hung2019-06-201-3/+0
| | | | | | | |
| * | | | | | | Add testEddie Hung2019-06-201-0/+24
| |/ / / / / /
* | | | | / / Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-06-206-21/+62
|\| | | | | | | |_|_|_|/ / |/| | | | |
| * | | | | Update some .gitignore filesClifford Wolf2019-06-202-3/+3
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | Add proper test for SV-style arraysClifford Wolf2019-06-203-6/+16
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | | Merge branch 'unpacked_arrays' of https://github.com/towoe/yosys-sv into ↵Clifford Wolf2019-06-202-0/+6
| |\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | towoe-unpacked_arrays
| | * | | | | Unpacked array declaration using sizeTobias Wölfel2019-06-192-0/+6
| | | |_|/ / | | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Allows fixed-sized array dimension specified by a single number. This commit is based on the work from PeterCrozier https://github.com/YosysHQ/yosys/pull/560. But is split out of the original work.
| * | | | | Merge pull request #1105 from YosysHQ/clifford/fixlogicinitClifford Wolf2019-06-192-14/+37
| |\ \ \ \ \ | | | | | | | | | | | | | | Improve handling of initial/default values
| | * | | | | Add defvalue test, minor autotest fixes for .sv filesClifford Wolf2019-06-192-14/+37
| | |/ / / / | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * / / / / Make tests/aiger less chattyClifford Wolf2019-06-191-4/+6
| |/ / / / | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | Revert "Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux"Eddie Hung2019-06-122-247/+0
| | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 2223ca91b0cc559bb876e8e97372a8f77da1603e, reversing changes made to eaee250a6e63e58dfef63fa30c4120db78223e24.
* | | | | Add a couple more testsEddie Hung2019-06-121-0/+12
| | | | |
* | | | | Revert "Merge remote-tracking branch 'origin/eddie/shregmap_improve' into ↵Eddie Hung2019-06-122-53/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | xc7mux" This reverts commit a138381ac3f2c820d187f08531ffd823d6cbcfd5, reversing changes made to b77c5da76919f7f99f171a0a2775896fbc8debc2.
* | | | | Revert "Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux"Eddie Hung2019-06-122-41/+0
| | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 2223ca91b0cc559bb876e8e97372a8f77da1603e, reversing changes made to eaee250a6e63e58dfef63fa30c4120db78223e24.
* | | | | Merge remote-tracking branch 'origin/eddie/shregmap_improve' into xc7muxEddie Hung2019-06-102-0/+53
|\ \ \ \ \ | | |_|_|/ | |/| | |
| * | | | Add testEddie Hung2019-06-102-0/+53
| |/ / /
* | | | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-06-101-1/+6
|\| | |
| * | | Add some more commentsEddie Hung2019-06-101-1/+6
| | |/ | |/|
* | | Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-06-0728-33/+138
|\| |
| * | Test *.aag too, by using *.aig as referenceEddie Hung2019-06-071-0/+19
| | |
| * | Use ABC to convert from AIGER to VerilogEddie Hung2019-06-071-2/+3
| | |