aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* stat: pass down quiet argN. Engelhardt2023-02-281-1/+1
* Merge pull request #3646 from YosysHQ/lofty/fix-3591Miodrag Milanović2023-02-271-4/+1
|\
| * muxcover: do not add decode muxes with x inputsLofty2023-01-261-4/+1
* | Merge pull request #3672 from jix/yw-cosim-hierarchy-fixesJannis Harder2023-02-151-1/+25
|\ \
| * | sim: For yw cosim, drive parent module's signals for input portsJannis Harder2023-02-131-1/+25
* | | Merge pull request #2995 from georgerennie/cover_precondJannis Harder2023-02-141-0/+19
|\ \ \
| * | | chformal: Note about using -coverenable with the Verific frontendJannis Harder2023-02-141-0/+5
| * | | chformal: Rename -coverprecond to -coverenableGeorge Rennie2022-06-181-4/+4
| * | | chformal: Test -coverprecond and reuse the src attributeJannis Harder2022-06-181-2/+2
| * | | chformal: Add -coverprecond optionGeorge Rennie2022-06-181-0/+14
* | | | Merge pull request #3126 from georgerennie/equiv_make_assertionsJannis Harder2023-02-141-27/+65
|\ \ \ \ | |_|/ / |/| | |
| * | | equiv_make: Add -make_assert optionGeorge Rennie2022-06-241-27/+65
| |/ /
* | | Updated changelogMiodrag Milanovic2023-02-081-0/+3
* | | Merge pull request #3625 from povik/show_cleanupN. Engelhardt2023-02-061-56/+82
|\ \ \
| * | | passes: show: s/pos/bitpos/ for readabilityMartin Povišer2023-01-131-4/+5
| * | | passes: show: Reuse string parts in generation of portboxesMartin Povišer2023-01-131-2/+5
| * | | passes: show: Touch chunk iteration in gen_portboxMartin Povišer2023-01-131-8/+11
| * | | passes: show: Label no_signode flagMartin Povišer2023-01-131-20/+19
| * | | passes: show: Simplify wire bit range logicMartin Povišer2023-01-131-8/+10
| * | | passes: show: Factor out 'join_label_pieces'Martin Povišer2023-01-131-20/+35
| * | | passes: show: Label signed_suffix flagMartin Povišer2023-01-131-3/+6
| * | | passes: show: s/idx/dot_idx/ for readabilityMartin Povišer2023-01-131-7/+7
| * | | passes: show: Fix portbox bit ranges in case of driven signalsMartin Povišer2023-01-131-1/+1
* | | | add option to fsm_detect to ignore self-resettingN. Engelhardt2023-01-301-7/+22
* | | | add pmux option to bmuxmap for better fsm detection with verific frontendN. Engelhardt2023-01-301-6/+30
* | | | formalff: Fix crash with _NOT_ gates in -hierarchy modeJannis Harder2023-01-251-1/+1
* | | | Merge pull request #3624 from jix/sim_ywMiodrag Milanović2023-01-234-40/+680
|\ \ \ \
| * | | | sim/formalff: Clock handling for yw cosimJannis Harder2023-01-112-21/+246
| * | | | sim: Improvements and fixes for yw cosimJannis Harder2023-01-111-4/+91
| * | | | sim: New -append option for Yosys witness cosimJannis Harder2023-01-111-5/+14
| * | | | sim: Add Yosys witness (.yw) cosimulationJannis Harder2023-01-111-3/+194
| * | | | sim: Only check formal cells during gclk simulation updatesJannis Harder2023-01-111-16/+19
| * | | | sim: Internal API to set $initstateJannis Harder2023-01-111-0/+11
| * | | | sim: Emit used memory addresses as signals to output tracesJannis Harder2023-01-111-17/+122
| * | | | xprop, setundef: Mark xprop decoding bwmuxes, exclude them from setundefJannis Harder2023-01-112-2/+11
| |/ / /
* | | | Merge pull request #3629 from YosysHQ/micko/clang_fixesMiodrag Milanović2023-01-234-2/+9
|\ \ \ \
| * | | | Fixes for some of clang scan-build detected issuesMiodrag Milanovic2023-01-174-2/+9
| |/ / /
* | | | show: Remove left-in debug log_warninggatecat2023-01-231-1/+0
* | | | Improve splitcells passClaire Xenia Wolf2023-01-181-52/+120
|/ / /
* | | Merge pull request #3605 from gadfort/stat-json-areaN. Engelhardt2023-01-111-0/+3
|\ \ \ | |_|/ |/| |
| * | stat: ensure area is included in json outputPeter Gadfort2022-12-291-0/+3
* | | Merge branch 'master' into claire/eqystuffClaire Xen2023-01-114-36/+36
|\ \ \
| * \ \ Merge pull request #3537 from jix/xpropJannis Harder2023-01-1110-35/+1508
| |\ \ \
| * | | | Deprecate gcc-4.8Miodrag Milanovic2023-01-114-36/+36
* | | | | Merge branch 'master' of github.com:YosysHQ/yosys into claire/eqystuffClaire Xenia Wolf2023-01-115-5/+25
|\| | | |
| * | | | qbfsat support for cvc5, fixes #3608Miodrag Milanovic2023-01-092-3/+7
| | |/ / | |/| |
| * | | formalff: Proper error messages on async inputs for the -clk2ff modeJannis Harder2022-12-091-0/+3
| * | | stat: Fix JSON output for empty designsJannis Harder2022-12-021-2/+2
| * | | tee: Allow logging command output to a given scratchpad valueJannis Harder2022-12-021-0/+13
* | | | Merge branch 'claire/eqystuff' of github.com:YosysHQ/yosys into claire/eqystuffClaire Xenia Wolf2022-12-211-14/+10
|\ \ \ \