Aleo VM interpretation and misc

ProvableHQ · Nov 21, 2024 · b2f7fd7 · b2f7fd7
1 parent 148183f
commit b2f7fd7
Show file tree

Hide file tree

Showing 8 changed files with 2,371 additions and 1,166 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -111,7 +111,6 @@ default-features = false
 version = "1.11.1"
 
 [workspace.dependencies.snarkvm]
-# path = "../SnarkVM"
 version = "1.0.0"
 
 [workspace.dependencies.serde]

diff --git a/interpreter/Cargo.toml b/interpreter/Cargo.toml
@@ -18,11 +18,14 @@ license = "GPL-3.0"
 edition = "2021"
 rust-version = "1.82.0"
 
+[dependencies.snarkvm]
+workspace = true
+
 [dependencies.snarkvm-circuit]
 version = "1.0.0"
 
-[dependencies.snarkvm]
-workspace = true
+[dependencies.snarkvm-synthesizer-program]
+version = "1.0.0"
 
 [dependencies.leo-ast]
 workspace = true