index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
passes
Commit message (
Expand
)
Author
Age
Files
Lines
*
ABC9: Cell Port Bug Patch (#3670)
Benjamin Barzen
2023-04-22
1
-1
/
+5
*
stat: pass down quiet arg
N. Engelhardt
2023-02-28
1
-1
/
+1
*
Merge pull request #3646 from YosysHQ/lofty/fix-3591
Miodrag Milanović
2023-02-27
1
-4
/
+1
|
\
|
*
muxcover: do not add decode muxes with x inputs
Lofty
2023-01-26
1
-4
/
+1
*
|
Merge pull request #3672 from jix/yw-cosim-hierarchy-fixes
Jannis Harder
2023-02-15
1
-1
/
+25
|
\
\
|
*
|
sim: For yw cosim, drive parent module's signals for input ports
Jannis Harder
2023-02-13
1
-1
/
+25
*
|
|
Merge pull request #2995 from georgerennie/cover_precond
Jannis Harder
2023-02-14
1
-0
/
+19
|
\
\
\
|
*
|
|
chformal: Note about using -coverenable with the Verific frontend
Jannis Harder
2023-02-14
1
-0
/
+5
|
*
|
|
chformal: Rename -coverprecond to -coverenable
George Rennie
2022-06-18
1
-4
/
+4
|
*
|
|
chformal: Test -coverprecond and reuse the src attribute
Jannis Harder
2022-06-18
1
-2
/
+2
|
*
|
|
chformal: Add -coverprecond option
George Rennie
2022-06-18
1
-0
/
+14
*
|
|
|
Merge pull request #3126 from georgerennie/equiv_make_assertions
Jannis Harder
2023-02-14
1
-27
/
+65
|
\
\
\
\
|
|
_
|
/
/
|
/
|
|
|
|
*
|
|
equiv_make: Add -make_assert option
George Rennie
2022-06-24
1
-27
/
+65
|
|
/
/
*
|
|
Updated changelog
Miodrag Milanovic
2023-02-08
1
-0
/
+3
*
|
|
Merge pull request #3625 from povik/show_cleanup
N. Engelhardt
2023-02-06
1
-56
/
+82
|
\
\
\
|
*
|
|
passes: show: s/pos/bitpos/ for readability
Martin Povišer
2023-01-13
1
-4
/
+5
|
*
|
|
passes: show: Reuse string parts in generation of portboxes
Martin Povišer
2023-01-13
1
-2
/
+5
|
*
|
|
passes: show: Touch chunk iteration in gen_portbox
Martin Povišer
2023-01-13
1
-8
/
+11
|
*
|
|
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
*
|
|
|
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
[next]