Clifford Wolf fa103e55ad Merge branch 'btor' of https://github.com/ahmedirfan1983/yosys

2014-01-26 02:29:19 +01:00

..

autotest

Fixed gentb_constant handling in autotest backend

2013-12-04 09:09:42 +01:00

blif

Added "top" attribute to mark top module in hierarchy

2013-11-24 05:03:43 +01:00

btor

root bug corrected

2014-01-25 19:33:24 +01:00

edif

Replaced RTLIL::Const::str with generic decoder method

2013-12-04 14:14:05 +01:00

ilang

Updated manual/command-reference-manual.tex

2013-12-28 12:14:47 +01:00

intersynth

beautified write_intersynth

2014-01-25 20:16:38 +01:00

spice

Added "top" attribute to mark top module in hierarchy

2013-11-24 05:03:43 +01:00

verilog

Added support for non-const === and !== (for miter circuits)

2013-12-27 14:20:15 +01:00