| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | passes: show: Label no_signode flag | Martin Povišer | 2023-01-13 | 1 | -20/+19 |
| * | passes: show: Simplify wire bit range logic | Martin Povišer | 2023-01-13 | 1 | -8/+10 |
| * | passes: show: Factor out 'join_label_pieces' | Martin Povišer | 2023-01-13 | 1 | -20/+35 |
| * | passes: show: Label signed_suffix flag | Martin Povišer | 2023-01-13 | 1 | -3/+6 |
| * | passes: show: s/idx/dot_idx/ for readability | Martin Povišer | 2023-01-13 | 1 | -7/+7 |
| * | passes: show: Fix portbox bit ranges in case of driven signals | Martin Povišer | 2023-01-13 | 1 | -1/+1 |
| * | 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 |
| | * | | opt_expr: Constant fold mux, pmux, bmux, demux, eqx, nex cells | Jannis Harder | 2022-11-29 | 1 | -0/+33 |
| | * | | opt_expr: Optimize bitwise logic ops with one fully const input | Jannis Harder | 2022-11-29 | 1 | -0/+81 |
| | * | | simplemap: Map `$xnor` to `$_XNOR_` cells | Jannis Harder | 2022-11-29 | 1 | -15/+1 |
| | |/ |
|
| * / | Add insbuf -chain mode | Claire Xenia Wolf | 2022-12-01 | 1 | -2/+38 |
| |/ |
|
| * | sat: Add -set-def-formal option to force defined $any* outputs | Jannis Harder | 2022-11-28 | 1 | -6/+22 |
| * | Support importing verilog configurations using Verific | Miodrag Milanovic | 2022-11-25 | 1 | -1/+1 |
| * | mention prerequisites in fsm_detect and fsm help | N. Engelhardt | 2022-11-21 | 2 | -0/+18 |
| * | Rst docs conversion (#3496) | KrystalDelusion | 2022-11-15 | 2 | -1/+3 |
| * | sim: Run a comb-only update step to set past values during FST cosim | Jannis Harder | 2022-11-07 | 1 | -12/+11 |
| * | Add extra time at the end of a sat VCD trace | Claire Xenia Wolf | 2022-11-01 | 1 | -0/+1 |
