aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* flatten: simplify. NFC.whitequark2020-06-041-6/+4
* flatten: simplify. NFC.whitequark2020-06-041-73/+39
* flatten: simplify. NFC.whitequark2020-06-041-8/+8
* RTLIL: factor out RTLIL::Module::addMemory. NFC.whitequark2020-06-042-14/+2
* flatten: rename techmap-related stuff. NFC.whitequark2020-06-041-16/+16
* techmap, flatten: remove dead options.whitequark2020-06-042-928/+212
* flatten: split from techmap.whitequark2020-06-033-93/+1149
* techmap: remove dead variable. NFC.whitequark2020-06-031-1/+0
* techmap: use C++11 default member initializers. NFC.whitequark2020-06-021-16/+6
* techmap: simplify.whitequark2020-06-021-7/+1
* techmap: use +/techmap.v instead of an ad-hoc code generator.whitequark2020-06-023-16/+1
* Merge pull request #1862 from boqwxp/cleanup_techmapclairexen2020-05-313-153/+158
|\
| * techmap: Replace naughty `const_cast<>()`s.Alberto Gonzalez2020-05-141-2/+4
| * techmap: Replace pseudo-private member usage with the range accessor function...Alberto Gonzalez2020-05-141-3/+3
| * techmap: sort celltypeMap as it determines techmap orderEddie Hung2020-05-141-1/+5
| * Replace `std::set`s using custom comparators with `pool`.Alberto Gonzalez2020-05-141-4/+4
| * techmap: prefix special wires with backslash for use as IdStringEddie Hung2020-05-141-11/+12
| * Further clean up `passes/techmap/techmap.cc`.Alberto Gonzalez2020-05-141-5/+6
| * Use `emplace()` for more efficient insertion into various `dict`s.Alberto Gonzalez2020-05-141-8/+8
| * Build constant bits directly rather than constructing an object and copying i...Alberto Gonzalez2020-05-141-2/+5
| * Replace `std::set` with `pool` for `cell_to_inbit` and `outbit_to_cell`.Alberto Gonzalez2020-05-141-2/+2
| * Use `emplace()` rather than `insert()`.Alberto Gonzalez2020-05-141-1/+1
| * Clean up pseudo-private member usage and ensure range iteration uses referenc...Alberto Gonzalez2020-05-141-17/+17
| * Clean up extraneous buffer.Alberto Gonzalez2020-05-141-5/+2
| * Replace `std::map` with `dict` for `unique_bit_id`.Alberto Gonzalez2020-05-141-1/+1
| * Replace `std::map` with `dict` for `port_new2old_map`, `port_connmap`, and `c...Alberto Gonzalez2020-05-141-3/+3
| * Replace `std::map` with `dict` for `connbits_map`, `cell_to_inbit`, and `outb...Alberto Gonzalez2020-05-141-3/+3
| * 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
| |/ /
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-19 18:16:44 +0000