Revert "EXP constraints final version (#93)"

This reverts commit 87025d3.
Consensys · Feb 20, 2024 · f844b8b · f844b8b
1 parent 87025d3
commit f844b8b
Show file tree

Hide file tree

Showing 5 changed files with 1 addition and 515 deletions.
diff --git a/Makefile b/Makefile
@@ -81,8 +81,6 @@ WCP := wcp/columns.lisp wcp/constraints.lisp \
 
 MODEXP_DATA := modexpdata/
 
-EXP := exp/columns.lisp exp/constraints.lisp exp/constants.lisp exp/exp-into-wcp.lisp
-
 ZKEVM_MODULES := ${ALU} \
 	${BIN} \
 	${EC_DATA} \
@@ -105,8 +103,7 @@ ZKEVM_MODULES := ${ALU} \
 	${TABLES} \
 	${TRM} \
 	${TXN_DATA} \
-	${WCP} \
-	${EXP}
+	${WCP}
 
 define.go: ${ZKEVM_MODULES}
 	${CORSET} wizard-iop -vv -P define -o $@ ${ZKEVM_MODULES}

diff --git a/exp/columns.lisp b/exp/columns.lisp
diff --git a/exp/constants.lisp b/exp/constants.lisp