aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/sigtools.h
Commit message (Expand)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