summaryrefslogtreecommitdiffstats
path: root/src/proof/acec
Commit message (Collapse)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