File tree Expand file tree Collapse file tree 1 file changed +8
-1
lines changed
Expand file tree Collapse file tree 1 file changed +8
-1
lines changed Original file line number Diff line number Diff line change @@ -5,7 +5,13 @@ rust-version = "1.87"
55license = " MIT OR Apache-2.0"
66
77[workspace ]
8- members = [" crates/leanIsa" , " crates/leanSnark" , " crates/leanVm" ]
8+ members = [
9+ " crates/leanIsa" ,
10+ " crates/leanLookup" ,
11+ " crates/leanSnark" ,
12+ " crates/leanVm" ,
13+ " crates/leanLookup" ,
14+ ]
915resolver = " 3"
1016
1117[workspace .lints ]
@@ -35,6 +41,7 @@ cast_sign_loss = "allow"
3541lean-isa = { path = " crates/leanIsa" }
3642lean-snark = { path = " crates/leanSnark" }
3743lean-vm = { path = " crates/leanVm" }
44+ lean-lookup = { path = " crates/leanLookup" }
3845
3946p3-field = { git = " https://github.com/Plonky3/Plonky3.git" , rev = " 5ebf8e4" }
4047p3-symmetric = { git = " https://github.com/Plonky3/Plonky3.git" , rev = " 5ebf8e4" }
You can’t perform that action at this time.
0 commit comments