aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* cxxrtl: emit debug items for unused public wires.whitequark2021-07-161-3/+3
* 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