aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | | Merge pull request #2109 from nakengelhardt/btor_internal_namesN. Engelhardt2020-06-051-5/+5
|\ \ \ \ \ | |_|_|_|/ |/| | | | btor backend: make not printing internal names default
| * | | | btor backend: make not printing internal names defaultN. Engelhardt2020-06-041-5/+5
| | | | |
* | | | | Add missing .gitignore fileClaire Wolf2020-06-041-0/+2
| |_|/ / |/| | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* | | | Merge pull request #2041 from PeterCrozier/structclairexen2020-06-0410-204/+690
|\ \ \ \ | | | | | | | | | | Implementation of SV structs.
| * \ \ \ Merge branch 'master' into structPeter Crozier2020-06-03154-2453/+4094
| |\ \ \ \
| * | | | | Allow structs within structs.Peter Crozier2020-05-123-7/+38
| | | | | |
| * | | | | Generalise structs and add support for packed unions.Peter Crozier2020-05-128-59/+209
| | | | | |
| * | | | | Implement SV structs.Peter Crozier2020-05-089-205/+510
| | | | | |
* | | | | | Merge pull request #2099 from Xiretza/manual-include-pathclairexen2020-06-041-1/+4
|\ \ \ \ \ \ | | | | | | | | | | | | | | Use in-tree include directory in manual build
| * | | | | | Use in-tree include directory in manual buildXiretza2020-05-301-1/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This is basically the same issue as in tests/various/plugin.sh, which uses yosys-config to compile a plugin. `yosys-config --cxxflags` points to `$PREFIX/share/` (/usr/local/share by default), which might not exist yet or might be out of date. Building directly from the headers in ./share/ avoids this.
* | | | | | | Add codeowners file (#2098)N. Engelhardt2020-06-041-0/+37
| | | | | | |
* | | | | | | Merge pull request #2077 from YosysHQ/eddie/abc9_dff_improveEddie Hung2020-06-046-55/+143
|\ \ \ \ \ \ \ | |_|_|_|/ / / |/| | | | | | abc9: -dff improvements
| * | | | | | abc9_ops: fix commentEddie Hung2020-05-301-1/+1
| | | | | | |
| * | | | | | abc9_ops: update messaging (credit to @Xiretza for spotting)Eddie Hung2020-05-302-8/+8
| | | | | | |
| * | | | | | abc9_ops: optimise to not derive unless attribute existsEddie Hung2020-05-291-4/+8
| | | | | | |
| * | | | | | abc9_ops: -reintegrate use SigMap to remove (* init *) from $_DFF_[NP]_Eddie Hung2020-05-293-7/+25
| | | | | | |
| * | | | | | tests: add test for abc9 -dff removing a redundant flop entirelyEddie Hung2020-05-251-0/+15
| | | | | | |
| * | | | | | abc9_ops: -reintegrate to preserve flop namesEddie Hung2020-05-251-5/+25
| | | | | | |
| * | | | | | tests: add testcase for abc9 -dff preserving flop namesEddie Hung2020-05-251-0/+34
| | | | | | |
| * | | | | | aiger: cleanupEddie Hung2020-05-251-2/+5
| | | | | | |
| * | | | | | xaiger: cleanupEddie Hung2020-05-251-28/+22
| | | | | | |
* | | | | | | Add printf format attributes to btorf/infof helper functionsClaire Wolf2020-06-041-3/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* | | | | | | Merge pull request #2108 from nakengelhardt/btor_internal_namesclairexen2020-06-041-33/+42
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | btor backend: add option to not include internal names
| * | | | | | | 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`.
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-25 05:15:47 +0000