summaryrefslogtreecommitdiffstats
path: root/src/proof/acec/acecCo.c
Commit message (Expand)AuthorAgeFilesLines
* 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