summaryrefslogtreecommitdiffstats
path: root/src/proof/cec/cecCorr.c
Commit message (Expand)AuthorAgeFilesLines
* Disallow the circiut-based solver in &scorr to run with more than 1000 confli...Alan Mishchenko2012-04-241-0/+3
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-1/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+1137