summaryrefslogtreecommitdiffstats
path: root/src/proof/acec
Commit message (Expand)AuthorAgeFilesLines
* Experimental code for polynomial construction.Alan Mishchenko2016-09-052-2/+1
* Experimental code for polynomial construction.Alan Mishchenko2016-09-052-0/+320
* Experimental code for polynomial construction.Alan Mishchenko2016-09-032-0/+1000
* Updates to arithmetic verification.Alan Mishchenko2016-08-051-35/+54
* Updates to arithmetic verification.Alan Mishchenko2016-08-055-9/+313
* Small changes for today's experiments.Alan Mishchenko2016-06-031-2/+2
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-116-66/+150
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-086-114/+198
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-071-1/+1
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-079-0/+2080