aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | | | | | | | Improve BTOR2 handling of undriven wiresClifford Wolf2019-06-261-3/+27
| * | | | | | | | | | | | Fix segfault on failed VERILOG_FRONTEND::const2ast, closes #1131Clifford Wolf2019-06-261-1/+1
| * | | | | | | | | | | | Do not clean up buffer cells with "keep" attribute, closes #1128Clifford Wolf2019-06-261-1/+1
| * | | | | | | | | | | | Escape scope names starting with dollar sign in smtio.pyClifford Wolf2019-06-261-1/+4
| * | | | | | | | | | | | Add more ECP5 Diamond flip-flops.whitequark2019-06-262-30/+91
| |/ / / / / / / / / / /
| * | | | | | | | | | | Add testcase from #335, fixed by #1130Eddie Hung2019-06-251-0/+28
| * | | | | | | | | | | Merge pull request #1130 from YosysHQ/eddie/fix710Clifford Wolf2019-06-253-6/+33
| |\ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | Fix spacingEddie Hung2019-06-251-4/+3
| | * | | | | | | | | | | Move only one consumer check outside of while loopEddie Hung2019-06-251-6/+5
| | * | | | | | | | | | | Walk through as many muxes as exist for rd_enEddie Hung2019-06-241-8/+16
| | * | | | | | | | | | | Add testEddie Hung2019-06-242-1/+22
| | | |_|_|_|_|_|_|_|/ / | | |/| | | | | | | | |
| * | | | | | | | | | | Merge pull request #1129 from YosysHQ/eddie/ram32x1dEddie Hung2019-06-255-20/+73
| |\ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | Add RAM32X1D supportEddie Hung2019-06-245-20/+73
| | |/ / / / / / / / / /
| * | | | | | | | | | | Merge pull request #1075 from YosysHQ/eddie/muxpackClifford Wolf2019-06-255-0/+897
| |\ \ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | |
| | * | | | | | | | | | Merge remote-tracking branch 'origin/master' into eddie/muxpackEddie Hung2019-06-2215-61/+450
| | |\| | | | | | | | |
| | * | | | | | | | | | Cope with $reduce_or common in caseEddie Hung2019-06-211-5/+37
| | * | | | | | | | | | Add more testsEddie Hung2019-06-212-21/+51
| | * | | | | | | | | | Fix testcaseEddie Hung2019-06-211-3/+4
| | * | | | | | | | | | Fix spacingEddie Hung2019-06-211-24/+24
| | * | | | | | | | | | Add docEddie Hung2019-06-211-3/+3
| | * | | | | | | | | | Add more muxpack tests, with overlapping entriesEddie Hung2019-06-212-1/+84
| | * | | | | | | | | | Fix up ExclusiveDatabase with @cliffordwolf's helpEddie Hung2019-06-211-35/+34
| | * | | | | | | | | | Merge branch 'master' into eddie/muxpackEddie Hung2019-06-2129-47/+237
| | |\ \ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into eddie/muxpackEddie Hung2019-06-185-3/+61
| | |\ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | Elaborate muxpack docEddie Hung2019-06-101-2/+6
| | * | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into eddie/muxpackEddie Hung2019-06-103-13/+72
| | |\ \ \ \ \ \ \ \ \ \ \ \
| | * \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into eddie/muxpackEddie Hung2019-06-0739-364/+573
| | |\ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | | Comment O(N) -> O(N^2)Eddie Hung2019-06-071-1/+1
| | * | | | | | | | | | | | | | Add nonexcl case test, comment out two othersEddie Hung2019-06-072-22/+57
| | * | | | | | | | | | | | | | Extend ExclusiveDatabase to query SigSpec-s (for $pmux)Eddie Hung2019-06-071-19/+27
| | * | | | | | | | | | | | | | Add ExclusiveDatabase to check exclusive $eq/$logic_not cell resultsEddie Hung2019-06-071-1/+64
| | * | | | | | | | | | | | | | Add @cliffordwolf freduce testcaseEddie Hung2019-06-072-0/+30
| | * | | | | | | | | | | | | | Add nonexclusive test from @cliffordwolfEddie Hung2019-06-072-0/+28
| | * | | | | | | | | | | | | | Resolve @cliffordwolf comment on redundant checkEddie Hung2019-06-071-10/+2
| | * | | | | | | | | | | | | | Resolve @cliffordwolf comment on sigmapEddie Hung2019-06-071-2/+2
| | * | | | | | | | | | | | | | Another muxpack testEddie Hung2019-06-072-0/+32
| * | | | | | | | | | | | | | | Merge pull request #1124 from mmicko/json_portsClifford Wolf2019-06-242-0/+16
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|/ / / / / / / / / | |/| | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | Fix json formattingMiodrag Milanovic2019-06-211-1/+1
| | * | | | | | | | | | | | | | Add upto and offset to JSON portsMiodrag Milanovic2019-06-212-0/+16
| * | | | | | | | | | | | | | | Add 'muxcover -dmux=<cost>' and '-nopartial' to CHANGELOGEddie Hung2019-06-211-1/+3
| | |_|_|_|_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | | | |
| * | | | | | | | | | | | | | Merge pull request #1108 from YosysHQ/clifford/fix1091Eddie Hung2019-06-212-46/+239
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ | | |/ / / / / / / / / / / / / | |/| | | | | | | | | | | | |
| | * | | | | | | | | | | | | Replace "muxcover -freedecode" with "muxcover -dmux=cost"Clifford Wolf2019-06-211-15/+14
| | * | | | | | | | | | | | | Add "muxcover -freedecode"Clifford Wolf2019-06-211-0/+14
| | * | | | | | | | | | | | | Improvements in muxcoverClifford Wolf2019-06-201-38/+55
| | * | | | | | | | | | | | | Missing a `clean` and `opt_expr -mux_bool` in testEddie Hung2019-06-201-0/+4
| | * | | | | | | | | | | | | Add testEddie Hung2019-06-201-1/+136
| | * | | | | | | | | | | | | Add support for partial matches to muxcover, fixes #1091Clifford Wolf2019-06-201-7/+31
| | | |_|_|_|_|_|_|_|_|_|_|/ | | |/| | | | | | | | | | |
| * | | | | | | | | | | | | Merge pull request #1123 from mmicko/fix_typoClifford Wolf2019-06-211-1/+1
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | Fix typoMiodrag Milanovic2019-06-211-1/+1
| |/ / / / / / / / / / / / /
| * | | | | | | | | | | | | Merge pull request #1085 from YosysHQ/eddie/shregmap_improveEddie Hung2019-06-213-3/+129
| |\ \ \ \ \ \ \ \ \ \ \ \ \