aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
...
* | | | | | | | | | | | | | | | | | | | Merge branch 'master' into eddie/muxpackEddie 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
| * | | | | | | | | | | | | | | | | | | Use ABC to convert AIGER to Verilog, then sat against YosysEddie Hung2019-06-071-21/+15
| * | | | | | | | | | | | | | | | | | | Add symbols to AIGER test inputs for ABCEddie Hung2019-06-0722-8/+40
| * | | | | | | | | | | | | | | | | | | Merge pull request #1077 from YosysHQ/clifford/pr983Clifford Wolf2019-06-072-0/+31
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'pr_elab_sys_tasks' of https://github.com/udif/yosys into cliffo...Clifford Wolf2019-06-072-0/+31
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | | * | | | | | | | | | | | | | | | | | | Initial implementation of elaboration system tasksUdi Finkelstein2019-05-032-0/+31
| | | | |_|_|_|_|_|_|_|_|_|/ / / / / / / / | | | |/| | | | | | | | | | | | | | | | |
| * | / | | | | | | | | | | | | | | | | | Rename implicit_ports.sv test to implicit_ports.vClifford Wolf2019-06-071-0/+0
| |/ / / / / / / / / / / / / / / / / / /
| * | | | | | | | | | | | | | | | | | | Cleanup tux3-implicit_named_connectionClifford Wolf2019-06-072-12/+1
| * | | | | | | | | | | | | | | | | | | Merge branch 'implicit_named_connection' of https://github.com/tux3/yosys int...Clifford Wolf2019-06-074-3/+42
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | | | | | | | SystemVerilog support for implicit named port connectionstux32019-06-064-3/+42
| | | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ / / | | |/| | | | | | | | | | | | | | | | |
* | | | | | | | | | | | | | | | | | | | 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
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | | |
* | | | | | | | | | | | | | | | | | | Fix and test for balanced caseEddie Hung2019-06-062-0/+41
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | |
* | | | | | | | | | | | | | | | | | Fix warningsEddie Hung2019-06-062-3/+3
* | | | | | | | | | | | | | | | | | Support cascading $pmux.A with $mux.A and $mux.BEddie Hung2019-06-062-0/+40
* | | | | | | | | | | | | | | | | | Add non exclusive testEddie Hung2019-06-062-0/+56
* | | | | | | | | | | | | | | | | | One more and tidy upEddie Hung2019-06-062-6/+28
* | | | | | | | | | | | | | | | | | Add a few more special case testsEddie Hung2019-06-062-0/+51
* | | | | | | | | | | | | | | | | | Add tests, fix for !=Eddie Hung2019-06-062-0/+78
|/ / / / / / / / / / / / / / / / /
* | | | | | | | | | | | | | | | | Moved tests that fail with Icarus Verilog to /tests/various. Those tests are ...Maciej Kurc2019-06-044-0/+46
* | | | | | | | | | | | | | | | | Added tests for attributesMaciej Kurc2019-06-039-0/+219
|/ / / / / / / / / / / / / / / /
* | | | | | | | | | | | | | | | Merge pull request #1049 from YosysHQ/clifford/fix1047Clifford Wolf2019-05-281-0/+4
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | Do not use shiftmul peepopt pattern when mul result is truncated, fixes #1047Clifford Wolf2019-05-281-0/+4
| | |/ / / / / / / / / / / / / | |/| | | | | | | | | | | | |
* | | | | | | | | | | | | | | Add actual wandwor test that is part of "make test"Clifford Wolf2019-05-282-33/+36
* | | | | | | | | | | | | | | Merge branch 'master' into wandworStefan Biereigel2019-05-272-0/+76
|\| | | | | | | | | | | | | |
| * | | | | | | | | | | | | | Fix initEddie Hung2019-05-241-27/+27
| * | | | | | | | | | | | | | Fix typosEddie Hung2019-05-241-6/+6
| * | | | | | | | | | | | | | Add more testsEddie Hung2019-05-242-20/+41
| * | | | | | | | | | | | | | Call procEddie Hung2019-05-241-1/+1
| * | | | | | | | | | | | | | Fix duplicate driverEddie Hung2019-05-241-15/+15
| | |_|_|_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | | |
| * | | | | | | | | | | | | Add opt_rmdff testsEddie Hung2019-05-232-0/+55
| | |_|_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | |
* | | | | | | | | | | | | reformat wand/wor testStefan Biereigel2019-05-271-22/+21
* | | | | | | | | | | | | remove port direction workaround from test caseStefan Biereigel2019-05-271-2/+1
* | | | | | | | | | | | | add simple test case for wand/worStefan Biereigel2019-05-231-0/+35
|/ / / / / / / / / / / /
* | | | | | | | | | | | Added tests for Verilog frontent for attributes on parameters and localparamsMaciej Kurc2019-05-162-0/+22
* | | | | | | | | | | | Add test case from #997Clifford Wolf2019-05-071-0/+12
* | | | | | | | | | | | Merge pull request #946 from YosysHQ/clifford/specifyClifford Wolf2019-05-062-0/+86
|\ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | Improve tests/various/specify.ysClifford Wolf2019-05-061-2/+32
| * | | | | | | | | | | | More testingEddie Hung2019-05-032-2/+5
| * | | | | | | | | | | | Fix spacingEddie Hung2019-05-031-6/+6
| * | | | | | | | | | | | Add quick-and-dirty specify testsEddie Hung2019-05-032-0/+53
* | | | | | | | | | | | | Merge pull request #975 from YosysHQ/clifford/fix968Clifford Wolf2019-05-061-0/+25
|\ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | Merge branch 'master' of github.com:YosysHQ/yosys into clifford/fix968Clifford Wolf2019-05-066-5/+60
| |\| | | | | | | | | | | |
| * | | | | | | | | | | | | Add additional test cases for for-loopsClifford Wolf2019-05-011-0/+25
| | |_|_|_|_|_|_|_|_|_|/ / | |/| | | | | | | | | | |
* | | | | | | | | | | | | Merge pull request #871 from YosysHQ/verific_importClifford Wolf2019-05-061-0/+52
|\ \ \ \ \ \ \ \ \ \ \ \ \ | |_|/ / / / / / / / / / / |/| | | | | | | | | | | |
| * | | | | | | | | | | | Add tests/various/chparam.shClifford Wolf2019-05-061-0/+52