summaryrefslogtreecommitdiffstats
path: root/src/proof/cec/cecIso.c
Commit message (Expand)AuthorAgeFilesLines
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-171-1/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+375