Merge branch 'main' into ec_mul_inner

lambdaclass · Sep 27, 2023 · ea6121e · ea6121e
2 parents 93cf966 + 8a6c949
commit ea6121e
Show file tree

Hide file tree

Showing 61 changed files with 3,591 additions and 330 deletions.
diff --git a/Makefile b/Makefile
@@ -104,6 +104,7 @@ clean:
 
 clean_files:
 	rm -f $(TEST_DIR)/*.json
+	rm -f $(TEST_DIR)/proof_programs/*.json
 	rm -f $(TEST_DIR)/*.memory
 	rm -f $(TEST_DIR)/*.trace