index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge pull request #3457 from KrystalDelusion/docs_width
N. Engelhardt
2022-08-25
35
-184
/
+198
|
\
|
*
Fitting help messages to 80 character width
KrystalDelusion
2022-08-24
35
-184
/
+198
|
/
*
Bump version
github-actions[bot]
2022-08-19
1
-1
/
+1
*
Merge pull request #3450 from jix/write_aiger_nonff
Jannis Harder
2022-08-18
2
-1
/
+8
|
\
|
*
write_aiger: Fix non-$_FF_ FFs
Jannis Harder
2022-08-18
2
-1
/
+8
|
/
*
Bump version
github-actions[bot]
2022-08-17
1
-1
/
+1
*
Merge pull request #3434 from jix/witness_flow
Jannis Harder
2022-08-16
33
-167
/
+2255
|
\
|
*
sim: -hdlname option to preserve flattened hierarchy in sim output
Jannis Harder
2022-08-16
2
-9
/
+43
|
*
smtbmc: Set step range for --yw and dont skip steps for --check-witness
Jannis Harder
2022-08-16
1
-2
/
+14
|
*
Update CEX minimization patches for abc
Jannis Harder
2022-08-16
1
-1
/
+1
|
*
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
2
-0
/
+83
|
*
yosys-witness: Add stats command
Jannis Harder
2022-08-16
1
-0
/
+18
|
*
smtbmc: Add --check-witness mode
Jannis Harder
2022-08-16
1
-1
/
+22
|
*
aiger: Add yosys-witness support
Jannis Harder
2022-08-16
3
-2
/
+320
|
*
smtbmc: Add native json based witness format + smt2 backend support
Jannis Harder
2022-08-16
9
-113
/
+983
|
*
btor: Support $anyinit cells
Jannis Harder
2022-08-16
1
-1
/
+1
|
*
aiger: Support $anyinit cells
Jannis Harder
2022-08-16
1
-0
/
+11
|
*
smt2: Support $anyinit cells
Jannis Harder
2022-08-16
1
-10
/
+11
|
*
memory_map: Add -formal option
Jannis Harder
2022-08-16
2
-17
/
+68
|
*
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
4
-0
/
+44
|
*
Add the $anyinit cell and the formalff pass
Jannis Harder
2022-08-16
16
-8
/
+271
|
/
*
Bump version
github-actions[bot]
2022-08-12
1
-1
/
+1
*
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
2
-0
/
+87
|
\
\
|
|
/
|
/
|
|
*
rename: add -scramble-name option to randomly rename selections
Lofty
2022-08-08
2
-0
/
+87
*
|
Bump version
github-actions[bot]
2022-08-11
1
-1
/
+1
*
|
Merge pull request #3443 from YosysHQ/micko/resetall_undefineall
Miodrag Milanović
2022-08-10
1
-0
/
+5
|
\
\
|
*
|
set default_nettype to wire for resetall
Miodrag Milanovic
2022-08-10
1
-0
/
+1
|
*
|
resetall does not affect text defines, but undefineall does
Miodrag Milanovic
2022-08-10
1
-0
/
+4
|
/
/
*
|
Merge pull request #3322 from Forty-Bot/default_assignment_first
N. Engelhardt
2022-08-10
1
-10
/
+38
|
\
\
|
*
|
Order ports with default assignments first
Sean Anderson
2022-08-09
1
-10
/
+38
|
/
/
*
|
Bump version
github-actions[bot]
2022-08-10
1
-1
/
+1
*
|
nexus: Fix BRAM mapping.
Marcelina Kościelnicka
2022-08-09
1
-18
/
+56
*
|
Merge pull request #3441 from YosysHQ/micko/smtio-utf-8
Miodrag Milanović
2022-08-09
1
-2
/
+2
|
\
\
|
*
|
Switched to utf-8 in smtio.py
Miodrag Milanovic
2022-08-09
1
-2
/
+2
|
/
/
*
|
properly encode string in rtlil
Miodrag Milanovic
2022-08-09
1
-1
/
+1
*
|
Bump version
github-actions[bot]
2022-08-09
1
-1
/
+1
*
|
Merge pull request #3439 from YosysHQ/micko/filepath_improve
Miodrag Milanović
2022-08-08
10
-60
/
+90
|
\
\
|
|
/
|
/
|
|
*
support file locations containing spaces
Miodrag Milanovic
2022-08-08
6
-18
/
+19
|
*
Encode filename unprintable chars
Miodrag Milanovic
2022-08-08
4
-27
/
+42
|
*
verific - make filepath handling compatible with verilog frontend
Miodrag Milanovic
2022-08-08
1
-15
/
+29
|
/
*
Bump version
github-actions[bot]
2022-08-04
1
-1
/
+1
*
Next dev cycle
Miodrag Milanovic
2022-08-03
2
-2
/
+5
*
Release version 0.20
Miodrag Milanovic
2022-08-03
2
-3
/
+3
*
Update Changelog
Miodrag Milanovic
2022-08-03
1
-0
/
+7
[next]