Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | | | | | | | Merge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes | Eddie Hung | 2020-06-03 | 3 | -3/+18 | |
|\ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|/ / |/| | | | | | | | | ||||||
| * | | | | | | | | tests: tidy up testcase | Eddie Hung | 2020-06-03 | 1 | -3/+0 | |
| * | | | | | | | | abc9_ops: -prep_xaiger exclude (* abc9_keep *) wires from toposort | Eddie Hung | 2020-05-25 | 1 | -2/+4 | |
| * | | | | | | | | xaiger: promote abc9_keep wires | Eddie Hung | 2020-05-25 | 1 | -1/+1 | |
| * | | | | | | | | tests: add ecp5 latch testcase with -abc9 | Eddie Hung | 2020-05-25 | 1 | -0/+16 | |
* | | | | | | | | | Merge pull request #2080 from YosysHQ/eddie/fix_test_warnings | Eddie Hung | 2020-06-03 | 6 | -7/+7 | |
|\ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|/ |/| | | | | | | | | ||||||
| * | | | | | | | | tests: fix some test warnings | Eddie Hung | 2020-05-25 | 6 | -7/+7 | |
| | |_|_|_|/ / / | |/| | | | | | | ||||||
* | | | | | | | | Merge pull request #2104 from whitequark/simplify-techmap | whitequark | 2020-06-03 | 3 | -40/+8 | |
|\ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | techmap: remove dead variable. NFC. | whitequark | 2020-06-03 | 1 | -1/+0 | |
| * | | | | | | | | techmap: use C++11 default member initializers. NFC. | whitequark | 2020-06-02 | 1 | -16/+6 | |
| * | | | | | | | | techmap: simplify. | whitequark | 2020-06-02 | 1 | -7/+1 | |
| * | | | | | | | | techmap: use +/techmap.v instead of an ad-hoc code generator. | whitequark | 2020-06-02 | 3 | -16/+1 | |
|/ / / / / / / / | ||||||
* | | | | | | | | Merge pull request #2102 from YosysHQ/tests_fix | clairexen | 2020-06-02 | 1 | -1/+2 | |
|\ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | allow range for mux test | Miodrag Milanovic | 2020-06-01 | 1 | -1/+2 | |
* | | | | | | | | | Merge pull request #2101 from YosysHQ/mmicko/verific_asymmetric | clairexen | 2020-06-02 | 1 | -6/+1 | |
|\ \ \ \ \ \ \ \ \ | |/ / / / / / / / |/| | | | | | | | | ||||||
| * | | | | | | | | Support asymmetric memories for verific frontend | Miodrag Milanovic | 2020-06-01 | 1 | -6/+1 | |
|/ / / / / / / / | ||||||
* | | | | | | | | Merge pull request #1862 from boqwxp/cleanup_techmap | clairexen | 2020-05-31 | 5 | -153/+169 | |
|\ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | kernel: Try an order-independent approach to hashing `dict`. | Alberto Gonzalez | 2020-05-19 | 1 | -5/+3 | |
| * | | | | | | | | kernel: Ensure `dict` always hashes to the same value given the same contents. | Alberto Gonzalez | 2020-05-14 | 1 | -3/+6 | |
| * | | | | | | | | kernel: Re-implement `dict` hash code as a `dict` member function instead of ... | Alberto Gonzalez | 2020-05-14 | 1 | -20/+14 | |
| * | | | | | | | | techmap: Replace naughty `const_cast<>()`s. | Alberto Gonzalez | 2020-05-14 | 1 | -2/+4 | |
| * | | | | | | | | techmap: Replace pseudo-private member usage with the range accessor function... | Alberto Gonzalez | 2020-05-14 | 1 | -3/+3 | |
| * | | | | | | | | techmap: sort celltypeMap as it determines techmap order | Eddie Hung | 2020-05-14 | 1 | -1/+5 | |
| * | | | | | | | | Replace `std::set`s using custom comparators with `pool`. | Alberto Gonzalez | 2020-05-14 | 1 | -4/+4 | |
| * | | | | | | | | techmap: prefix special wires with backslash for use as IdString | Eddie Hung | 2020-05-14 | 3 | -12/+14 | |
| * | | | | | | | | Further clean up `passes/techmap/techmap.cc`. | Alberto Gonzalez | 2020-05-14 | 1 | -5/+6 | |
| * | | | | | | | | Use `emplace()` for more efficient insertion into various `dict`s. | Alberto Gonzalez | 2020-05-14 | 1 | -8/+8 | |
| * | | | | | | | | Build constant bits directly rather than constructing an object and copying i... | Alberto Gonzalez | 2020-05-14 | 1 | -2/+5 | |
| * | | | | | | | | Replace `std::set` with `pool` for `cell_to_inbit` and `outbit_to_cell`. | Alberto Gonzalez | 2020-05-14 | 1 | -2/+2 | |
| * | | | | | | | | Use `emplace()` rather than `insert()`. | Alberto Gonzalez | 2020-05-14 | 1 | -1/+1 | |
| * | | | | | | | | Clean up pseudo-private member usage and ensure range iteration uses referenc... | Alberto Gonzalez | 2020-05-14 | 1 | -17/+17 | |
| * | | | | | | | | Clean up extraneous buffer. | Alberto Gonzalez | 2020-05-14 | 1 | -5/+2 | |
| * | | | | | | | | Replace `std::map` with `dict` for `unique_bit_id`. | Alberto Gonzalez | 2020-05-14 | 1 | -1/+1 | |
| * | | | | | | | | 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 | 3 | -10/+25 | |
| * | | | | | | | | 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 | 3 | -18/+84 | |
|\ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|/ / |/| | | | | | | | | ||||||
| * | | | | | | | | smtbmc: Remove superfluous `yosys-smt2-timeout` file macro. | Alberto Gonzalez | 2020-05-29 | 1 | -4/+0 | |
| * | | | | | | | | smtbmc and qbfsat: Add timeout option to set solver timeouts for Z3, Yices, a... | Alberto Gonzalez | 2020-05-25 | 3 | -18/+88 |