aboutsummaryrefslogtreecommitdiffstats
path: root/passes/opt
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | Rename satgen_algo.h -> algo.h, code cleanup and refactoringBogdan Vukobratovic2019-06-121-73/+22
| * | | | Generate satgen instance instead of calling sat passBogdan Vukobratovic2019-06-111-23/+85
| * | | | Optimizing DFFs whose initial value prevents their value from changingBogdan Vukobratovic2019-05-281-3/+55
* | | | | Add "pmux2shiftx -norange", fixes #1135Clifford Wolf2019-06-271-3/+11
| |_|/ / |/| | |
* | | | Improve opt_clean handling of unused public wiresClifford Wolf2019-06-261-2/+2
* | | | Do not clean up buffer cells with "keep" attribute, closes #1128Clifford Wolf2019-06-261-1/+1
* | | | Cope with $reduce_or common in caseEddie Hung2019-06-211-5/+37
* | | | Fix spacingEddie Hung2019-06-211-24/+24
* | | | Add docEddie Hung2019-06-211-3/+3
* | | | Fix up ExclusiveDatabase with @cliffordwolf's helpEddie Hung2019-06-211-35/+34
* | | | Elaborate muxpack docEddie Hung2019-06-101-2/+6
* | | | Comment O(N) -> O(N^2)Eddie Hung2019-06-071-1/+1
* | | | 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
* | | | Resolve @cliffordwolf comment on redundant checkEddie Hung2019-06-071-10/+2
* | | | Resolve @cliffordwolf comment on sigmapEddie Hung2019-06-071-2/+2
* | | | Fix and test for balanced caseEddie Hung2019-06-061-10/+14
* | | | Support cascading $pmux.A with $mux.A and $mux.BEddie Hung2019-06-061-17/+25
* | | | More cleanupEddie Hung2019-06-061-15/+20
* | | | Fix spacingEddie Hung2019-06-061-6/+5
* | | | Non chain user check using next_sigEddie Hung2019-06-061-7/+5
* | | | Move muxpack from passes/techmap to passes/optEddie Hung2019-06-062-0/+257
| |/ / |/| |
* | | Fix typo in opt_rmdffEddie Hung2019-06-051-2/+2
* | | Suppress driver-driver conflict warning for unknown cell types, fixes #1065Clifford Wolf2019-06-051-1/+1
|/ /
* | Merge pull request #1026 from YosysHQ/clifford/fix1023Clifford Wolf2019-05-271-2/+3
|\ \
| * | Keep zero-width wires in opt_clean if and only if they are ports, fixes #1023Clifford Wolf2019-05-221-2/+3
* | | Revert enable checkEddie Hung2019-05-251-3/+1
* | | opt_rmdff to optimise even in presence of enable signal, even removingEddie Hung2019-05-241-12/+29
* | | Add commentsEddie Hung2019-05-241-1/+22
* | | Resolve @cliffordwolf review, set even if !has_initEddie Hung2019-05-241-2/+1
* | | Fix spacingEddie Hung2019-05-231-2/+2
* | | opt_rmdff to work on $dffe and $_DFFE_*Eddie Hung2019-05-231-3/+32
|/ /
* | Add "wreduce -keepdc", fixes #1016Clifford Wolf2019-05-201-1/+9
* | Improvements in opt_cleanClifford Wolf2019-05-151-10/+10
* | Fix handling of glob_abort_cnt in opt_muxtree, fixes #1002Clifford Wolf2019-05-121-3/+11
* | More opt_clean cleanupsClifford Wolf2019-05-071-26/+36
* | Merge pull request #946 from YosysHQ/clifford/specifyClifford Wolf2019-05-061-1/+1
|\ \
| * \ Merge branch 'master' of github.com:YosysHQ/yosys into clifford/specifyClifford Wolf2019-05-061-10/+22
| |\ \
| * \ \ Merge remote-tracking branch 'origin/master' into clifford/specifyEddie Hung2019-05-033-30/+157
| |\ \ \
| * | | | Add $specrule cells for $setup/$hold/$skew specify rulesClifford Wolf2019-04-231-1/+1
| * | | | Preserve $specify[23] cellsClifford Wolf2019-04-231-1/+1
* | | | | Merge branch 'master' of github.com:YosysHQ/yosys into clifford/fix968Clifford Wolf2019-05-063-59/+113
|\ \ \ \ \
| * | | | | Cleanups in opt_cleanClifford Wolf2019-05-061-47/+16
| | |_|/ / | |/| | |
| * | | | Improve opt_clean handling of unused wiresClifford Wolf2019-05-041-10/+22
| | |/ / | |/| |
| * | | Merge pull request #969 from YosysHQ/clifford/pmgenstuffClifford Wolf2019-05-031-0/+36
| |\ \ \
| | * | | Add peepopt_muldiv, fixes #930Clifford Wolf2019-04-301-0/+36
| | |/ /
| * | | Improve opt_expr and opt_clean handling of (partially) undriven and/or unused...Clifford Wolf2019-05-032-44/+81
* | | | Further improve unused-detection for opt_clean driver-driver conflict warningClifford Wolf2019-05-031-5/+8
* | | | Improve unused-detection for opt_clean driver-driver conflict warningClifford Wolf2019-05-031-21/+29
* | | | Silently resolve completely unused cell-vs-const driver-driver conflictsClifford Wolf2019-05-011-2/+21
|/ / /