aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* Add dfflegalize pass.Marcelina Kościelnicka2020-07-012-0/+1357
* techmap: don't drop attributes on replaced cells.whitequark2020-06-291-2/+3
* Merge pull request #2200 from YosysHQ/mmicko/fix_exposeMiodrag Milanović2020-06-291-7/+23
|\
| * Give error that options are exclusiveMiodrag Milanovic2020-06-291-2/+6
| * cleanupMiodrag Milanovic2020-06-291-12/+13
| * expose pass fixMiodrag Milanovic2020-06-291-5/+16
* | test_cell: don't generate directional shifts with \B_SIGNED=1Xiretza2020-06-281-0/+4
|/
* Merge pull request #2168 from whitequark/assert-unused-exprsclairexen2020-06-255-20/+20
|\
| * Use [[maybe_unused]] instead of YS_ATTRIBUTE(unused).whitequark2020-06-191-10/+10
| * Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug().whitequark2020-06-194-10/+10
* | Merge pull request #2135 from boqwxp/qbfsat-timeinfoclairexen2020-06-251-1/+6
|\ \
| * | log, qbfsat: Include child process time in `PerformanceTimer::query()` and re...Alberto Gonzalez2020-06-211-1/+6
* | | Merge pull request #2093 from boqwxp/qbfsat-bugfixesclairexen2020-06-251-86/+136
|\| |
| * | qbfsat: Simplify solution recovery parsing and tweak the solution regexes.Alberto Gonzalez2020-06-211-22/+12
| * | qbfsat: Avoid instantiating `AttrObject`s directly.Alberto Gonzalez2020-06-211-9/+6
| * | qbfsat: Simplify solution format and replace `SigBit::str()` with `log_signal...Alberto Gonzalez2020-06-211-19/+37
| * | qbfsat: Fixes three bugs.Alberto Gonzalez2020-06-211-5/+17
| * | qbfsat: Use bit precise mapping for hole value wires and a more robust hole s...Alberto Gonzalez2020-06-211-80/+113
| |/
* | simplemap: Fix $dffsre mapping.Marcelina Kościelnicka2020-06-231-1/+1
* | Update dff2dffe, dff2dffs, zinit to new FF types.Marcelina Kościelnicka2020-06-233-43/+73
* | Add new FF types to simplemap.Marcelina Kościelnicka2020-06-231-8/+133
* | Add support for new FF types in some opt passes.Marcelina Kościelnicka2020-06-233-14/+53
* | Add new builtin FF typesMarcelina Kościelnicka2020-06-231-1/+4
|/
* Merge pull request #2173 from whitequark/use-cxx11-final-overridewhitequark2020-06-19153-340/+340
|\
| * Use C++11 final/override keywords.whitequark2020-06-18153-340/+340
* | cutpoint: Improve efficiency by iterating over module ports instead of module...Alberto Gonzalez2020-06-181-9/+10
|/
* Merge pull request #2153 from boqwxp/splitnets-cleanupN. Engelhardt2020-06-181-16/+19
|\
| * splitnets: Clean up pseudo-private member usageAlberto Gonzalez2020-06-131-7/+6
| * splitnets: Slightly improve efficiency by avoiding some unnecessary lookupsAlberto Gonzalez2020-06-131-9/+13
* | Merge pull request #2142 from whitequark/splitnets-hdlnamewhitequark2020-06-181-0/+4
|\|
| * splitnets: propagate (*hdlname*) and disambiguate via start_offset.whitequark2020-06-101-0/+4
* | msvc does not support designated initializers in structsAnonymous Maarten2020-06-171-5/+5
|/
* Drive-by modernization in sat.ccClaire Wolf2020-06-091-4/+4
* Do not optimize away FFs in "prep" and Verific fron-endClaire Wolf2020-06-091-5/+12
* flatten: accept processes.whitequark2020-06-091-8/+8
* flatten: preserve original object names via hdlname attribute.whitequark2020-06-081-5/+16
* flatten: only prepend $flatten once per wire.whitequark2020-06-081-2/+6
* flatten: make hygienic.whitequark2020-06-081-155/+116
* Merge pull request #2085 from rswarbrick/selectclairexen2020-06-081-14/+19
|\
| * Pass some more args by reference in select.ccRupert Swarbrick2020-05-271-7/+7
| * Minor optimisations in select.cc's match_ids functionRupert Swarbrick2020-05-271-9/+11
| * Silence warning in select.ccRupert Swarbrick2020-05-271-1/+4
* | Merge pull request #2089 from rswarbrick/modportsclairexen2020-06-081-13/+6
|\ \
| * | Simplify a modport check in hierarchy.ccRupert Swarbrick2020-05-261-13/+6
| |/
* | Merge pull request #2105 from whitequark/split-flatten-off-techmapclairexen2020-06-083-325/+527
|\ \
| * | flatten: clean up log messages.whitequark2020-06-041-1/+1
| * | flatten: topologically sort modules.whitequark2020-06-041-55/+47
| * | flatten: simplify.whitequark2020-06-041-43/+7
| * | flatten: simplify. NFC.whitequark2020-06-041-7/+3
| * | flatten: simplify.whitequark2020-06-041-35/+0