aboutsummaryrefslogtreecommitdiffstats
path: root/backends
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #2151 from whitequark/cxxrtl-fix-rzextwhitequark2020-06-131-2/+2
|\
| * cxxrtl: fix rzext().whitequark2020-06-131-2/+2
* | Merge pull request #2145 from whitequark/cxxrtl-splitnetswhitequark2020-06-135-67/+156
|\ \
| * | cxxrtl: handle multipart signals.whitequark2020-06-115-27/+94
| * | cxxrtl: expose RTLIL::{Wire,Memory}->start_offset in debug info.whitequark2020-06-113-40/+62
* | | cxxrtl: always inline internal cells and slice/concat operations.whitequark2020-06-131-4/+108
| |/ |/|
* | cxxrtl: elide $pmux cells.whitequark2020-06-121-30/+16
* | cxxrtl: annotate port direction as comments.whitequark2020-06-121-1/+8
* | cxxrtl: unbuffer output wires of toplevel module.whitequark2020-06-121-1/+1
* | cxxrtl: simplify unbuffering of input wires.whitequark2020-06-121-20/+17
|/
* Merge pull request #2141 from whitequark/cxxrtl-cxx11whitequark2020-06-103-8/+10
|\
| * cxxrtl: restore C++11 compatibility.whitequark2020-06-101-1/+2
| * cxxrtl: fix a few gcc warnings.whitequark2020-06-101-5/+6
| * Fix formatting. NFC.whitequark2020-06-101-2/+2
* | cxxrtl: disambiguate values/wires and their aliases in debug info.whitequark2020-06-104-9/+50
|/
* cxxrtl: allow unbuffering without localizing.whitequark2020-06-091-40/+74
* cxxrtl: order -On levels as localize, elide instead of the reverse.whitequark2020-06-091-8/+8
* cxxrtl: factor out -noproc/-noflatten from -O.whitequark2020-06-091-17/+36
* cxxrtl: fix two buggy split_by functions.whitequark2020-06-092-14/+16
* Merge pull request #2126 from whitequark/cxxrtl-non-ext-logic-opswhitequark2020-06-092-64/+35
|\
| * cxxrtl: ignore cell input signedness when it is irrelevant.whitequark2020-06-092-64/+35
* | cxxrtl: add missing namespace.whitequark2020-06-091-2/+2
|/
* cxxrtl: fix format of hdlnames.whitequark2020-06-081-1/+1
* cxxrtl: don't check immutable values for changes in VCD writer.whitequark2020-06-081-4/+10
* 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: fix typo in comment. NFC.whitequark2020-06-081-4/+4
* cxxrtl: minor debug-related improvements.whitequark2020-06-081-2/+3
* 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
* 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
* | | Merge pull request #2077 from YosysHQ/eddie/abc9_dff_improveEddie Hung2020-06-041-28/+22
|\ \ \ | |/ / |/| |
| * | xaiger: cleanupEddie Hung2020-05-251-28/+22
* | | Add printf format attributes to btorf/infof helper functionsClaire Wolf2020-06-041-3/+3
* | | 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-042-0/+6
|\ \ \
| * | | Preserve 'signed'-ness of a verilog wire through RTLILVamsi K Vytla2020-04-272-0/+6
* | | | Merge pull request #2082 from YosysHQ/eddie/abc9_scc_fixesEddie Hung2020-06-031-1/+1
|\ \ \ \ | |_|_|/ |/| | |
| * | | xaiger: promote abc9_keep wiresEddie Hung2020-05-251-1/+1
| | |/ | |/|