aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * 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
* 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
|/ /