summaryrefslogtreecommitdiffstats
path: root/src/proof/ssw/sswMan.c
Commit message (Expand)AuthorAgeFilesLines
* Replaced printfs with Abc_PrintNiklas Een2012-10-291-19/+18
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-091-1/+1
* Renamed Aig_ObjPioNum to be Aig_ObjCioId.Alan Mishchenko2012-03-091-1/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+218