Johann Glaser e9a2094774 enabled multiple "-map" for the extract pass

2014-01-25 21:11:34 +01:00

..

abc

Fixed use of limited length buffer in ABC blif parser

2013-12-31 21:58:35 +01:00

cmds

Improved setundef random number generator

2014-01-18 02:56:36 +01:00

extract

enabled multiple "-map" for the extract pass

2014-01-25 21:11:34 +01:00

fsm

Fixes in fsm detect/extract for better detection of non-fsm circuits

2013-12-06 12:53:20 +01:00

hierarchy

Include unistd.h in passes/hierarchy/hierarchy.cc (required for access(3))

2014-01-14 20:12:45 +01:00

memory

Added automatic memid generation to memory_unpack command

2014-01-17 00:15:15 +01:00

opt

Added $assert cell

2014-01-19 14:03:40 +01:00

proc

Tiny cleanup in proc_mux.cc

2014-01-03 16:54:59 +01:00

sat

Added sat -tempinduc and sat -prove-asserts

2014-01-19 16:35:17 +01:00

scc

fixed typos

2013-03-18 07:28:31 +01:00

submod

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

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

techmap

Added support for // comments in liberty parser

2014-01-25 06:32:16 +01:00