sv: More tests for wildcard port connections
[yosys.git] / manual / CHAPTER_Optimize.tex
2016-07-08 Clifford WolfAdded warning about adding fsm_encoding attributes...
2016-07-08 Clifford WolfMerge branch 'yosys-0.5-vtr' of https://github.com...
2016-04-01 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2016-03-31 Clifford WolfRenamed opt_share to opt_merge
2016-03-31 Clifford WolfRenamed opt_const to opt_expr
2015-08-14 Clifford WolfSpell check (by Larry Doolittle)
2015-07-02 Clifford WolfFixed trailing whitespaces
2014-09-22 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol...
2014-08-15 Clifford WolfRemoved old doc references to $safe_pmux
2013-07-20 Clifford WolfAdded Yosys Manual