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
*
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
[next]