summaryrefslogtreecommitdiffstats
path: root/src/proof/int
Commit message (Expand)AuthorAgeFilesLines
* Trying to fix a false-positive due to incorrect inductive termination check i...Alan Mishchenko2012-02-011-3/+9
* Major restructuring of the code.Alan Mishchenko2012-01-2114-0/+2926