| Commit message (Expand) | Author | Age | Files | Lines |
* | cxxrtl: treat wires with multiple defs as not inlinable. | whitequark | 2021-07-20 | 1 | -2/+8 |
* | Merge pull request #2881 from whitequark/cxxrtl-sideways-colon | whitequark | 2021-07-20 | 1 | -1/+14 |
|\ |
|
| * | cxxrtl: escape colon in variable names in VCD writer. | whitequark | 2021-07-19 | 1 | -1/+14 |
|/ |
|
* | Merge pull request #2880 from whitequark/cxxrtl-fix-2877 | whitequark | 2021-07-18 | 1 | -0/+16 |
|\ |
|
| * | cxxrtl: add debug_item::{get,set}. | whitequark | 2021-07-18 | 1 | -0/+16 |
|/ |
|
* | Merge pull request #2879 from whitequark/cxxrtl-fix-2739-again | whitequark | 2021-07-17 | 1 | -0/+6 |
|\ |
|
| * | cxxrtl: treat internal wires used only for debug as constants. | whitequark | 2021-07-17 | 1 | -0/+6 |
* | | Add support for parsing the SystemVerilog 'bind' construct | Rupert Swarbrick | 2021-07-16 | 19 | -4/+247 |
|/ |
|
* | Merge pull request #2874 from whitequark/cxxrtl-fix-2589 | whitequark | 2021-07-16 | 1 | -9/+6 |
|\ |
|
| * | cxxrtl: run hierarchy pass regardless of (*top*) attribute presence. | whitequark | 2021-07-16 | 1 | -9/+6 |
* | | Merge pull request #2873 from whitequark/cxxrtl-fix-2500 | whitequark | 2021-07-16 | 1 | -3/+3 |
|\ \ |
|
| * | | cxxrtl: emit debug items for unused public wires. | whitequark | 2021-07-16 | 1 | -3/+3 |
| |/ |
|
* | | Merge pull request #2872 from whitequark/cxxrtl-fix-2521 | whitequark | 2021-07-16 | 1 | -2/+2 |
|\ \
| |/
|/| |
|
| * | cxxrtl: don't expect user cell inputs to be wires. | whitequark | 2021-07-16 | 1 | -2/+2 |
|/ |
|
* | Merge pull request #2871 from whitequark/cxxrtl-fix-2540-2841 | whitequark | 2021-07-16 | 1 | -1/+1 |
|\ |
|
| * | cxxrtl: don't mark buffered internal wires as UNUSED for debug. | whitequark | 2021-07-16 | 1 | -1/+1 |
|/ |
|
* | Merge pull request #2870 from whitequark/cxxrtl-fix-2739 | whitequark | 2021-07-16 | 1 | -4/+6 |
|\ |
|
| * | cxxrtl: mark dead local wires as unused even with inlining disabled. | whitequark | 2021-07-15 | 1 | -4/+6 |
* | | sv: fix two struct access bugs | Zachary Snow | 2021-07-15 | 5 | -1/+102 |
|/ |
|
* | Add a test for interfaces on modules loaded on-demand | Rupert Swarbrick | 2021-07-14 | 5 | -2/+48 |
* | Extract missing module support in hierarchy.cc to a helper function | Rupert Swarbrick | 2021-07-14 | 1 | -44/+68 |
* | Merge pull request #2866 from rswarbrick/found-init | whitequark | 2021-07-14 | 1 | -3/+0 |
|\ |
|
| * | Delete unused found_init variable | Rupert Swarbrick | 2021-07-14 | 1 | -3/+0 |
|/ |
|
* | kernel/mem: Add a coalesce_inits helper. | Marcelina Kościelnicka | 2021-07-13 | 3 | -1/+84 |
* | Add support for the Bitwuzla solver | GCHQDeveloper560 | 2021-07-12 | 1 | -5/+5 |
* | kernel/mem: Use delayed removal for inits as well. | Marcelina Kościelnicka | 2021-07-12 | 2 | -4/+20 |
* | kernel/mem: Add documentation for more helper functions. | Marcelina Kościelnicka | 2021-07-12 | 1 | -0/+34 |
* | cxxrtl: Support memory writes in processes. | Marcelina Kościelnicka | 2021-07-12 | 1 | -6/+55 |
* | cxxrtl: Add support for memory read port reset. | Marcelina Kościelnicka | 2021-07-12 | 1 | -1/+41 |
* | cxxrtl: Add support for mem read port initial data. | Marcelina Kościelnicka | 2021-07-12 | 1 | -4/+22 |
* | cxxrtl: Convert to Mem helpers. | Marcelina Kościelnicka | 2021-07-12 | 1 | -206/+276 |
* | kernel/mem: Commit new values of attributes in emit. | Marcelina Kościelnicka | 2021-07-12 | 1 | -0/+4 |
* | kernel/mem: Make the Mem helpers inherit from AttrObject. | Marcelina Kościelnicka | 2021-07-12 | 1 | -8/+4 |
* | rtlil: Make Process handling more uniform with Cell and Wire. | Marcelina Kościelnicka | 2021-07-12 | 8 | -25/+62 |
* | ice40: Fix LUT input indices in opt_lut -dlogic (again). | Marcelina Kościelnicka | 2021-07-10 | 1 | -1/+1 |
* | Update to latest Verific with extensions for initial assertions | Miodrag Milanovic | 2021-07-09 | 2 | -15/+10 |
* | sv: fix a few struct and enum memory leaks | Zachary Snow | 2021-07-06 | 2 | -2/+11 |
* | ecp5: Add DCSC blackbox | gatecat | 2021-07-06 | 1 | -0/+10 |
* | Merge pull request #2835 from YosysHQ/verific_command | Claire Xen | 2021-07-05 | 1 | -0/+61 |
|\ |
|
| * | Add additional help | Miodrag Milanovic | 2021-07-05 | 1 | -0/+22 |
| * | Support command files in Verific | Miodrag Milanovic | 2021-06-16 | 1 | -0/+39 |
* | | Makefile: allow running multiple sanitizers at once | Xiretza | 2021-07-05 | 1 | -3/+3 |
* | | Makefile: use git/make -C instead of cd | Xiretza | 2021-07-05 | 1 | -3/+3 |
* | | Makefile: pass PRETTY=0 to ABC | Xiretza | 2021-07-05 | 1 | -1/+1 |
* | | Makefile: don't bake DESTDIR into libyosys DT_SONAME | Xiretza | 2021-07-05 | 1 | -2/+2 |
* | | Makefile: clean up PYOSYS configuration | Xiretza | 2021-07-05 | 1 | -34/+10 |
* | | Merge pull request #2842 from whitequark/fix-wasi-build | whitequark | 2021-06-19 | 1 | -1/+1 |
|\ \ |
|
| * | | Fix WASI build after commit 1d88bea1. | whitequark | 2021-06-19 | 1 | -1/+1 |
|/ / |
|
* | | Merge pull request #2836 from YosysHQ/gatecat/pyosys-sigint | Miodrag Milanović | 2021-06-18 | 1 | -0/+2 |
|\ \ |
|
| * | | pyosys: Clear SIGINT handler after Python loads | gatecat | 2021-06-16 | 1 | -0/+2 |
| |/ |
|