Skip to content

Commit 234fe4f

Browse files
committed
Remove IVC create: it is unused and will never be used
1 parent b8fd13c commit 234fe4f

28 files changed

+0
-8354
lines changed

Cargo.lock

Lines changed: 0 additions & 25 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Cargo.toml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,6 @@ members = [
88
"groupmap",
99
"hasher",
1010
"internal-tracing",
11-
"ivc",
1211
"kimchi",
1312
"kimchi-stubs",
1413
"msm",

ivc/Cargo.toml

Lines changed: 0 additions & 28 deletions
This file was deleted.

ivc/README.md

Lines changed: 0 additions & 13 deletions
This file was deleted.

ivc/src/expr_eval.rs

Lines changed: 0 additions & 192 deletions
This file was deleted.

0 commit comments

Comments
 (0)