summaryrefslogtreecommitdiffstats
path: root/src/proof/acec/acecCo.c
Commit message (Collapse)AuthorAgeFilesLines
* Compiler warnings.Alan Mishchenko2017-01-071-1/+1
|
* Analysis of arithmetic logic cones.Alan Mishchenko2016-12-041-2/+2
|
* Changes to arithmetic logic detection.Alan Mishchenko2016-12-021-37/+109
|
* Small changes in handling arithmetic logic.Alan Mishchenko2016-11-301-2/+8
|
* Updates to arithmetic verification.Alan Mishchenko2016-10-091-16/+50
|
* Experimental code for polynomial construction.Alan Mishchenko2016-09-051-1/+1
|
* Experimental code for polynomial construction.Alan Mishchenko2016-09-051-0/+317