cxxrtl: allow unbuffering without localizing.
[yosys.git] / passes /
2020-06-09 whitequarkMerge pull request #2128 from whitequark/flatten-processes
2020-06-09 whitequarkflatten: accept processes.
2020-06-09 whitequarkMerge pull request #2107 from whitequark/flatten-hdlname
2020-06-08 whitequarkflatten: preserve original object names via hdlname...
2020-06-08 whitequarkflatten: only prepend $flatten once per wire.
2020-06-08 whitequarkMerge pull request #2120 from whitequark/flatten-hygiene
2020-06-08 whitequarkflatten: make hygienic.
2020-06-08 whitequarkMerge pull request #2121 from whitequark/cxxrtl-debug...
2020-06-08 clairexenMerge pull request #2085 from rswarbrick/select
2020-06-08 clairexenMerge pull request #2089 from rswarbrick/modports
2020-06-08 clairexenMerge pull request #2105 from whitequark/split-flatten...
2020-06-08 clairexenMerge pull request #2117 from PeterCrozier/struct_array
2020-06-08 clairexenMerge pull request #2119 from YosysHQ/mwk/fix-fsm-idstring
2020-06-08 Marcelina Kościelnickafsm_extract: avoid calling log_signal to determine...
2020-06-05 whitequarkMerge pull request #2113 from whitequark/cxxrtl-fix...
2020-06-05 N. EngelhardtMerge pull request #2109 from nakengelhardt/btor_intern...
2020-06-04 clairexenMerge pull request #2041 from PeterCrozier/struct
2020-06-04 clairexenMerge pull request #2099 from Xiretza/manual-include...
2020-06-04 Eddie HungMerge pull request #2077 from YosysHQ/eddie/abc9_dff_im...
2020-06-04 whitequarkflatten: clean up log messages.
2020-06-04 whitequarkflatten: topologically sort modules.
2020-06-04 whitequarkMerge pull request #2006 from jersey99/signed-in-rtlil...
2020-06-04 N. EngelhardtMerge pull request #2070 from hackfin/master
2020-06-04 Eddie HungMerge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes no_loop
2020-06-04 whitequarkflatten: simplify.
2020-06-04 whitequarkflatten: simplify. NFC.
2020-06-04 whitequarkflatten: simplify.
2020-06-04 whitequarkflatten: simplify. NFC.
2020-06-04 whitequarkflatten: simplify. NFC.
2020-06-04 whitequarkflatten: simplify. NFC.
2020-06-04 whitequarkflatten: simplify. NFC.
2020-06-04 whitequarkRTLIL: factor out RTLIL::Module::addMemory. NFC.
2020-06-04 whitequarkflatten: rename techmap-related stuff. NFC.
2020-06-04 whitequarktechmap, flatten: remove dead options.
2020-06-03 Peter CrozierMerge branch 'master' into struct
2020-06-03 Eddie HungMerge pull request #2080 from YosysHQ/eddie/fix_test_wa...
2020-06-03 whitequarkflatten: split from techmap.
2020-06-03 whitequarkMerge pull request #2104 from whitequark/simplify-techmap
2020-06-03 whitequarktechmap: remove dead variable. NFC.
2020-06-02 whitequarktechmap: use C++11 default member initializers. NFC.
2020-06-02 whitequarktechmap: simplify.
2020-06-02 whitequarktechmap: use +/techmap.v instead of an ad-hoc code...
2020-05-31 clairexenMerge pull request #1862 from boqwxp/cleanup_techmap
2020-05-30 Eddie Hungabc9_ops: fix comment
2020-05-30 Eddie HungMerge pull request #2081 from YosysHQ/eddie/blackbox_ast
2020-05-30 Eddie Hungabc9_ops: update messaging (credit to @Xiretza for...
2020-05-30 clairexenMerge pull request #2018 from boqwxp/qbfsat-timeout
2020-05-30 Eddie Hungabc9_ops: optimise to not derive unless attribute exists
2020-05-30 Eddie Hungabc9_ops: -reintegrate use SigMap to remove (* init...
2020-05-29 clairexenMerge pull request #2029 from whitequark/fix-simplify...
2020-05-29 clairexenMerge pull request #1885 from Xiretza/mod-rem-cells
2020-05-29 clairexenMerge pull request #2092 from whitequark/rtlil-no-space...
2020-05-29 clairexenMerge pull request #2017 from boqwxp/qbfsat-cvc4
2020-05-29 clairexenMerge pull request #2016 from boqwxp/qbfsat-yices
2020-05-29 whitequarkMerge pull request #2033 from boqwxp/cleanup-verilog...
2020-05-28 XiretzaAdd flooring division operator
2020-05-28 XiretzaAdd flooring modulo operator
2020-05-28 whitequarkMerge pull request #2095 from rswarbrick/hier-typo
2020-05-28 Rupert SwarbrickFix small typos in documentation for hierarchy command
2020-05-28 whitequarkMerge pull request #2091 from boqwxp/printattrs
2020-05-28 whitequarkMerge pull request #2051 from Xiretza/makefile-cd-warning
2020-05-28 whitequarkMerge pull request #2031 from epfl-vlsc/master
2020-05-28 whitequarkMerge pull request #2063 from boqwxp/techmapped-firrtl
2020-05-28 Alberto Gonzalezprintattrs: Simplify `get_indent_str()`.
2020-05-27 Alberto Gonzalezprintattrs: Refactor indentation string building for...
2020-05-27 Rupert SwarbrickPass some more args by reference in select.cc
2020-05-27 Rupert SwarbrickMinor optimisations in select.cc's match_ids function
2020-05-27 Rupert SwarbrickSilence warning in select.cc
2020-05-27 Alberto Gonzalezprintattrs: Use `flags` to pretty-print the `RTLIL...
2020-05-27 Alberto Gonzalezmisc: Add `printattrs` command.
2020-05-26 Rupert SwarbrickSimplify a modport check in hierarchy.cc
2020-05-25 Eddie Hungabc9_ops: -prep_xaiger exclude (* abc9_keep *) wires...
2020-05-25 Alberto Gonzalezsmtbmc and qbfsat: Add timeout option to set solver...
2020-05-25 Alberto Gonzalezqbfsat: Add support for CVC4.
2020-05-25 Alberto Gonzalezqbfsat: Add `-solver` option and allow choice of Z3...
2020-05-25 Eddie Hungblackbox: re-use existing Module::makeblackbox() method
2020-05-25 Eddie Hungabc9_ops: -reintegrate to preserve flop names
2020-05-25 clairexenMerge pull request #2015 from boqwxp/qbfsat-bisection
2020-05-23 Alberto Gonzalezqbfsat: Remove cruft inadvertently left untouched in...
2020-05-23 Alberto Gonzalezqbfsat: Add bisection mode and make it the default.
2020-05-22 whitequarkMerge pull request #2072 from whitequark/cxxrtl-dont...
2020-05-22 Eddie Hungabc9_ops: update comment
2020-05-21 Eddie HungMerge pull request #2057 from YosysHQ/eddie/fix_task_attr
2020-05-21 Miodrag MilanovićMerge pull request #2059 from boqwxp/logger-vector...
2020-05-20 N. EngelhardtMerge pull request #2046 from PeterCrozier/trap
2020-05-20 N. EngelhardtMerge pull request #2054 from boqwxp/fix-smtbmc
2020-05-19 MartinMerge branch 'master' of https://github.com/hackfin...
2020-05-18 Eddie HungMerge pull request #1926 from YosysHQ/eddie/abc9_auto_dff
2020-05-15 Alberto Gonzalezlog: Use `dict` instead of `std::vector<std::pair>...
2020-05-14 Eddie Hungabc9: use (* abc9_keep *) instead of (* abc9_scc *...
2020-05-14 Eddie HungMerge pull request #2055 from YosysHQ/eddie/logger_multiple
2020-05-14 Alberto Gonzaleztechmap: Replace naughty `const_cast<>()`s.
2020-05-14 Alberto Gonzaleztechmap: Replace pseudo-private member usage with the...
2020-05-14 Eddie Hungtechmap: sort celltypeMap as it determines techmap...
2020-05-14 Alberto GonzalezReplace `std::set`s using custom comparators with ...
2020-05-14 Eddie Hungtechmap: prefix special wires with backslash for use...
2020-05-14 Alberto GonzalezFurther clean up `passes/techmap/techmap.cc`.
2020-05-14 Alberto GonzalezUse `emplace()` for more efficient insertion into vario...
2020-05-14 Alberto GonzalezBuild constant bits directly rather than constructing...
2020-05-14 Alberto GonzalezReplace `std::set` with `pool` for `cell_to_inbit`...
next