aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
...
| * | Replace `std::map` with `dict` for `TechmapWires` type.Alberto Gonzalez2020-05-141-1/+1
| * | Replace `std::map` with `dict` for `celltypeMap`.Alberto Gonzalez2020-05-141-3/+3
| * | Replace `std::set` with `pool` for `handled_cells` and `techmap_wire_names`.Alberto Gonzalez2020-05-141-4/+4
| * | Replace `std::map` with `dict` for `positional_ports`.Alberto Gonzalez2020-05-141-1/+1
| * | Add specialized `hash()` for type `dict` and use a `dict` instead of a `std::...Alberto Gonzalez2020-05-141-4/+4
| * | Replace `std::map` with `dict` for `simplemap_mappers`.Alberto Gonzalez2020-05-143-5/+5
| * | Use `nullptr` instead of `NULL` in `passes/techmap/techmap.cc`.Alberto Gonzalez2020-05-141-10/+10
| * | Replace `std::string` and `RTLIL::IdString` with `IdString` in `passes/techma...Alberto Gonzalez2020-05-141-21/+21
| * | Do not modify design modules while iterating over `modules()`.Alberto Gonzalez2020-05-141-1/+4
| * | Clean up pseudo-private member usage, superfluous `std::vector` instantiation...Alberto Gonzalez2020-05-141-76/+70
* | | Merge pull request #2081 from YosysHQ/eddie/blackbox_astEddie Hung2020-05-301-25/+1
|\ \ \
| * | | blackbox: re-use existing Module::makeblackbox() methodEddie Hung2020-05-251-25/+1
| | |/ | |/|
* | | Merge pull request #2018 from boqwxp/qbfsat-timeoutclairexen2020-05-301-13/+53
|\ \ \
| * | | smtbmc and qbfsat: Add timeout option to set solver timeouts for Z3, Yices, a...Alberto Gonzalez2020-05-251-13/+53
* | | | Merge pull request #1885 from Xiretza/mod-rem-cellsclairexen2020-05-297-15/+65
|\ \ \ \
| * | | | Add flooring division operatorXiretza2020-05-287-13/+36
| * | | | Add flooring modulo operatorXiretza2020-05-287-12/+39
* | | | | Merge pull request #2017 from boqwxp/qbfsat-cvc4clairexen2020-05-291-2/+6
|\ \ \ \ \ | | |/ / / | |/| | |
| * | | | qbfsat: Add support for CVC4.Alberto Gonzalez2020-05-251-2/+6
* | | | | Merge pull request #2016 from boqwxp/qbfsat-yicesclairexen2020-05-291-20/+47
|\| | | | | |/ / / |/| | |
| * | | qbfsat: Add `-solver` option and allow choice of Z3 or Yices, making Yices th...Alberto Gonzalez2020-05-251-20/+47
| |/ /
* | | Merge pull request #2095 from rswarbrick/hier-typowhitequark2020-05-281-2/+2
|\ \ \
| * | | Fix small typos in documentation for hierarchy commandRupert Swarbrick2020-05-281-2/+2
| |/ /
* | | printattrs: Simplify `get_indent_str()`.Alberto Gonzalez2020-05-281-3/+1
* | | printattrs: Refactor indentation string building for clarity.Alberto Gonzalez2020-05-271-5/+11
* | | printattrs: Use `flags` to pretty-print the `RTLIL::Const` appropriately.Alberto Gonzalez2020-05-271-8/+15
* | | misc: Add `printattrs` command.Alberto Gonzalez2020-05-272-0/+80
|/ /
* | Merge pull request #2015 from boqwxp/qbfsat-bisectionclairexen2020-05-251-98/+207
|\ \
| * | qbfsat: Remove cruft inadvertently left untouched in commit 86fc49a9d60f9ad4c...Alberto Gonzalez2020-05-231-11/+0
| * | qbfsat: Add bisection mode and make it the default.Alberto Gonzalez2020-05-231-87/+207
| |/
* | abc9_ops: update commentEddie Hung2020-05-211-1/+1
* | Merge pull request #2059 from boqwxp/logger-vector-to-dictMiodrag Milanović2020-05-211-33/+6
|\ \
| * | log: Use `dict` instead of `std::vector<std::pair>` for `log_expect_{error, w...Alberto Gonzalez2020-05-151-33/+6
* | | Merge pull request #1926 from YosysHQ/eddie/abc9_auto_dffEddie Hung2020-05-182-372/+895
|\ \ \ | |/ / |/| |
| * | abc9: use (* abc9_keep *) instead of (* abc9_scc *); apply to $_DFF_?_Eddie Hung2020-05-141-3/+3
| * | abc9_ops: -prep_hier to create unmap module that removes Q's (* init *)Eddie Hung2020-05-141-4/+6
| * | abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove itEddie Hung2020-05-141-17/+1
| * | Fix broken test when ignoring abc9_flop with init == 1'b1Eddie Hung2020-05-141-3/+0
| * | abc9_ops/xaiger: further reducing Module::derive() calls by ...Eddie Hung2020-05-141-88/+84
| * | Cleanup; reduce Module::derive() callsEddie Hung2020-05-141-131/+140
| * | abc9: update to =_$abc9_flops pattern which includes whiteboxesEddie Hung2020-05-141-3/+3
| * | abc9_ops: update docsEddie Hung2020-05-141-11/+10
| * | abc9: only do +/abc9_map if `DFFEddie Hung2020-05-141-1/+4
| * | abc9: rework submod -- since it won't move (* keep *) cellsEddie Hung2020-05-142-34/+29
| * | abc9_ops: move assertEddie Hung2020-05-141-1/+1
| * | abc9: put 'aigmap' backEddie Hung2020-05-141-0/+1
| * | abc9_ops: fix bypass boxes using (* abc9_bypass *)Eddie Hung2020-05-141-12/+9
| * | abc9_ops: tidy up, suppress error if no boxes/holesEddie Hung2020-05-141-18/+18
| * | abc9_ops: -prep_delays to not insert delay box if input connection is constEddie Hung2020-05-141-0/+2
| * | abc9_ops: cleanup; -prep_dff -> -prep_dff_submodEddie Hung2020-05-142-22/+14
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-07 09:24:28 +0000