Clifford Wolf d98d99aec6 Added "abc -g"

2015-11-10 11:10:11 +01:00

..

cmds

Import more std:: stuff into Yosys namespace

2015-10-25 19:30:49 +01:00

equiv

Use mfp<> in equiv_mark

2015-10-27 19:15:35 +01:00

fsm

Import more std:: stuff into Yosys namespace

2015-10-25 19:30:49 +01:00

hierarchy

Added "singleton" pass

2015-11-07 19:10:43 +01:00

memory

Bugfix in memory_dff

2015-10-31 22:01:41 +01:00

opt

Improvements in wreduce

2015-10-31 13:39:30 +01:00

proc

Re-created command-reference-manual.tex, copied some doc fixes to online help

2015-08-14 11:27:19 +02:00

sat

Import more std:: stuff into Yosys namespace

2015-10-25 19:30:49 +01:00

techmap

Added "abc -g"

2015-11-10 11:10:11 +01:00

tests

Import more std:: stuff into Yosys namespace

2015-10-25 19:30:49 +01:00