aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* btor backend: add option to not include internal namesN. Engelhardt2020-06-041-33/+42
|
* Merge pull request #2006 from jersey99/signed-in-rtlil-wirewhitequark2020-06-047-2/+19
|\ | | | | Preserve 'signed'-ness of a verilog wire through RTLIL
| * frontends/json/jsonparse.cc: Like the upto field read_json can also read the ↵Vamsi K Vytla2020-04-271-1/+6
| | | | | | | | signedness of a wire
| * Preserve 'signed'-ness of a verilog wire through RTLILVamsi K Vytla2020-04-276-1/+13
| | | | | | | | | | | | | | | | | | As per suggestion made in https://github.com/YosysHQ/yosys/pull/1987, now: RTLIL::wire holds an is_signed field. This is exported in JSON backend This is exported via dump_rtlil command This is read in via ilang_parser
* | Merge pull request #2070 from hackfin/masterN. Engelhardt2020-06-042-13/+16
|\ \ | | | | | | Pyosys API: idict type handling
| * \ Merge branch 'master' of https://github.com/hackfin/yosysMartin2020-05-191-7/+36
| |\ \
| * | | idict handling in wrapperMartin2020-05-192-13/+16
| | | | | | | | | | | | | | | | | | | | - Also, re-applied no-line-break workaround to rtlil.h to make parser catch all methods.
* | | | Merge pull request #2082 from YosysHQ/eddie/abc9_scc_fixesEddie Hung2020-06-033-3/+18
|\ \ \ \ | | | | | | | | | | abc9: fixes around handling combinatorial loops
| * | | | tests: tidy up testcaseEddie Hung2020-06-031-3/+0
| | | | |
| * | | | abc9_ops: -prep_xaiger exclude (* abc9_keep *) wires from toposortEddie Hung2020-05-251-2/+4
| | | | |
| * | | | xaiger: promote abc9_keep wiresEddie Hung2020-05-251-1/+1
| | | | |
| * | | | tests: add ecp5 latch testcase with -abc9Eddie Hung2020-05-251-0/+16
| | | | |
* | | | | Merge pull request #2080 from YosysHQ/eddie/fix_test_warningsEddie Hung2020-06-036-7/+7
|\ \ \ \ \ | | | | | | | | | | | | tests: reduce test warnings
| * | | | | tests: fix some test warningsEddie Hung2020-05-256-7/+7
| | | | | |
* | | | | | Merge pull request #2104 from whitequark/simplify-techmapwhitequark2020-06-033-40/+8
|\ \ \ \ \ \ | | | | | | | | | | | | | | techmap: simplify
| * | | | | | 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | `rewrite_filename` is already called in `Frontend::extra_args`.
| * | | | | | techmap: use +/techmap.v instead of an ad-hoc code generator.whitequark2020-06-023-16/+1
|/ / / / / /
* | | | | | Merge pull request #2102 from YosysHQ/tests_fixclairexen2020-06-021-1/+2
|\ \ \ \ \ \ | | | | | | | | | | | | | | allow range for mux test
| * | | | | | allow range for mux testMiodrag Milanovic2020-06-011-1/+2
| | | | | | |
* | | | | | | Merge pull request #2101 from YosysHQ/mmicko/verific_asymmetricclairexen2020-06-021-6/+1
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | Support asymmetric memories for verific frontend
| * | | | | | Support asymmetric memories for verific frontendMiodrag Milanovic2020-06-011-6/+1
|/ / / / / /
* | | | | | Merge pull request #1862 from boqwxp/cleanup_techmapclairexen2020-05-315-153/+169
|\ \ \ \ \ \ | | | | | | | | | | | | | | Clean up `passes/techmap/techmap.cc`
| * | | | | | kernel: Try an order-independent approach to hashing `dict`.Alberto Gonzalez2020-05-191-5/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Co-Authored-By: David Shah <dave@ds0.me> Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
| * | | | | | kernel: Ensure `dict` always hashes to the same value given the same contents.Alberto Gonzalez2020-05-141-3/+6
| | | | | | |
| * | | | | | kernel: Re-implement `dict` hash code as a `dict` member function instead of ↵Alberto Gonzalez2020-05-141-20/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | a specialized template for `hash_ops`.
| * | | | | | techmap: Replace naughty `const_cast<>()`s.Alberto Gonzalez2020-05-141-2/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
| * | | | | | techmap: Replace pseudo-private member usage with the range accessor ↵Alberto Gonzalez2020-05-141-3/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | function and some naughty `const_cast<>()`s.
| * | | | | | 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
| * | | | | | techmap: prefix special wires with backslash for use as IdStringEddie Hung2020-05-143-12/+14
| | | | | | |
| * | | | | | Further clean up `passes/techmap/techmap.cc`.Alberto Gonzalez2020-05-141-5/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
| * | | | | | 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 ↵Alberto Gonzalez2020-05-141-2/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | its bits.
| * | | | | | 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 ↵Alberto Gonzalez2020-05-141-17/+17
| | | | | | | | | | | | | | | | | | | | | | | | | | | | references where possible to avoid unnecessary copies.
| * | | | | | 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 ↵Alberto Gonzalez2020-05-141-3/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | `cellbits_to_tplbits`.
| * | | | | | Replace `std::map` with `dict` for `connbits_map`, `cell_to_inbit`, and ↵Alberto Gonzalez2020-05-141-3/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | `outbit_to_cell`.
| * | | | | | 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 ↵Alberto Gonzalez2020-05-143-10/+25
| | | | | | | | | | | | | | | | | | | | | | | | | | | | `std::map` for `techmap_cache` and `techmap_do_cache`.
| * | | | | | 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 ↵Alberto Gonzalez2020-05-141-21/+21
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | `passes/techmap/techmap.cc`. Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-19 06:56:20 +0000