projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
greenpak4_counters: Changed generation of primitive names so that the absorbed regist...
[yosys.git]
/
passes
/
2017-06-20
Clifford Wolf
Fix handling of init values in "abc -dff" and "abc...
tree
|
commitdiff
2017-06-20
Clifford Wolf
Switched abc "clock domain not found" error to log_cmd_...
tree
|
commitdiff
2017-05-28
Clifford Wolf
Add "setundef -anyseq"
tree
|
commitdiff
2017-05-28
Clifford Wolf
Improve write_aiger handling of unconnected nets and...
tree
|
commitdiff
2017-05-24
Clifford Wolf
Add aliases for common sets of gate types to "abc -g"
tree
|
commitdiff
2017-05-17
Clifford Wolf
Add $_ANDNOT_ and $_ORNOT_ gates
tree
|
commitdiff
2017-04-28
Clifford Wolf
Fix equiv_simple, old behavior now available with ...
tree
|
commitdiff
2017-04-12
Larry Doolittle
Squelch trailing whitespace
tree
|
commitdiff
2017-04-05
Clifford Wolf
Fix gcc compiler warning
tree
|
commitdiff
2017-02-28
Clifford Wolf
Disable opt_merge for $anyseq and $anyconst
tree
|
commitdiff
2017-02-27
Clifford Wolf
Add "chformal -assert2assume" and friends
tree
|
commitdiff
2017-02-27
Clifford Wolf
Add "chformal" pass
tree
|
commitdiff
2017-02-25
Clifford Wolf
Merge branch 'master' of https://github.com/klammerj...
tree
|
commitdiff
2017-02-25
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2017-02-25
Clifford Wolf
Add $live and $fair cell types, add support for s_event...
tree
|
commitdiff
2017-02-16
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-02-16
Clifford Wolf
Copy attributes to _TECHMAP_REPLACE_ cells
tree
|
commitdiff
2017-02-14
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-02-13
Clifford Wolf
Do not fix port widths on any blackbox instances
tree
|
commitdiff
2017-02-13
Clifford Wolf
Fix techmap for inout ports connected to inout ports
tree
|
commitdiff
2017-02-12
Clifford Wolf
Do not eagerly fix port widths on parameterized cells
tree
|
commitdiff
2017-02-11
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-02-11
Clifford Wolf
Fixed some "used uninitialized" warnings in opt_expr
tree
|
commitdiff
2017-02-11
Clifford Wolf
Merge branch 'master' of https://github.com/stv0g/yosys...
tree
|
commitdiff
2017-02-11
Clifford Wolf
Add optimization of (a && 1'b1) and (a || 1'b0)
tree
|
commitdiff
2017-02-11
Clifford Wolf
Merge pull request #308 from C-Elegans/opt_compare_fix_pr
tree
|
commitdiff
2017-02-10
C-Elegans
Fix issue #306, "Bug in opt -full"
tree
|
commitdiff
2017-02-09
Clifford Wolf
Fix handling of init attributes with strange width
tree
|
commitdiff
2017-02-09
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-02-04
Clifford Wolf
Add $cover cell type and SVA cover() support
tree
|
commitdiff
2017-02-01
Clifford Wolf
Update ABC scripts to use "&nf" instead of "map"
tree
|
commitdiff
2017-01-31
Clifford Wolf
Merge branch 'C-Elegans-opt_compare_pr'
tree
|
commitdiff
2017-01-31
Clifford Wolf
Fix indenting and log messages in code merged from...
tree
|
commitdiff
2017-01-31
Clifford Wolf
Merge branch 'opt_compare_pr' of https://github.com...
tree
|
commitdiff
2017-01-31
Clifford Wolf
Improve opt_rmdff support for $dlatch cells
tree
|
commitdiff
2017-01-30
C-Elegans
Refactor and generalize the comparision optimization
tree
|
commitdiff
2017-01-30
Clifford Wolf
Add $ff and $_FF_ support to equiv_simple
tree
|
commitdiff
2017-01-26
Clifford Wolf
Be more conservative with merging large cells into...
tree
|
commitdiff
2017-01-26
Clifford Wolf
Add warnings for quickly growing FSM table size in...
tree
|
commitdiff
2017-01-26
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2017-01-21
C-Elegans
Do not use b.as_int() in calculation of bit set
tree
|
commitdiff
2017-01-16
C-Elegans
Optimize compares to powers of 2
tree
|
commitdiff
2017-01-16
Clifford Wolf
Merge pull request #293 from thoughtpolice/minor-cleanup
tree
|
commitdiff
2017-01-15
Austin Seipp
passes/hierarchy: delete some dead code
tree
|
commitdiff
2017-01-15
C-Elegans
Fix issue #269, optimize signed compare with 0
tree
|
commitdiff
2017-01-05
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-01-04
Clifford Wolf
Added "check -initdrv"
tree
|
commitdiff
2017-01-01
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2017-01-01
Clifford Wolf
Added cell port resizing to hierarchy pass
tree
|
commitdiff
2016-11-30
Clifford Wolf
Added "design -reset-vlog"
tree
|
commitdiff
2016-11-29
Clifford Wolf
Improved equiv_purge log output
tree
|
commitdiff
2016-11-23
Clifford Wolf
Added wire start_offset and upto handling to splitnets cmd
tree
|
commitdiff
2016-11-19
Clifford Wolf
Merge pull request #272 from AlexDaniel/master
tree
|
commitdiff
2016-11-19
Clifford Wolf
Improved ABC default scripts
tree
|
commitdiff
2016-11-15
Clifford Wolf
Added support for hierarchical defparams
tree
|
commitdiff
2016-11-09
Clifford Wolf
Minor bugfix in submod
tree
|
commitdiff
2016-11-08
Clifford Wolf
Bugfix in "setundef" pass
tree
|
commitdiff
2016-11-05
Clifford Wolf
Implemented "scc -set_attr"
tree
|
commitdiff
2016-11-05
Clifford Wolf
Bugfix in "scc" command
tree
|
commitdiff
2016-11-02
Clifford Wolf
Bugfix in "hierarchy -check"
tree
|
commitdiff
2016-11-02
Clifford Wolf
Added support for fsm_encoding="user"
tree
|
commitdiff
2016-11-02
Clifford Wolf
Added "fsm_expand -full"
tree
|
commitdiff
2016-10-25
Clifford Wolf
Bugfix in fsm_map for FSMs without reset state
tree
|
commitdiff
2016-10-22
Clifford Wolf
Added avail params to ilang format, check module params...
tree
|
commitdiff
2016-10-19
Clifford Wolf
Added "setparam -type"
tree
|
commitdiff
2016-10-19
Andrew Zonenberg
Merge https://github.com/cliffordwolf/yosys
tree
|
commitdiff
2016-10-17
Clifford Wolf
Bugfix in "miter -assert" handling of assumptions
tree
|
commitdiff
2016-10-17
Clifford Wolf
Added clk2fflogic support for $dffsr and $dlatch
tree
|
commitdiff
2016-10-16
Clifford Wolf
Improvements and bugfixes in clk2fflogic
tree
|
commitdiff
2016-10-16
Clifford Wolf
Build fixes for VS 2015
tree
|
commitdiff
2016-10-14
Clifford Wolf
Some minor build fixes for Visual C
tree
|
commitdiff
2016-10-14
Clifford Wolf
Avoid using strcasecmp()
tree
|
commitdiff
2016-10-14
Clifford Wolf
Added clk2fflogic
tree
|
commitdiff
2016-10-14
Clifford Wolf
Added opt_rmdff support for $ff cells
tree
|
commitdiff
2016-10-14
Clifford Wolf
Added $global_clock verilog syntax support for creating...
tree
|
commitdiff
2016-10-14
Clifford Wolf
Added MEMID handling to "flatten" pass
tree
|
commitdiff
2016-10-12
Clifford Wolf
Added "zinit" pass
tree
|
commitdiff
2016-10-11
Clifford Wolf
Added $ff and $_FF_ cell types
tree
|
commitdiff
2016-09-30
Clifford Wolf
Added "opt_rmdff -keepdc"
tree
|
commitdiff
2016-09-23
Clifford Wolf
Merge branch 'master' of https://github.com/brouhaha...
tree
|
commitdiff
2016-09-19
Clifford Wolf
Cosmetic fix in test_autotb.cc
tree
|
commitdiff
2016-09-19
Clifford Wolf
Avoid creating very long strings in test_autotb
tree
|
commitdiff
2016-09-17
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2016-09-14
Clifford Wolf
Bugfix in techmap parameter handling
tree
|
commitdiff
2016-09-08
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2016-09-08
Clifford Wolf
Merge pull request #225 from Kmanfi/test
tree
|
commitdiff
2016-09-08
Kaj Tuomi
Typo fix.
tree
|
commitdiff
2016-09-07
Clifford Wolf
Improvements in assertpmux
tree
|
commitdiff
2016-09-06
Clifford Wolf
Added assertpmux
tree
|
commitdiff
2016-09-06
Clifford Wolf
Added "tee +INT -INT"
tree
|
commitdiff
2016-09-06
Clifford Wolf
Run log_flush() before solving in sat command
tree
|
commitdiff
2016-08-29
Clifford Wolf
Improved init spec handling in opt_rmdff, modernized...
tree
|
commitdiff
2016-08-28
Clifford Wolf
Removed $predict again
tree
|
commitdiff
2016-08-28
Clifford Wolf
Improved "show" help message
tree
|
commitdiff
2016-08-27
Clifford Wolf
Fixed handling of transparent bram rd ports on ROMs
tree
|
commitdiff
2016-08-22
Clifford Wolf
Fixed bug in memory_share for memory ports with differe...
tree
|
commitdiff
2016-08-20
Clifford Wolf
Added "wreduce -memx"
tree
|
commitdiff
2016-08-19
Clifford Wolf
Added memory_memx pass, "memory -memx", and "prep ...
tree
|
commitdiff
2016-08-19
Clifford Wolf
Optimize memory address port width in wreduce and memor...
tree
|
commitdiff
2016-08-18
Clifford Wolf
Bugfix in test_autotb
tree
|
commitdiff
next