Clifford Wolf 641501203c Added some additional log messages to opt_const

2014-08-24 17:08:43 +02:00

..

abc

Added additional gate types: $_NAND_ $_NOR_ $_XNOR_ $_AOI3_ $_OAI3_ $_AOI4_ $_OAI4_

2014-08-16 18:29:39 +02:00

cmds

Changed frontend-api from FILE to std::istream

2014-08-23 15:03:55 +02:00

fsm

Added module->uniquify()

2014-08-16 23:50:36 +02:00

hierarchy

Added module->ports

2014-08-14 16:22:52 +02:00

memory

Various improvements in memory_dff pass

2014-08-06 14:31:38 +02:00

opt

Added some additional log messages to opt_const

2014-08-24 17:08:43 +02:00

proc

Fixed handling of constant-true branches in proc_clean

2014-08-12 17:35:22 +02:00

sat

azonenberg: Make dump_vcd save model when temporal induction fails due to step limit

2014-08-24 13:27:40 +02:00

techmap

Only call proc_share_dirname() in techmap when necessary

2014-08-23 15:32:00 +02:00

tests

Changed backend-api from FILE to std::ostream

2014-08-23 13:54:21 +02:00