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
*
Improve write_aiger handling of unconnected nets and constants
Clifford Wolf
2017-05-28
1
-1
/
+1
*
Add aliases for common sets of gate types to "abc -g"
Clifford Wolf
2017-05-24
1
-2
/
+74
*
Add $_ANDNOT_ and $_ORNOT_ gates
Clifford Wolf
2017-05-17
1
-21
/
+41
*
Fix equiv_simple, old behavior now available with "equiv_simple -short"
Clifford Wolf
2017-04-28
1
-10
/
+41
*
Squelch trailing whitespace
Larry Doolittle
2017-04-12
4
-7
/
+7
*
Fix gcc compiler warning
Clifford Wolf
2017-04-05
1
-1
/
+1
*
Disable opt_merge for $anyseq and $anyconst
Clifford Wolf
2017-02-28
1
-0
/
+3
*
Add "chformal -assert2assume" and friends
Clifford Wolf
2017-02-28
1
-0
/
+44
*
Add "chformal" pass
Clifford Wolf
2017-02-27
2
-0
/
+239
*
Add $live and $fair cell types, add support for s_eventually keyword
Clifford Wolf
2017-02-25
3
-4
/
+2
*
Copy attributes to _TECHMAP_REPLACE_ cells
Clifford Wolf
2017-02-16
1
-2
/
+8
*
Do not fix port widths on any blackbox instances
Clifford Wolf
2017-02-13
1
-1
/
+1
*
Fix techmap for inout ports connected to inout ports
Clifford Wolf
2017-02-13
1
-2
/
+7
*
Do not eagerly fix port widths on parameterized cells
Clifford Wolf
2017-02-12
1
-0
/
+3
*
Fixed some "used uninitialized" warnings in opt_expr
Clifford Wolf
2017-02-11
1
-1
/
+2
*
Add optimization of (a && 1'b1) and (a || 1'b0)
Clifford Wolf
2017-02-11
1
-7
/
+22
*
Fix issue #306, "Bug in opt -full"
C-Elegans
2017-02-10
1
-1
/
+19
*
Fix handling of init attributes with strange width
Clifford Wolf
2017-02-09
2
-3
/
+9
*
Add $cover cell type and SVA cover() support
Clifford Wolf
2017-02-04
2
-2
/
+2
*
Update ABC scripts to use "&nf" instead of "map"
Clifford Wolf
2017-02-01
1
-3
/
+3
*
Fix indenting and log messages in code merged from opt_compare_pr
Clifford Wolf
2017-01-31
1
-102
/
+120
*
Merge branch 'opt_compare_pr' of https://github.com/C-Elegans/yosys into C-El...
Clifford Wolf
2017-01-31
1
-1
/
+103
|
\
|
*
Refactor and generalize the comparision optimization
C-Elegans
2017-01-30
1
-22
/
+42
|
*
Do not use b.as_int() in calculation of bit set
C-Elegans
2017-01-21
1
-8
/
+29
|
*
Optimize compares to powers of 2
C-Elegans
2017-01-16
4
-81
/
+61
|
*
Fix issue #269, optimize signed compare with 0
C-Elegans
2017-01-15
3
-0
/
+81
*
|
Improve opt_rmdff support for $dlatch cells
Clifford Wolf
2017-01-31
1
-4
/
+22
*
|
Add $ff and $_FF_ support to equiv_simple
Clifford Wolf
2017-01-30
1
-2
/
+2
*
|
Be more conservative with merging large cells into FSMs
Clifford Wolf
2017-01-26
1
-3
/
+17
*
|
Add warnings for quickly growing FSM table size in fsm_expand
Clifford Wolf
2017-01-26
1
-0
/
+10
*
|
passes/hierarchy: delete some dead code
Austin Seipp
2017-01-15
1
-4
/
+0
|
/
*
Added "check -initdrv"
Clifford Wolf
2017-01-04
1
-3
/
+82
*
Added cell port resizing to hierarchy pass
Clifford Wolf
2017-01-01
1
-0
/
+56
*
Added "design -reset-vlog"
Clifford Wolf
2016-11-30
1
-7
/
+32
*
Improved equiv_purge log output
Clifford Wolf
2016-11-29
1
-1
/
+1
*
Added wire start_offset and upto handling to splitnets cmd
Clifford Wolf
2016-11-23
1
-2
/
+8
*
Improved ABC default scripts
Clifford Wolf
2016-11-19
1
-17
/
+34
*
Added support for hierarchical defparams
Clifford Wolf
2016-11-15
1
-1
/
+1
*
Minor bugfix in submod
Clifford Wolf
2016-11-09
1
-0
/
+1
*
Bugfix in "setundef" pass
Clifford Wolf
2016-11-08
1
-2
/
+7
*
Implemented "scc -set_attr"
Clifford Wolf
2016-11-06
1
-22
/
+32
*
Bugfix in "scc" command
Clifford Wolf
2016-11-06
1
-9
/
+11
*
Bugfix in "hierarchy -check"
Clifford Wolf
2016-11-02
1
-1
/
+1
*
Added support for fsm_encoding="user"
Clifford Wolf
2016-11-02
1
-3
/
+3
*
Added "fsm_expand -full"
Clifford Wolf
2016-11-02
2
-17
/
+35
*
Bugfix in fsm_map for FSMs without reset state
Clifford Wolf
2016-10-25
1
-1
/
+2
*
Added avail params to ilang format, check module params in 'hierarchy -check'
Clifford Wolf
2016-10-22
1
-0
/
+4
*
Added "setparam -type"
Clifford Wolf
2016-10-19
1
-3
/
+13
*
Bugfix in "miter -assert" handling of assumptions
Clifford Wolf
2016-10-17
1
-2
/
+2
*
Added clk2fflogic support for $dffsr and $dlatch
Clifford Wolf
2016-10-17
1
-1
/
+57
[next]