| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | add option to fsm_detect to ignore self-resetting | N. Engelhardt | 2023-01-30 | 1 | -7/+22 |
| * | add pmux option to bmuxmap for better fsm detection with verific frontend | N. Engelhardt | 2023-01-30 | 1 | -6/+30 |
| * | formalff: Fix crash with _NOT_ gates in -hierarchy mode | Jannis Harder | 2023-01-25 | 1 | -1/+1 |
| * | Merge pull request #3624 from jix/sim_yw | Miodrag Milanović | 2023-01-23 | 4 | -40/+680 |
| |\ |
|
| | * | sim/formalff: Clock handling for yw cosim | Jannis Harder | 2023-01-11 | 2 | -21/+246 |
| | * | sim: Improvements and fixes for yw cosim | Jannis Harder | 2023-01-11 | 1 | -4/+91 |
| | * | sim: New -append option for Yosys witness cosim | Jannis Harder | 2023-01-11 | 1 | -5/+14 |
| | * | sim: Add Yosys witness (.yw) cosimulation | Jannis Harder | 2023-01-11 | 1 | -3/+194 |
| | * | sim: Only check formal cells during gclk simulation updates | Jannis Harder | 2023-01-11 | 1 | -16/+19 |
| | * | sim: Internal API to set $initstate | Jannis Harder | 2023-01-11 | 1 | -0/+11 |
| | * | sim: Emit used memory addresses as signals to output traces | Jannis Harder | 2023-01-11 | 1 | -17/+122 |
| | * | xprop, setundef: Mark xprop decoding bwmuxes, exclude them from setundef | Jannis Harder | 2023-01-11 | 2 | -2/+11 |
| * | | Merge pull request #3629 from YosysHQ/micko/clang_fixes | Miodrag Milanović | 2023-01-23 | 4 | -2/+9 |
| |\ \ |
|
| | * | | Fixes for some of clang scan-build detected issues | Miodrag Milanovic | 2023-01-17 | 4 | -2/+9 |
| | |/ |
|
| * | | show: Remove left-in debug log_warning | gatecat | 2023-01-23 | 1 | -1/+0 |
| * | | Improve splitcells pass | Claire Xenia Wolf | 2023-01-18 | 1 | -52/+120 |
| |/ |
|
| * | Merge pull request #3605 from gadfort/stat-json-area | N. Engelhardt | 2023-01-11 | 1 | -0/+3 |
| |\ |
|
| | * | stat: ensure area is included in json output | Peter Gadfort | 2022-12-29 | 1 | -0/+3 |
| * | | Merge branch 'master' into claire/eqystuff | Claire Xen | 2023-01-11 | 4 | -36/+36 |
| |\ \ |
|
| | * \ | Merge pull request #3537 from jix/xprop | Jannis Harder | 2023-01-11 | 10 | -35/+1508 |
| | |\ \ |
|
| | * | | | Deprecate gcc-4.8 | Miodrag Milanovic | 2023-01-11 | 4 | -36/+36 |
| * | | | | Merge branch 'master' of github.com:YosysHQ/yosys into claire/eqystuff | Claire Xenia Wolf | 2023-01-11 | 5 | -5/+25 |
| |\| | | |
|
| | * | | | qbfsat support for cvc5, fixes #3608 | Miodrag Milanovic | 2023-01-09 | 2 | -3/+7 |
| | | |/
| |/| |
|
| | * | | formalff: Proper error messages on async inputs for the -clk2ff mode | Jannis Harder | 2022-12-09 | 1 | -0/+3 |
| | * | | stat: Fix JSON output for empty designs | Jannis Harder | 2022-12-02 | 1 | -2/+2 |
| | * | | tee: Allow logging command output to a given scratchpad value | Jannis Harder | 2022-12-02 | 1 | -0/+13 |
| * | | | Merge branch 'claire/eqystuff' of github.com:YosysHQ/yosys into claire/eqystuff | Claire Xenia Wolf | 2022-12-21 | 1 | -14/+10 |
| |\ \ \ |
|
| | * | | | xprop: Improve signal splitting code | Jannis Harder | 2022-12-12 | 1 | -14/+10 |
| * | | | | Allow non-unique modules without state in sim writeback-mode | Claire Xenia Wolf | 2022-12-21 | 1 | -4/+5 |
| * | | | | Small bugfix in uniquify pass | Claire Xenia Wolf | 2022-12-21 | 1 | -0/+1 |
| |/ / / |
|
| * | | | Improvements in "viz" pass | Claire Xenia Wolf | 2022-12-09 | 1 | -24/+100 |
| * | | | Add gold-x handing to miter cross port handling | Claire Xenia Wolf | 2022-12-08 | 1 | -1/+9 |
| * | | | Merge branch 'claire/eqystuff' of github.com:YosysHQ/yosys into claire/eqystuff | Claire Xenia Wolf | 2022-12-08 | 1 | -0/+39 |
| |\ \ \ |
|
| | * | | | xprop: Add -split-public option | Jannis Harder | 2022-12-08 | 1 | -0/+39 |
| * | | | | Improvements in "viz" command | Claire Xenia Wolf | 2022-12-07 | 1 | -17/+51 |
| |/ / / |
|
| * | | | Improvements in "viz" pass | Claire Xenia Wolf | 2022-12-07 | 1 | -313/+453 |
| * | | | Various improvements in "viz" command | Claire Xenia Wolf | 2022-12-06 | 1 | -72/+242 |
| * | | | Bugfix in splitcells pass | Claire Xenia Wolf | 2022-12-06 | 1 | -5/+13 |
| * | | | Improvements in "viz" command | Claire Xenia Wolf | 2022-12-04 | 1 | -45/+196 |
| * | | | Add "viz" pass for visualizing big-picture data flow in larger designs | Claire Xenia Wolf | 2022-12-04 | 2 | -0/+511 |
| * | | | Add splitcells pass | Claire Xenia Wolf | 2022-12-04 | 2 | -0/+192 |
| * | | | Merge branch 'xprop' of github.com:jix/yosys into claire/eqystuff | Claire Xenia Wolf | 2022-12-01 | 10 | -35/+1508 |
| |\ \ \
| | |/
| |/| |
|
| | * | | miter: Add -make_cover option to cover each output pair difference | Jannis Harder | 2022-11-30 | 1 | -0/+14 |
| | * | | formalff: Fix -ff2anyinit assertion error for fine FFs | Jannis Harder | 2022-11-30 | 1 | -0/+2 |
| | * | | New xprop pass to encode 3-valued x-propagation using 2-valued logic | Jannis Harder | 2022-11-30 | 2 | -0/+1199 |
| | * | | sim: Improved global clock handling | Jannis Harder | 2022-11-30 | 1 | -13/+14 |
| | * | | opt_expr: Optimizations for `$bweqx` and `$bwmux` | Jannis Harder | 2022-11-30 | 1 | -0/+63 |
| | * | | Add bwmuxmap pass | Jannis Harder | 2022-11-30 | 2 | -0/+71 |
| | * | | Add bitwise `$bweqx` and `$bwmux` cells | Jannis Harder | 2022-11-30 | 2 | -6/+29 |
| | * | | opt_expr: Fix shift/shiftx optimizations | Jannis Harder | 2022-11-30 | 1 | -3/+3 |
