aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/sigtools.h
Commit message (Collapse)AuthorAgeFilesLines
* Some fixes to improve determinismClifford Wolf2013-08-091-2/+2
|
* Fixed SigPool::del() methodClifford Wolf2013-08-061-1/+1
|
* Improved auto-detection of -show signals in sat_solveClifford Wolf2013-06-081-0/+24
|
* Added additional functionality and cleanups in sigtools.h and celltypes.hClifford Wolf2013-03-151-0/+24
|
* Implemented basic functionality of "extract" passClifford Wolf2013-02-271-0/+14
|
* initial importClifford Wolf2013-01-051-0/+415