aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | 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
* | | kernel/mem: Make the Mem helpers inherit from AttrObject.Marcelina Kościelnicka2021-07-121-8/+4
* | | rtlil: Make Process handling more uniform with Cell and Wire.Marcelina Kościelnicka2021-07-128-25/+62
* | | ice40: Fix LUT input indices in opt_lut -dlogic (again).Marcelina Kościelnicka2021-07-101-1/+1
* | | Update to latest Verific with extensions for initial assertionsMiodrag Milanovic2021-07-092-15/+10
* | | sv: fix a few struct and enum memory leaksZachary Snow2021-07-062-2/+11
* | | ecp5: Add DCSC blackboxgatecat2021-07-061-0/+10
* | | Merge pull request #2835 from YosysHQ/verific_commandClaire Xen2021-07-051-0/+61
|\ \ \
| * | | Add additional helpMiodrag Milanovic2021-07-051-0/+22
| * | | Support command files in VerificMiodrag Milanovic2021-06-161-0/+39
* | | | Makefile: allow running multiple sanitizers at onceXiretza2021-07-051-3/+3
* | | | Makefile: use git/make -C instead of cdXiretza2021-07-051-3/+3
* | | | Makefile: pass PRETTY=0 to ABCXiretza2021-07-051-1/+1
* | | | Makefile: don't bake DESTDIR into libyosys DT_SONAMEXiretza2021-07-051-2/+2
* | | | Makefile: clean up PYOSYS configurationXiretza2021-07-051-34/+10
* | | | Merge pull request #2842 from whitequark/fix-wasi-buildwhitequark2021-06-191-1/+1
|\ \ \ \
| * | | | Fix WASI build after commit 1d88bea1.whitequark2021-06-191-1/+1
|/ / / /
* | | | Merge pull request #2836 from YosysHQ/gatecat/pyosys-sigintMiodrag Milanović2021-06-181-0/+2
|\ \ \ \
| * | | | pyosys: Clear SIGINT handler after Python loadsgatecat2021-06-161-0/+2
| |/ / /
* | | | Move interface expansion in hierarchy.cc into a helper classRupert Swarbrick2021-06-161-100/+189
* | | | sv: fix up end label checkingZachary Snow2021-06-167-7/+98
* | | | Include blif reader header in public facing extension header files.Ashton Snelgrove2021-06-161-0/+1
|/ / /
* | | verilog: fix leaking of type names in parserXiretza2021-06-141-0/+2
* | | verilog: fix wildcard port connections leaking memoryXiretza2021-06-141-0/+1
* | | ast: delete wires and localparams after finishing const evaluationXiretza2021-06-141-0/+8
* | | verilog: fix leaking ASTNodesXiretza2021-06-142-7/+15
* | | ast: fix error condition causing assert to failXiretza2021-06-141-2/+1
* | | macos: fix leak in proc_self_dirname()Zachary Snow2021-06-141-1/+3
* | | Simplify some RTLIL destructorsRupert Swarbrick2021-06-141-10/+10
* | | verilog: Squash a memory leak.Marcelina Kościelnicka2021-06-144-19/+14
* | | Add regression test for #2824.Marcelina Kościelnicka2021-06-111-0/+7
* | | opt_muxtree: Update port_off and port_idx even for constant bitsgatecat2021-06-111-17/+16