summaryrefslogtreecommitdiffstats
path: root/src/proof/acec/acecPa.c
Commit message (Expand)AuthorAgeFilesLines
* Analysis of arithmetic logic cones.Alan Mishchenko2016-12-041-2/+2
* Changes to arithmetic logic detection.Alan Mishchenko2016-12-021-0/+282