summaryrefslogtreecommitdiffstats
path: root/src/proof/acec/acecPo.c
Commit message (Expand)AuthorAgeFilesLines
* Updates to arithmetic verification.Alan Mishchenko2016-10-091-22/+114
* Experimental code for polynomial construction.Alan Mishchenko2016-09-051-1/+0
* Experimental code for polynomial construction.Alan Mishchenko2016-09-031-0/+564