summaryrefslogtreecommitdiffstats
path: root/src/proof/cec/cecSolve.c
Commit message (Expand)AuthorAgeFilesLines
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-31/+31
* Unifification of custom extensions.Alan Mishchenko2012-12-101-1/+1
* Bug fix: no need to normalize const0 node.Alan Mishchenko2012-09-171-2/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-6/+11
* Bug fix for incorrect memory allocation in main SAT solver, leading to crashe...Alan Mishchenko2012-01-231-1/+1
* Bug fix for incorrect memory allocation in main SAT solver, leading to crashe...Alan Mishchenko2012-01-221-1/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+1023