aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | | Bump versiongithub-actions[bot]2021-07-301-1/+1
* | | opt_lut: Allow more than one -dlogic per cell type.Marcelina Kościelnicka2021-07-293-24/+55
* | | verilog: save and restore overwritten macro argumentsZachary Snow2021-07-284-4/+54
* | | Bump versiongithub-actions[bot]2021-07-291-1/+1
* | | verilog: Emit $meminit_v2 cell.Marcelina Kościelnicka2021-07-285-55/+87
* | | backends/verilog: Support meminit with mask.Marcelina Kościelnicka2021-07-281-3/+18
* | | memory: Introduce $meminit_v2 cell, with EN input.Marcelina Kościelnicka2021-07-2810-13/+86
* | | Bump versiongithub-actions[bot]2021-07-281-1/+1
* | | proc: Run opt_expr at the endMarcelina Kościelnicka2021-07-271-0/+11
* | | opt_expr: Propagate constants to port connections.Marcelina Kościelnicka2021-07-273-3/+37
* | | Bump versiongithub-actions[bot]2021-07-271-1/+1
* | | Add version bump workflowMiodrag Milanovic2021-07-261-0/+31
* | | Update to latest verificMiodrag Milanovic2021-07-211-3/+3
* | | Use new read_id_num helper function elsewhere in hierarchy.ccRupert Swarbrick2021-07-201-5/+6
* | | Extract connection checking logic from expand_module in hierarchy.ccRupert Swarbrick2021-07-201-23/+64
* | | Merge pull request #2885 from whitequark/cxxrtl-fix-2883whitequark2021-07-201-2/+8
|\ \ \
| * | | cxxrtl: treat wires with multiple defs as not inlinable.whitequark2021-07-201-2/+8
* | | | Merge pull request #2884 from whitequark/cxxrtl-fix-2882whitequark2021-07-201-10/+12
|\ \ \ \ | |/ / / |/| | |
| * | | cxxrtl: treat assignable internal wires used only for debug as locals.whitequark2021-07-201-10/+12
|/ / /
* | | Merge pull request #2881 from whitequark/cxxrtl-sideways-colonwhitequark2021-07-201-1/+14
|\ \ \
| * | | cxxrtl: escape colon in variable names in VCD writer.whitequark2021-07-191-1/+14
|/ / /
* | | Merge pull request #2880 from whitequark/cxxrtl-fix-2877whitequark2021-07-181-0/+16
|\ \ \
| * | | cxxrtl: add debug_item::{get,set}.whitequark2021-07-181-0/+16
|/ / /
* | | Merge pull request #2879 from whitequark/cxxrtl-fix-2739-againwhitequark2021-07-171-0/+6
|\ \ \
| * | | cxxrtl: treat internal wires used only for debug as constants.whitequark2021-07-171-0/+6
* | | | Add support for parsing the SystemVerilog 'bind' constructRupert Swarbrick2021-07-1619-4/+247
|/ / /
* | | Merge pull request #2874 from whitequark/cxxrtl-fix-2589whitequark2021-07-161-9/+6
|\ \ \
| * | | cxxrtl: run hierarchy pass regardless of (*top*) attribute presence.whitequark2021-07-161-9/+6
* | | | Merge pull request #2873 from whitequark/cxxrtl-fix-2500whitequark2021-07-161-3/+3
|\ \ \ \
| * | | | cxxrtl: emit debug items for unused public wires.whitequark2021-07-161-3/+3
| |/ / /
* | | | Merge pull request #2872 from whitequark/cxxrtl-fix-2521whitequark2021-07-161-2/+2
|\ \ \ \ | |/ / / |/| | |
| * | | cxxrtl: don't expect user cell inputs to be wires.whitequark2021-07-161-2/+2
|/ / /
* | | Merge pull request #2871 from whitequark/cxxrtl-fix-2540-2841whitequark2021-07-161-1/+1
|\ \ \
| * | | cxxrtl: don't mark buffered internal wires as UNUSED for debug.whitequark2021-07-161-1/+1
|/ / /
* | | Merge pull request #2870 from whitequark/cxxrtl-fix-2739whitequark2021-07-161-4/+6
|\ \ \
| * | | cxxrtl: mark dead local wires as unused even with inlining disabled.whitequark2021-07-151-4/+6
* | | | sv: fix two struct access bugsZachary Snow2021-07-155-1/+102
|/ / /
* | | Add a test for interfaces on modules loaded on-demandRupert Swarbrick2021-07-145-2/+48
* | | Extract missing module support in hierarchy.cc to a helper functionRupert Swarbrick2021-07-141-44/+68
* | | Merge pull request #2866 from rswarbrick/found-initwhitequark2021-07-141-3/+0
|\ \ \
| * | | Delete unused found_init variableRupert Swarbrick2021-07-141-3/+0
|/ / /
* | | kernel/mem: Add a coalesce_inits helper.Marcelina Kościelnicka2021-07-133-1/+84
* | | Add support for the Bitwuzla solverGCHQDeveloper5602021-07-121-5/+5
* | | kernel/mem: Use delayed removal for inits as well.Marcelina Kościelnicka2021-07-122-4/+20
* | | kernel/mem: Add documentation for more helper functions.Marcelina Kościelnicka2021-07-121-0/+34
* | | cxxrtl: Support memory writes in processes.Marcelina Kościelnicka2021-07-121-6/+55
* | | cxxrtl: Add support for memory read port reset.Marcelina Kościelnicka2021-07-121-1/+41
* | | cxxrtl: Add support for mem read port initial data.Marcelina Kościelnicka2021-07-121-4/+22
* | | cxxrtl: Convert to Mem helpers.Marcelina Kościelnicka2021-07-121-206/+276
* | | kernel/mem: Commit new values of attributes in emit.Marcelina Kościelnicka2021-07-121-0/+4