| Commit message (Expand) | Author | Age | Files | Lines |
* | Merge pull request #2563 from whitequark/cxxrtl-msvc | whitequark | 2021-01-26 | 2 | -10/+10 |
|\ |
|
| * | cxxrtl: do not use `->template` for non-dependent names. | whitequark | 2021-01-26 | 2 | -10/+10 |
* | | Improves the previous commit with a more complete coverage of the cases | Iris Johnson | 2021-01-15 | 1 | -12/+12 |
* | | Handle sliced bits as clock inputs (fixes #2542) | Iris Johnson | 2021-01-14 | 1 | -3/+11 |
|/ |
|
* | add buffer option to spice backend | Pepijn de Vos | 2021-01-13 | 1 | -7/+15 |
* | cxxrtl: don't crash generating debug information for unused wires. | whitequark | 2020-12-22 | 1 | -9/+10 |
* | cxxrtl: split processes into sync and case nodes. | whitequark | 2020-12-22 | 1 | -11/+26 |
* | cxxrtl: completely rewrite netlist layout code. | whitequark | 2020-12-22 | 1 | -406/+569 |
* | cxxrtl: simplify logic choosing wire type. NFCI. | whitequark | 2020-12-21 | 1 | -19/+8 |
* | cxxrtl: clarify node use-def construction. NFCI. | whitequark | 2020-12-21 | 1 | -18/+11 |
* | cxxrtl: fix typo. | whitequark | 2020-12-21 | 1 | -2/+2 |
* | cxxrtl: speed up bit repeats (sign extends, etc). | whitequark | 2020-12-21 | 2 | -5/+28 |
* | cxxrtl: speed up commits on clang. | whitequark | 2020-12-21 | 1 | -3/+3 |
* | cxxrtl: use `static inline` instead of `inline` in the C API. | whitequark | 2020-12-20 | 1 | -1/+1 |
* | cxxrtl: print names of cells inlined in connections. | whitequark | 2020-12-15 | 1 | -1/+10 |
* | cxxrtl: disable optimization of debug_items(). | whitequark | 2020-12-15 | 2 | -3/+15 |
* | cxxrtl: make alias analysis outlining-aware. | whitequark | 2020-12-15 | 1 | -38/+48 |
* | cxxrtl: add a "bare minimum" debug information level. | whitequark | 2020-12-14 | 1 | -9/+17 |
* | cxxrtl: implement debug information outlining. | whitequark | 2020-12-14 | 5 | -71/+278 |
* | cxxrtl: rename "elision" to "inlining". NFC. | whitequark | 2020-12-13 | 1 | -77/+77 |
* | cxxrtl: fix outdated comment. NFC. | whitequark | 2020-12-13 | 1 | -2/+2 |
* | cxxrtl: use IdString::isPublic(). NFC. | whitequark | 2020-12-13 | 1 | -4/+4 |
* | cxxrtl: don't overwrite buffered inputs. | whitequark | 2020-12-11 | 2 | -25/+33 |
* | cxxrtl: allow customizing the root module path in the C API. | whitequark | 2020-12-03 | 2 | -1/+20 |
* | Merge pull request #2468 from whitequark/cxxrtl-assert | whitequark | 2020-12-02 | 2 | -2/+16 |
|\ |
|
| * | cxxrtl: use CXXRTL_ASSERT for RTL contract violations instead of assert. | whitequark | 2020-12-02 | 2 | -2/+16 |
* | | Merge pull request #2469 from whitequark/cxxrtl-no-clk | whitequark | 2020-12-02 | 1 | -6/+14 |
|\ \ |
|
| * | | cxxrtl: fix crashes caused by a floating or constant clock input. | whitequark | 2020-12-02 | 1 | -6/+14 |
| |/ |
|
* / | cxxrtl: provide a way to perform unobtrusive power-on reset. | whitequark | 2020-12-02 | 4 | -3/+78 |
|/ |
|
* | Add verilog backend option for simple_lhs | Miodrag Milanovic | 2020-11-25 | 1 | -6/+22 |
* | generate only simple assignments in verilog backend | Miodrag Milanovic | 2020-11-25 | 1 | -5/+9 |
* | Merge pull request #2295 from epfl-vlsc/firrtl_blackbox_generic_parameters | Miodrag Milanović | 2020-11-24 | 1 | -58/+294 |
|\ |
|
| * | Formatting fixes | Sahand Kashani | 2020-11-23 | 1 | -10/+7 |
| * | Add support for real-valued parameters + preserve type of parameters | Sahand Kashani | 2020-08-06 | 1 | -38/+113 |
| * | Add firrtl backend support for generic parameters in blackbox components | Sahand Kashani | 2020-07-23 | 1 | -58/+222 |
* | | backends/blif: Remove unused vector of strings (#2420) | William Woodruff | 2020-11-16 | 1 | -57/+53 |
* | | cxxrtl: run `hierarchy -auto-top` if no top module is present. | whitequark | 2020-11-02 | 1 | -7/+26 |
* | | cxxrtl: don't assert on non-constant $meminit inputs. | whitequark | 2020-11-01 | 1 | -2/+4 |
* | | cxxrtl: don't assert on wires with multiple drivers. | whitequark | 2020-11-01 | 1 | -0/+2 |
* | | btor: Use Mem helper. | Marcelina Kościelnicka | 2020-10-21 | 1 | -93/+102 |
* | | smt2: Use Mem helper. | Marcelina Kościelnicka | 2020-10-21 | 1 | -186/+244 |
* | | verilog_backend: Use Mem helper. | Marcelina Kościelnicka | 2020-10-21 | 1 | -274/+251 |
* | | smtbmc: escape identifiers in verilog testbench | Jakob Wenzel | 2020-10-06 | 1 | -11/+29 |
* | | write_verilog: emit intermediate wire for constant values in sensitivity list | N. Engelhardt | 2020-09-28 | 1 | -7/+53 |
* | | Merge pull request #2372 from nakengelhardt/name_is_public | N. Engelhardt | 2020-09-21 | 4 | -8/+8 |
|\ \ |
|
| * | | use the new isPublic() in a few places | N. Engelhardt | 2020-09-14 | 4 | -8/+8 |
* | | | Merge pull request #2369 from Xiretza/gitignores | Miodrag Milanović | 2020-09-10 | 2 | -0/+2 |
|\ \ \
| |/ /
|/| | |
|
| * | | Add missing gitignores for test artifacts | Xiretza | 2020-08-31 | 2 | -0/+2 |
* | | | cxxrtl: expose driver kind in debug information. | whitequark | 2020-09-02 | 3 | -12/+112 |
* | | | cxxrtl: improve handling of FFs with async inputs (other than CLK). | whitequark | 2020-09-02 | 1 | -22/+23 |