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 miter -cross option
Claire Xenia Wolf
2022-10-24
1
-4
/
+32
*
Consistent $mux undef handling
Jannis Harder
2022-10-24
1
-1
/
+1
*
Add "check -assert" to equiv_opt
Claire Xenia Wolf
2022-10-07
1
-1
/
+13
*
Exclude primary inputs from quiv_make rewiring
Claire Xenia Wolf
2022-10-07
1
-0
/
+7
*
Revert "Merge pull request #641 from tklam/master"
Claire Xenia Wolf
2022-10-07
1
-81
/
+5
*
clk2fflogic: Always correctly handle simultaneously changing signals
Jannis Harder
2022-10-07
1
-103
/
+87
*
mutate: warn if less mutations possible than number requested
N. Engelhardt
2022-10-05
1
-0
/
+2
*
Merge pull request #3486 from daglem/fix-flowmap-crash
Miodrag Milanović
2022-09-23
1
-1
/
+2
|
\
|
*
Fix crash in flowmap
Dag Lem
2022-09-20
1
-1
/
+2
*
|
remove extra space in formating
Kamyar Mohajerani
2022-09-22
1
-2
/
+2
*
|
stat: add tech tech-specific utilizations to json
Kamyar Mohajerani
2022-09-22
1
-65
/
+91
|
/
*
Fix tmpdir naming when passing -nocleanup option to abc(9) on systems where b...
N. Engelhardt
2022-09-13
2
-6
/
+12
*
Merge pull request #3458 from QuantamHD/abc_faster
N. Engelhardt
2022-08-31
1
-6
/
+6
|
\
|
*
Improves ABC command runtime by 10-100x
Ethan Mahintorabi
2022-08-24
1
-6
/
+6
*
|
Makes sure to set initial_top when change, fixes #3462
Miodrag Milanovic
2022-08-26
1
-0
/
+1
*
|
Merge pull request #3449 from YosysHQ/aki/show_pathrw
N. Engelhardt
2022-08-25
1
-0
/
+1
|
\
\
|
*
|
yosys: passes: cmds: show: added filename re-writing to `show -lib`
Aki Van Ness
2022-08-22
1
-0
/
+1
|
|
/
*
/
Fitting help messages to 80 character width
KrystalDelusion
2022-08-24
24
-149
/
+157
|
/
*
sim: -hdlname option to preserve flattened hierarchy in sim output
Jannis Harder
2022-08-16
1
-9
/
+41
*
clk2fflogic: Generate less unused logic when using verific
Jannis Harder
2022-08-16
1
-1
/
+4
*
rename: Add -witness mode
Jannis Harder
2022-08-16
1
-0
/
+81
*
memory_map: Add -formal option
Jannis Harder
2022-08-16
1
-17
/
+67
*
setundef: Do not add anyseq / anyconst to unused memory port clocks
Jannis Harder
2022-08-16
1
-0
/
+24
*
wreduce: Keep more x-bits with -keepdc
Jannis Harder
2022-08-16
1
-4
/
+4
*
formalff: New -setundef option
Jannis Harder
2022-08-16
1
-0
/
+335
*
formalff: Set new replaced_by_gclk attribute on removed dff's clks
Jannis Harder
2022-08-16
1
-0
/
+22
*
Add the $anyinit cell and the formalff pass
Jannis Harder
2022-08-16
7
-1
/
+199
*
Merge pull request #3425 from YosysHQ/lofty/stat-json
N. Engelhardt
2022-08-11
1
-38
/
+109
|
\
|
*
stat: add option for machine-readable json output
Lofty
2022-08-11
1
-38
/
+109
*
|
Merge pull request #3277 from YosysHQ/lofty/rename-scramble_name
N. Engelhardt
2022-08-11
1
-0
/
+56
|
\
\
|
|
/
|
/
|
|
*
rename: add -scramble-name option to randomly rename selections
Lofty
2022-08-08
1
-0
/
+56
*
|
support file locations containing spaces
Miodrag Milanovic
2022-08-08
3
-9
/
+9
|
/
*
opt_reduce: Fix use-after-free.
Marcelina Kościelnicka
2022-07-23
1
-4
/
+2
*
sim: Fix $anyseq in nested modules
Jannis Harder
2022-07-22
1
-11
/
+21
*
Fix external ABC build after commit 0ca0932b5.
Catherine
2022-07-07
2
-4
/
+8
*
Merge pull request #3395 from jix/opt_dff_keepdc_initival
Jannis Harder
2022-07-01
1
-5
/
+17
|
\
|
*
opt_dff: With -keepdc, never turn undef init vals into const drivers
Jannis Harder
2022-06-29
1
-5
/
+17
*
|
Merge pull request #3396 from jix/async2sync_const_clocks
Jannis Harder
2022-07-01
1
-0
/
+3
|
\
\
|
*
|
async2sync: turn FFs with const clks into gclk FFs with feedback
Jannis Harder
2022-06-30
1
-0
/
+3
*
|
|
Merge pull request #3391 from programmerjake/simcheck-allow-smtlib2-blackboxes
Jannis Harder
2022-07-01
1
-7
/
+16
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
add hierarchy -smtcheck
Jacob Lifshay
2022-06-22
1
-7
/
+16
|
|
/
*
|
memory_map: avoid undriven unused FF inputs for -keepdc
Jannis Harder
2022-06-28
1
-0
/
+3
*
|
memory_map: -keepdc option for formal
Jannis Harder
2022-06-27
1
-3
/
+14
|
/
*
memory_map: Add -rom-only option.
Marcelina Kościelnicka
2022-06-17
1
-4
/
+18
*
memory_map: Use const drivers instead of FFs for ROMs.
Marcelina Kościelnicka
2022-06-17
1
-52
/
+59
*
memory_libmap: Fix wrprio handling.
Marcelina Kościelnicka
2022-06-17
1
-1
/
+1
*
memory_libmap: Fix params emitted for unused ports for consistency.
Marcelina Kościelnicka
2022-06-16
1
-2
/
+3
*
Merge pull request #3196 from bfg86/bfg86/rename
N. Engelhardt
2022-06-13
1
-4
/
+13
|
\
|
*
Updating help-text with nakengelhardts suggestion.
bfg86
2022-06-13
1
-2
/
+2
|
*
Add -suffix option to rename -wire.
bfg86
2022-02-11
1
-4
/
+13
[next]