| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| | * | | Replace `std::map` with `dict` for `port_new2old_map`, `port_connmap`, and `c... | Alberto Gonzalez | 2020-05-14 | 1 | -3/+3 |
| | * | | Replace `std::map` with `dict` for `connbits_map`, `cell_to_inbit`, and `outb... | Alberto Gonzalez | 2020-05-14 | 1 | -3/+3 |
| | * | | Replace `std::map` with `dict` for `TechmapWires` type. | Alberto Gonzalez | 2020-05-14 | 1 | -1/+1 |
| | * | | Replace `std::map` with `dict` for `celltypeMap`. | Alberto Gonzalez | 2020-05-14 | 1 | -3/+3 |
| | * | | Replace `std::set` with `pool` for `handled_cells` and `techmap_wire_names`. | Alberto Gonzalez | 2020-05-14 | 1 | -4/+4 |
| | * | | Replace `std::map` with `dict` for `positional_ports`. | Alberto Gonzalez | 2020-05-14 | 1 | -1/+1 |
| | * | | Add specialized `hash()` for type `dict` and use a `dict` instead of a `std::... | Alberto Gonzalez | 2020-05-14 | 1 | -4/+4 |
| | * | | Replace `std::map` with `dict` for `simplemap_mappers`. | Alberto Gonzalez | 2020-05-14 | 3 | -5/+5 |
| | * | | Use `nullptr` instead of `NULL` in `passes/techmap/techmap.cc`. | Alberto Gonzalez | 2020-05-14 | 1 | -10/+10 |
| | * | | Replace `std::string` and `RTLIL::IdString` with `IdString` in `passes/techma... | Alberto Gonzalez | 2020-05-14 | 1 | -21/+21 |
| | * | | Do not modify design modules while iterating over `modules()`. | Alberto Gonzalez | 2020-05-14 | 1 | -1/+4 |
| | * | | Clean up pseudo-private member usage, superfluous `std::vector` instantiation... | Alberto Gonzalez | 2020-05-14 | 1 | -76/+70 |
| * | | | Merge pull request #2081 from YosysHQ/eddie/blackbox_ast | Eddie Hung | 2020-05-30 | 1 | -25/+1 |
| |\ \ \ |
|
| | * | | | blackbox: re-use existing Module::makeblackbox() method | Eddie Hung | 2020-05-25 | 1 | -25/+1 |
| | | |/
| |/| |
|
| * | | | Merge pull request #2018 from boqwxp/qbfsat-timeout | clairexen | 2020-05-30 | 1 | -13/+53 |
| |\ \ \ |
|
| | * | | | smtbmc and qbfsat: Add timeout option to set solver timeouts for Z3, Yices, a... | Alberto Gonzalez | 2020-05-25 | 1 | -13/+53 |
| * | | | | Merge pull request #1885 from Xiretza/mod-rem-cells | clairexen | 2020-05-29 | 7 | -15/+65 |
| |\ \ \ \ |
|
| | * | | | | Add flooring division operator | Xiretza | 2020-05-28 | 7 | -13/+36 |
| | * | | | | Add flooring modulo operator | Xiretza | 2020-05-28 | 7 | -12/+39 |
| * | | | | | Merge pull request #2017 from boqwxp/qbfsat-cvc4 | clairexen | 2020-05-29 | 1 | -2/+6 |
| |\ \ \ \ \
| | |/ / /
| |/| | | |
|
| | * | | | | qbfsat: Add support for CVC4. | Alberto Gonzalez | 2020-05-25 | 1 | -2/+6 |
| * | | | | | Merge pull request #2016 from boqwxp/qbfsat-yices | clairexen | 2020-05-29 | 1 | -20/+47 |
| |\| | | |
| |/ / /
|/| | | |
|
| | * | | | qbfsat: Add `-solver` option and allow choice of Z3 or Yices, making Yices th... | Alberto Gonzalez | 2020-05-25 | 1 | -20/+47 |
| | |/ / |
|
| * | | | Merge pull request #2095 from rswarbrick/hier-typo | whitequark | 2020-05-28 | 1 | -2/+2 |
| |\ \ \ |
|
| | * | | | Fix small typos in documentation for hierarchy command | Rupert Swarbrick | 2020-05-28 | 1 | -2/+2 |
| | |/ / |
|
| * | | | printattrs: Simplify `get_indent_str()`. | Alberto Gonzalez | 2020-05-28 | 1 | -3/+1 |
| * | | | printattrs: Refactor indentation string building for clarity. | Alberto Gonzalez | 2020-05-27 | 1 | -5/+11 |
| * | | | printattrs: Use `flags` to pretty-print the `RTLIL::Const` appropriately. | Alberto Gonzalez | 2020-05-27 | 1 | -8/+15 |
| * | | | misc: Add `printattrs` command. | Alberto Gonzalez | 2020-05-27 | 2 | -0/+80 |
| |/ / |
|
| * | | Merge pull request #2015 from boqwxp/qbfsat-bisection | clairexen | 2020-05-25 | 1 | -98/+207 |
| |\ \ |
|
| | * | | qbfsat: Remove cruft inadvertently left untouched in commit 86fc49a9d60f9ad4c... | Alberto Gonzalez | 2020-05-23 | 1 | -11/+0 |
| | * | | qbfsat: Add bisection mode and make it the default. | Alberto Gonzalez | 2020-05-23 | 1 | -87/+207 |
| | |/ |
|
| * | | abc9_ops: update comment | Eddie Hung | 2020-05-21 | 1 | -1/+1 |
| * | | Merge pull request #2059 from boqwxp/logger-vector-to-dict | Miodrag Milanović | 2020-05-21 | 1 | -33/+6 |
| |\ \ |
|
| | * | | log: Use `dict` instead of `std::vector<std::pair>` for `log_expect_{error, w... | Alberto Gonzalez | 2020-05-15 | 1 | -33/+6 |
| * | | | Merge pull request #1926 from YosysHQ/eddie/abc9_auto_dff | Eddie Hung | 2020-05-18 | 2 | -372/+895 |
| |\ \ \
| |/ /
|/| | |
|
| | * | | abc9: use (* abc9_keep *) instead of (* abc9_scc *); apply to $_DFF_?_ | Eddie Hung | 2020-05-14 | 1 | -3/+3 |
| | * | | abc9_ops: -prep_hier to create unmap module that removes Q's (* init *) | Eddie Hung | 2020-05-14 | 1 | -4/+6 |
| | * | | abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove it | Eddie Hung | 2020-05-14 | 1 | -17/+1 |
| | * | | Fix broken test when ignoring abc9_flop with init == 1'b1 | Eddie Hung | 2020-05-14 | 1 | -3/+0 |
| | * | | abc9_ops/xaiger: further reducing Module::derive() calls by ... | Eddie Hung | 2020-05-14 | 1 | -88/+84 |
| | * | | Cleanup; reduce Module::derive() calls | Eddie Hung | 2020-05-14 | 1 | -131/+140 |
| | * | | abc9: update to =_$abc9_flops pattern which includes whiteboxes | Eddie Hung | 2020-05-14 | 1 | -3/+3 |
| | * | | abc9_ops: update docs | Eddie Hung | 2020-05-14 | 1 | -11/+10 |
| | * | | abc9: only do +/abc9_map if `DFF | Eddie Hung | 2020-05-14 | 1 | -1/+4 |
| | * | | abc9: rework submod -- since it won't move (* keep *) cells | Eddie Hung | 2020-05-14 | 2 | -34/+29 |
| | * | | abc9_ops: move assert | Eddie Hung | 2020-05-14 | 1 | -1/+1 |
| | * | | abc9: put 'aigmap' back | Eddie Hung | 2020-05-14 | 1 | -0/+1 |
| | * | | abc9_ops: fix bypass boxes using (* abc9_bypass *) | Eddie Hung | 2020-05-14 | 1 | -12/+9 |
| | * | | abc9_ops: tidy up, suppress error if no boxes/holes | Eddie Hung | 2020-05-14 | 1 | -18/+18 |
