Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | | | Merge pull request #2109 from nakengelhardt/btor_internal_names | N. Engelhardt | 2020-06-05 | 1 | -5/+5 | |
|\ \ \ \ \ | |_|_|_|/ |/| | | | | ||||||
| * | | | | btor backend: make not printing internal names default | N. Engelhardt | 2020-06-04 | 1 | -5/+5 | |
* | | | | | Add missing .gitignore file | Claire Wolf | 2020-06-04 | 1 | -0/+2 | |
| |_|/ / |/| | | | ||||||
* | | | | Merge pull request #2041 from PeterCrozier/struct | clairexen | 2020-06-04 | 10 | -204/+690 | |
|\ \ \ \ | ||||||
| * \ \ \ | Merge branch 'master' into struct | Peter Crozier | 2020-06-03 | 154 | -2453/+4094 | |
| |\ \ \ \ | ||||||
| * | | | | | Allow structs within structs. | Peter Crozier | 2020-05-12 | 3 | -7/+38 | |
| * | | | | | Generalise structs and add support for packed unions. | Peter Crozier | 2020-05-12 | 8 | -59/+209 | |
| * | | | | | Implement SV structs. | Peter Crozier | 2020-05-08 | 9 | -205/+510 | |
* | | | | | | Merge pull request #2099 from Xiretza/manual-include-path | clairexen | 2020-06-04 | 1 | -1/+4 | |
|\ \ \ \ \ \ | ||||||
| * | | | | | | Use in-tree include directory in manual build | Xiretza | 2020-05-30 | 1 | -1/+4 | |
* | | | | | | | Add codeowners file (#2098) | N. Engelhardt | 2020-06-04 | 1 | -0/+37 | |
* | | | | | | | Merge pull request #2077 from YosysHQ/eddie/abc9_dff_improve | Eddie Hung | 2020-06-04 | 6 | -55/+143 | |
|\ \ \ \ \ \ \ | |_|_|_|/ / / |/| | | | | | | ||||||
| * | | | | | | abc9_ops: fix comment | Eddie Hung | 2020-05-30 | 1 | -1/+1 | |
| * | | | | | | abc9_ops: update messaging (credit to @Xiretza for spotting) | Eddie Hung | 2020-05-30 | 2 | -8/+8 | |
| * | | | | | | abc9_ops: optimise to not derive unless attribute exists | Eddie Hung | 2020-05-29 | 1 | -4/+8 | |
| * | | | | | | abc9_ops: -reintegrate use SigMap to remove (* init *) from $_DFF_[NP]_ | Eddie Hung | 2020-05-29 | 3 | -7/+25 | |
| * | | | | | | tests: add test for abc9 -dff removing a redundant flop entirely | Eddie Hung | 2020-05-25 | 1 | -0/+15 | |
| * | | | | | | abc9_ops: -reintegrate to preserve flop names | Eddie Hung | 2020-05-25 | 1 | -5/+25 | |
| * | | | | | | tests: add testcase for abc9 -dff preserving flop names | Eddie Hung | 2020-05-25 | 1 | -0/+34 | |
| * | | | | | | aiger: cleanup | Eddie Hung | 2020-05-25 | 1 | -2/+5 | |
| * | | | | | | xaiger: cleanup | Eddie Hung | 2020-05-25 | 1 | -28/+22 | |
* | | | | | | | Add printf format attributes to btorf/infof helper functions | Claire Wolf | 2020-06-04 | 1 | -3/+3 | |
* | | | | | | | Merge pull request #2108 from nakengelhardt/btor_internal_names | clairexen | 2020-06-04 | 1 | -33/+42 | |
|\ \ \ \ \ \ \ | ||||||
| * | | | | | | | btor backend: add option to not include internal names | N. Engelhardt | 2020-06-04 | 1 | -33/+42 | |
|/ / / / / / / | ||||||
* | | | | | | | Merge pull request #2006 from jersey99/signed-in-rtlil-wire | whitequark | 2020-06-04 | 7 | -2/+19 | |
|\ \ \ \ \ \ \ | ||||||
| * | | | | | | | frontends/json/jsonparse.cc: Like the upto field read_json can also read the ... | Vamsi K Vytla | 2020-04-27 | 1 | -1/+6 | |
| * | | | | | | | Preserve 'signed'-ness of a verilog wire through RTLIL | Vamsi K Vytla | 2020-04-27 | 6 | -1/+13 | |
* | | | | | | | | Merge pull request #2070 from hackfin/master | N. Engelhardt | 2020-06-04 | 2 | -13/+16 | |
|\ \ \ \ \ \ \ \ | ||||||
| * \ \ \ \ \ \ \ | Merge branch 'master' of https://github.com/hackfin/yosys | Martin | 2020-05-19 | 1 | -7/+36 | |
| |\ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | idict handling in wrapper | Martin | 2020-05-19 | 2 | -13/+16 | |
* | | | | | | | | | | 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 |