@@ -114,40 +114,40 @@ iter_over_hash_type = "deny"
114114
115115# Uncomment both patches below for local stark-backend and openvm.
116116# The local openvm also needs to have stark-backend patched so all types match.
117- # [patch."https://github.com/powdr-labs/stark-backend.git"]
118- # openvm-stark-sdk = { path = "../stark-backend/crates/stark-sdk", default-features = false }
119- # openvm-stark-backend = { path = "../stark-backend/crates/stark-backend", default-features = false }
120- # openvm-cuda-backend = { path = "../stark-backend/crates/cuda-backend", default-features = false }
121- # openvm-cuda-builder = { path = "../stark-backend/crates/cuda-builder", default-features = false }
122- # openvm-cuda-common = { path = "../stark-backend/crates/cuda-common", default-features = false }
117+ [patch ."https://github .com/powdr-labs/stark-backend .git" ]
118+ openvm-stark-sdk = { path = " ../stark-backend/crates/stark-sdk" , default-features = false }
119+ openvm-stark-backend = { path = " ../stark-backend/crates/stark-backend" , default-features = false }
120+ openvm-cuda-backend = { path = " ../stark-backend/crates/cuda-backend" , default-features = false }
121+ openvm-cuda-builder = { path = " ../stark-backend/crates/cuda-builder" , default-features = false }
122+ openvm-cuda-common = { path = " ../stark-backend/crates/cuda-common" , default-features = false }
123123
124- # [patch."https://github.com/powdr-labs/openvm.git"]
125- # openvm = { path = "../openvm/crates/toolchain/openvm" }
126- # openvm-build = { path = "../openvm/crates/toolchain/build" }
127- # openvm-rv32im-circuit = { path = "../openvm/extensions/rv32im/circuit/" }
128- # openvm-rv32im-transpiler = { path = "../openvm/extensions/rv32im/transpiler" }
129- # openvm-rv32im-guest = { path = "../openvm/extensions/rv32im/guest" }
130- # openvm-transpiler = { path = "../openvm/crates/toolchain/transpiler" }
131- # openvm-circuit = { path = "../openvm/crates/vm" }
132- # openvm-circuit-derive = { path = "../openvm/crates/vm/derive" }
133- # openvm-circuit-primitives = { path = "../openvm/crates/circuits/primitives" }
134- # openvm-circuit-primitives-derive = { path = "../openvm/crates/circuits/primitives/derive" }
135- # openvm-instructions = { path = "../openvm/crates/toolchain/instructions" }
136- # openvm-instructions-derive = { path = "../openvm/crates/toolchain/instructions/derive" }
137- # openvm-sdk = { path = "../openvm/crates/sdk" }
138- # openvm-ecc-circuit = { path = "../openvm/extensions/ecc/circuit" }
139- # openvm-ecc-transpiler = { path = "../openvm/extensions/ecc/transpiler" }
140- # openvm-keccak256-circuit = { path = "../openvm/extensions/keccak256/circuit" }
141- # openvm-keccak256-transpiler = { path = "../openvm/extensions/keccak256/transpiler" }
142- # openvm-sha256-circuit = { path = "../openvm/extensions/sha256/circuit" }
143- # openvm-sha256-transpiler = { path = "../openvm/extensions/sha256/transpiler" }
144- # openvm-algebra-circuit = { path = "../openvm/extensions/algebra/circuit" }
145- # openvm-algebra-transpiler = { path = "../openvm/extensions/algebra/transpiler" }
146- # openvm-bigint-circuit = { path = "../openvm/extensions/bigint/circuit" }
147- # openvm-bigint-transpiler = { path = "../openvm/extensions/bigint/transpiler" }
148- # openvm-pairing-circuit = { path = "../openvm/extensions/pairing/circuit" }
149- # openvm-pairing-transpiler = { path = "../openvm/extensions/pairing/transpiler" }
150- # openvm-native-circuit = { path = "../openvm/extensions/native/circuit" }
151- # openvm-native-recursion = { path = "../openvm/extensions/native/recursion" }
152- # openvm-platform = { path = "../openvm/crates/toolchain/platform" }
153- # openvm-custom-insn = { path = "../openvm/crates/toolchain/custom_insn" }
124+ [patch ."https://github .com/powdr-labs/openvm .git" ]
125+ openvm = { path = " ../openvm/crates/toolchain/openvm" }
126+ openvm-build = { path = " ../openvm/crates/toolchain/build" }
127+ openvm-rv32im-circuit = { path = " ../openvm/extensions/rv32im/circuit/" }
128+ openvm-rv32im-transpiler = { path = " ../openvm/extensions/rv32im/transpiler" }
129+ openvm-rv32im-guest = { path = " ../openvm/extensions/rv32im/guest" }
130+ openvm-transpiler = { path = " ../openvm/crates/toolchain/transpiler" }
131+ openvm-circuit = { path = " ../openvm/crates/vm" }
132+ openvm-circuit-derive = { path = " ../openvm/crates/vm/derive" }
133+ openvm-circuit-primitives = { path = " ../openvm/crates/circuits/primitives" }
134+ openvm-circuit-primitives-derive = { path = " ../openvm/crates/circuits/primitives/derive" }
135+ openvm-instructions = { path = " ../openvm/crates/toolchain/instructions" }
136+ openvm-instructions-derive = { path = " ../openvm/crates/toolchain/instructions/derive" }
137+ openvm-sdk = { path = " ../openvm/crates/sdk" }
138+ openvm-ecc-circuit = { path = " ../openvm/extensions/ecc/circuit" }
139+ openvm-ecc-transpiler = { path = " ../openvm/extensions/ecc/transpiler" }
140+ openvm-keccak256-circuit = { path = " ../openvm/extensions/keccak256/circuit" }
141+ openvm-keccak256-transpiler = { path = " ../openvm/extensions/keccak256/transpiler" }
142+ openvm-sha256-circuit = { path = " ../openvm/extensions/sha256/circuit" }
143+ openvm-sha256-transpiler = { path = " ../openvm/extensions/sha256/transpiler" }
144+ openvm-algebra-circuit = { path = " ../openvm/extensions/algebra/circuit" }
145+ openvm-algebra-transpiler = { path = " ../openvm/extensions/algebra/transpiler" }
146+ openvm-bigint-circuit = { path = " ../openvm/extensions/bigint/circuit" }
147+ openvm-bigint-transpiler = { path = " ../openvm/extensions/bigint/transpiler" }
148+ openvm-pairing-circuit = { path = " ../openvm/extensions/pairing/circuit" }
149+ openvm-pairing-transpiler = { path = " ../openvm/extensions/pairing/transpiler" }
150+ openvm-native-circuit = { path = " ../openvm/extensions/native/circuit" }
151+ openvm-native-recursion = { path = " ../openvm/extensions/native/recursion" }
152+ openvm-platform = { path = " ../openvm/crates/toolchain/platform" }
153+ openvm-custom-insn = { path = " ../openvm/crates/toolchain/custom_insn" }
0 commit comments