Skip to content

A
abc
Switch branch/tag
Find file
Normal viewHistoryPermalink
module.make 296 Bytes
Newer Older
Experiments with CEC for arithmetic circuits.
4771b598
 
Alan Mishchenko committed
1 
SRC +=    src/proof/acec/acecCore.c \
Experimental code for polynomial construction.
198fe994
 
Alan Mishchenko committed
2 3 4 
    src/proof/acec/acecCo.c \
    src/proof/acec/acecRe.c \
    src/proof/acec/acecPo.c \
Updates to arithmetic verification.
27929795
 
Alan Mishchenko committed
5 
    src/proof/acec/acecCover.c \
Experiments with CEC for arithmetic circuits.
236d4122
 
Alan Mishchenko committed
6 7 8 9 
    src/proof/acec/acecFadds.c \
    src/proof/acec/acecOrder.c \
    src/proof/acec/acecPolyn.c \
    src/proof/acec/acecUtil.c