greenpak4_counters: Changed generation of primitive names so that the absorbed regist...
[yosys.git] / passes /
2017-06-20 Clifford WolfFix handling of init values in "abc -dff" and "abc...
2017-06-20 Clifford WolfSwitched abc "clock domain not found" error to log_cmd_...
2017-05-28 Clifford WolfAdd "setundef -anyseq"
2017-05-28 Clifford WolfImprove write_aiger handling of unconnected nets and...
2017-05-24 Clifford WolfAdd aliases for common sets of gate types to "abc -g"
2017-05-17 Clifford WolfAdd $_ANDNOT_ and $_ORNOT_ gates
2017-04-28 Clifford WolfFix equiv_simple, old behavior now available with ...
2017-04-12 Larry DoolittleSquelch trailing whitespace
2017-04-05 Clifford WolfFix gcc compiler warning
2017-02-28 Clifford WolfDisable opt_merge for $anyseq and $anyconst
2017-02-27 Clifford WolfAdd "chformal -assert2assume" and friends
2017-02-27 Clifford WolfAdd "chformal" pass
2017-02-25 Clifford WolfMerge branch 'master' of https://github.com/klammerj...
2017-02-25 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys
2017-02-25 Clifford WolfAdd $live and $fair cell types, add support for s_event...
2017-02-16 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2017-02-16 Clifford WolfCopy attributes to _TECHMAP_REPLACE_ cells
2017-02-14 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2017-02-13 Clifford WolfDo not fix port widths on any blackbox instances
2017-02-13 Clifford WolfFix techmap for inout ports connected to inout ports
2017-02-12 Clifford WolfDo not eagerly fix port widths on parameterized cells
2017-02-11 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2017-02-11 Clifford WolfFixed some "used uninitialized" warnings in opt_expr
2017-02-11 Clifford WolfMerge branch 'master' of https://github.com/stv0g/yosys...
2017-02-11 Clifford WolfAdd optimization of (a && 1'b1) and (a || 1'b0)
2017-02-11 Clifford WolfMerge pull request #308 from C-Elegans/opt_compare_fix_pr
2017-02-10 C-ElegansFix issue #306, "Bug in opt -full"
2017-02-09 Clifford WolfFix handling of init attributes with strange width
2017-02-09 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2017-02-04 Clifford WolfAdd $cover cell type and SVA cover() support
2017-02-01 Clifford WolfUpdate ABC scripts to use "&nf" instead of "map"
2017-01-31 Clifford WolfMerge branch 'C-Elegans-opt_compare_pr'
2017-01-31 Clifford WolfFix indenting and log messages in code merged from...
2017-01-31 Clifford WolfMerge branch 'opt_compare_pr' of https://github.com...
2017-01-31 Clifford WolfImprove opt_rmdff support for $dlatch cells
2017-01-30 C-ElegansRefactor and generalize the comparision optimization
2017-01-30 Clifford WolfAdd $ff and $_FF_ support to equiv_simple
2017-01-26 Clifford WolfBe more conservative with merging large cells into...
2017-01-26 Clifford WolfAdd warnings for quickly growing FSM table size in...
2017-01-26 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys
2017-01-21 C-ElegansDo not use b.as_int() in calculation of bit set
2017-01-16 C-ElegansOptimize compares to powers of 2
2017-01-16 Clifford WolfMerge pull request #293 from thoughtpolice/minor-cleanup
2017-01-15 Austin Seipppasses/hierarchy: delete some dead code
2017-01-15 C-ElegansFix issue #269, optimize signed compare with 0
2017-01-05 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2017-01-04 Clifford WolfAdded "check -initdrv"
2017-01-01 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2017-01-01 Clifford WolfAdded cell port resizing to hierarchy pass
2016-11-30 Clifford WolfAdded "design -reset-vlog"
2016-11-29 Clifford WolfImproved equiv_purge log output
2016-11-23 Clifford WolfAdded wire start_offset and upto handling to splitnets cmd
2016-11-19 Clifford WolfMerge pull request #272 from AlexDaniel/master
2016-11-19 Clifford WolfImproved ABC default scripts
2016-11-15 Clifford WolfAdded support for hierarchical defparams
2016-11-09 Clifford WolfMinor bugfix in submod
2016-11-08 Clifford WolfBugfix in "setundef" pass
2016-11-05 Clifford WolfImplemented "scc -set_attr"
2016-11-05 Clifford WolfBugfix in "scc" command
2016-11-02 Clifford WolfBugfix in "hierarchy -check"
2016-11-02 Clifford WolfAdded support for fsm_encoding="user"
2016-11-02 Clifford WolfAdded "fsm_expand -full"
2016-10-25 Clifford WolfBugfix in fsm_map for FSMs without reset state
2016-10-22 Clifford WolfAdded avail params to ilang format, check module params...
2016-10-19 Clifford WolfAdded "setparam -type"
2016-10-19 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2016-10-17 Clifford WolfBugfix in "miter -assert" handling of assumptions
2016-10-17 Clifford WolfAdded clk2fflogic support for $dffsr and $dlatch
2016-10-16 Clifford WolfImprovements and bugfixes in clk2fflogic
2016-10-16 Clifford WolfBuild fixes for VS 2015
2016-10-14 Clifford WolfSome minor build fixes for Visual C
2016-10-14 Clifford WolfAvoid using strcasecmp()
2016-10-14 Clifford WolfAdded clk2fflogic
2016-10-14 Clifford WolfAdded opt_rmdff support for $ff cells
2016-10-14 Clifford WolfAdded $global_clock verilog syntax support for creating...
2016-10-14 Clifford WolfAdded MEMID handling to "flatten" pass
2016-10-12 Clifford WolfAdded "zinit" pass
2016-10-11 Clifford WolfAdded $ff and $_FF_ cell types
2016-09-30 Clifford WolfAdded "opt_rmdff -keepdc"
2016-09-23 Clifford WolfMerge branch 'master' of https://github.com/brouhaha...
2016-09-19 Clifford WolfCosmetic fix in test_autotb.cc
2016-09-19 Clifford WolfAvoid creating very long strings in test_autotb
2016-09-17 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys
2016-09-14 Clifford WolfBugfix in techmap parameter handling
2016-09-08 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys
2016-09-08 Clifford WolfMerge pull request #225 from Kmanfi/test
2016-09-08 Kaj TuomiTypo fix.
2016-09-07 Clifford WolfImprovements in assertpmux
2016-09-06 Clifford WolfAdded assertpmux
2016-09-06 Clifford WolfAdded "tee +INT -INT"
2016-09-06 Clifford WolfRun log_flush() before solving in sat command
2016-08-29 Clifford WolfImproved init spec handling in opt_rmdff, modernized...
2016-08-28 Clifford WolfRemoved $predict again
2016-08-28 Clifford WolfImproved "show" help message
2016-08-27 Clifford WolfFixed handling of transparent bram rd ports on ROMs
2016-08-22 Clifford WolfFixed bug in memory_share for memory ports with differe...
2016-08-20 Clifford WolfAdded "wreduce -memx"
2016-08-19 Clifford WolfAdded memory_memx pass, "memory -memx", and "prep ...
2016-08-19 Clifford WolfOptimize memory address port width in wreduce and memor...
2016-08-18 Clifford WolfBugfix in test_autotb
next