5 commits

Author	SHA1	Message	Date
Clifford Wolf	117489f95a	Fixed SigPool::del() method	2013-08-06 15:04:24 +02:00
Clifford Wolf	c681c17038	Improved auto-detection of -show signals in sat_solve	2013-06-08 09:34:36 +02:00
Clifford Wolf	89f009d171	Added additional functionality and cleanups in sigtools.h and celltypes.h	2013-03-15 10:22:23 +01:00
Clifford Wolf	f28b6aff40	Implemented basic functionality of "extract" pass	2013-02-27 16:27:20 +01:00
Clifford Wolf	7764d0ba1d	initial import	2013-01-05 11:13:26 +01:00