aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* cxxrtl: emit debug information for constant wires.whitequark2020-06-083-17/+44
* cxxrtl: track aliases in VCD writer.whitequark2020-06-081-10/+14
* cxxrtl: emit debug information for alias wires.whitequark2020-06-081-3/+55
* cxxrtl: add missing installs of include files.whitequark2020-06-081-0/+5
* cxxrtl: fix typo in comment. NFC.whitequark2020-06-081-4/+4
* cxxrtl: minor debug-related improvements.whitequark2020-06-081-2/+3
* Merge pull request #2116 from whitequark/cxxrtl-vcdwhitequark2020-06-077-3/+419
|\
| * cxxrtl: rename cxxrtl.cc→cxxrtl_backend.cc.whitequark2020-06-072-1/+1
| * cxxrtl: add a C API for writing VCD dumps.whitequark2020-06-075-2/+204
| * cxxrtl: only write VCD values that were actually updated.whitequark2020-06-071-10/+30
| * cxxrtl: add a VCD writer using debug information.whitequark2020-06-071-0/+194
|/
* Merge pull request #2115 from whitequark/cxxrtl-introspectionwhitequark2020-06-064-5/+396
|\
| * cxxrtl: add a C API for driving and introspecting designs.whitequark2020-06-064-29/+291
| * cxxrtl: generate debug information for non-localized public wires.whitequark2020-06-062-2/+131
|/
* Merge pull request #2110 from BracketMaster/masterwhitequark2020-06-061-1/+1
|\
| * more reasonable numbers for memoryYehowshua Immanuel2020-06-041-1/+1
| * MacOS has even stricter stack limits in catalina.Yehowshua Immanuel2020-06-041-1/+1
* | Merge pull request #2113 from whitequark/cxxrtl-fix-sshrwhitequark2020-06-051-1/+1
|\ \
| * | cxxrtl: fix implementation of $sshr cell.whitequark2020-06-051-1/+1
* | | Merge pull request #2109 from nakengelhardt/btor_internal_namesN. Engelhardt2020-06-051-5/+5
|\ \ \
| * | | btor backend: make not printing internal names defaultN. Engelhardt2020-06-041-5/+5
* | | | Add missing .gitignore fileClaire Wolf2020-06-041-0/+2
| |_|/ |/| |
* | | Merge pull request #2041 from PeterCrozier/structclairexen2020-06-0410-204/+690
|\ \ \
| * \ \ 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 buildXiretza2020-05-301-1/+4
* | | | | | 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_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
* | | | | | Merge pull request #2108 from nakengelhardt/btor_internal_namesclairexen2020-06-041-33/+42
|\ \ \ \ \ \
| * | | | | | 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
|\ \ \ \ \ \
| * | | | | | frontends/json/jsonparse.cc: Like the upto field read_json can also read the ...Vamsi K Vytla2020-04-271-1/+6
| * | | | | | Preserve 'signed'-ness of a verilog wire through RTLILVamsi K Vytla2020-04-276-1/+13
* | | | | | | Merge pull request #2070 from hackfin/masterN. Engelhardt2020-06-042-13/+16
|\ \ \ \ \ \ \
| * \ \ \ \ \ \ Merge branch 'master' of https://github.com/hackfin/yosysMartin2020-05-191-7/+36
| |\ \ \ \ \ \ \
| * | | | | | | | idict handling in wrapperMartin2020-05-192-13/+16
* | | | | | | | | Merge pull request #2082 from YosysHQ/eddie/abc9_scc_fixesEddie Hung2020-06-033-3/+18
|\ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|/ / |/| | | | | | | |