summaryrefslogtreecommitdiffstats
path: root/src/proof/acec/acecBo.c
Commit message (Expand)AuthorAgeFilesLines
* Several changes in arithmetic circuit manipulation.Alan Mishchenko2016-12-221-0/+216