aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into xc7muxEddie Hung2019-05-022-0/+23
|\
| * Fix #938 - Crash occurs in case when use write_firrtl commandJim Lawson2019-05-012-0/+23
* | Remove split_shiftx testsEddie Hung2019-04-262-139/+0
* | Merge remote-tracking branch 'origin/eddie/split_shiftx' into xc7muxEddie Hung2019-04-252-0/+139
|\ \
| * | Add testEddie Hung2019-04-252-0/+139
| |/
* | Remove topo sort no-loop assertion, with testEddie Hung2019-04-243-1/+76
* | Fix abc9 with (* keep *) wiresEddie Hung2019-04-231-0/+38
* | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-224-0/+110
|\|
| * Updaye pmux2shiftx testClifford Wolf2019-04-221-2/+2
| * Merge pull request #909 from zachjs/masterClifford Wolf2019-04-222-0/+48
| |\
| | * support repeat loops with constant repeat counts outside of constant functionsZachary Snow2019-04-092-0/+48
| * | Merge pull request #944 from YosysHQ/clifford/pmux2shiftxClifford Wolf2019-04-222-0/+62
| |\ \
| | * | Improve "pmux2shiftx"Clifford Wolf2019-04-201-1/+1
| | * | Improvements in "pmux2shiftx"Clifford Wolf2019-04-201-1/+1
| | * | Improvements in pmux2shiftxClifford Wolf2019-04-202-20/+30
| | * | Add test for pmux2shiftxClifford Wolf2019-04-202-0/+52
* | | | Merge remote-tracking branch 'origin/clifford/libwb' into xaigEddie Hung2019-04-212-2/+3
|\| | |
| * | | Fix testsClifford Wolf2019-04-212-2/+3
| |/ /
* | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-202-0/+8
|\| |
| * | Add tests/aiger/.gitignoreClifford Wolf2019-04-191-0/+2
| * | Add retime testEddie Hung2019-04-051-0/+6
| |/
* | Select to find union of both sets on stackEddie Hung2019-04-191-1/+1
* | Re-enable partsel.v testEddie Hung2019-04-161-1/+0
* | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-151-3/+2
|\ \
| * | Revert "Recognise default entry in case even if all cases covered (fix for #9...Eddie Hung2019-04-151-3/+2
* | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-04-121-2/+3
|\| |
| * | Add default entry to testcaseEddie Hung2019-04-111-2/+3
| |/
* | Merge branch 'master' into xaigEddie Hung2019-04-0814-5/+737
|\|
| * Liberty file parser now accepts superfluous ;Niels Moseley2019-03-271-1/+1
| * Liberty file parser now accepts superfluous ;Niels Moseley2019-03-273-2/+97
| * Fix "verific -extnets" for more complex situationsClifford Wolf2019-03-261-0/+22
| * Updated the liberty parser to accept [A:B] ranges (AST has not been updated)....Niels Moseley2019-03-246-0/+541
| * Merge https://github.com/YosysHQ/yosys into read_aigerEddie Hung2019-03-1911-31/+175
| |\
| | * fix local name resolution in prefix constructsZachary Snow2019-03-181-0/+56
| | * Fix handling of task output ports in clocked always blocks, fixes #857Clifford Wolf2019-03-071-0/+19
| | * Ensure fid() calls make_id() for consistency; tests/simple/dff_init.v failsJim Lawson2019-03-041-0/+1
| | * Hotfix for "make test"Clifford Wolf2019-02-281-1/+1
| | * Add "write_verilog -siminit"Clifford Wolf2019-02-281-1/+1
| | * Fix FIRRTL to Verilog process instance subfield assignment.Jim Lawson2019-02-253-3/+1
| * | One more merge conflictEddie Hung2019-02-171-6/+1
| * | Merge https://github.com/YosysHQ/yosys into read_aigerEddie Hung2019-02-175-8/+97
| |\ \
* | \ \ Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-02-265-1/+94
|\ \ \ \ | | |_|/ | |/| |
| * | | Merge pull request #812 from ucb-bar/arrayhierarchyfixesClifford Wolf2019-02-242-1/+68
| |\ \ \
| | * | | Address requested changes - don't require non-$ name.Jim Lawson2019-02-222-4/+7
| | * | | Fix normal (non-array) hierarchy -auto-top.Jim Lawson2019-02-192-1/+65
| * | | | Merge pull request #824 from litghost/fix_reduce_on_ffClifford Wolf2019-02-242-0/+24
| |\ \ \ \
| | * | | | Fix WREDUCE on FF not fixing ARST_VALUE parameter.Keith Rothman2019-02-222-0/+24
| * | | | | Fix handling of defparam for when default_nettype is noneClifford Wolf2019-02-241-0/+2
| |/ / / /
* | | | | Uncomment out more testsEddie Hung2019-02-261-25/+39
* | | | | Enable two inout testsEddie Hung2019-02-261-16/+14