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
*
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
*
update manual to latest
Miodrag Milanovic
2022-08-03
1
-2
/
+5
*
Merge pull request #3432 from YosysHQ/aki/jny_updates
Miodrag Milanović
2022-08-03
2
-10
/
+226
|
\
|
*
misc: Added JNY schema definition
Aki Van Ness
2022-08-02
1
-0
/
+193
|
*
backend: jny: updated the `JnyWriter` to emite a new "invocation" entry as we...
Aki Van Ness
2022-08-02
1
-10
/
+33
*
|
Update manual and changelog
Miodrag Milanovic
2022-08-03
2
-0
/
+9
*
|
Bump version
github-actions[bot]
2022-08-03
1
-1
/
+1
*
|
Merge pull request #3433 from jix/fix_smt_shift
Jannis Harder
2022-08-02
1
-4
/
+4
|
\
\
|
|
/
|
/
|
|
*
smt2: Fix $shift/$shiftx with negative shift ammounts
Jannis Harder
2022-08-02
1
-4
/
+4
|
/
*
Bump version
github-actions[bot]
2022-08-02
1
-1
/
+1
*
Merge pull request #3089 from YosysHQ/gatecat/liberty_wb
Miodrag Milanović
2022-08-01
1
-0
/
+14
|
\
[next]