components: impl From<Vec<Registers>> for InstructionTable

kkrt-labs · Nov 8, 2024 · 52549b3 · 52549b3
1 parent ce96fd8
commit 52549b3
Show file tree

Hide file tree

Showing 5 changed files with 371 additions and 0 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -36,6 +36,8 @@ default_trait_access = "allow"
 module_name_repetitions = "allow"
 
 [workspace.dependencies]
+brainfuck_vm = { path = "crates/brainfuck_vm" }
+brainfuck_prover = { path = "crates/brainfuck_prover" }
 clap = { version = "4.3.10", features = ["derive"] }
 stwo-prover = { git = "https://github.com/starkware-libs/stwo", rev = "f6214d1" }
 tracing = "0.1"

diff --git a/crates/brainfuck_prover/Cargo.toml b/crates/brainfuck_prover/Cargo.toml
@@ -11,3 +11,4 @@ workspace = true
 [dependencies]
 stwo-prover.workspace = true
 num-traits.workspace = true
+brainfuck_vm.workspace = true