summaryrefslogtreecommitdiffstats
path: root/src/proof/int/intUtil.c
Commit message (Collapse)AuthorAgeFilesLines
* Compiler warnings.Alan Mishchenko2014-11-291-1/+1
|
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-251-1/+1
|
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-4/+4
|
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-2/+2
|
* Major restructuring of the code.Alan Mishchenko2012-01-211-0/+108