Skip to content

Commit

Permalink
feature defs & clippy
Browse files Browse the repository at this point in the history
  • Loading branch information
Okm165 committed Dec 5, 2024
1 parent 3fdb79c commit f3afc19
Show file tree
Hide file tree
Showing 5 changed files with 8 additions and 7 deletions.
1 change: 0 additions & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,6 @@ version = "0.1.3"
async-process = "2.2.0"
async-stream = "0.3.5"
bincode = "1.3"
cairo-proof-parser = { git = "https://github.com/Okm165/cairo-proof-parser", rev = "97a04bbee07330311b38d6f4cecfed3acb237626" }
cairo-vm = { git = "https://github.com/lambdaclass/cairo-vm.git", tag = "v1.0.0-rc3" }
futures = "0.3.30"
futures-core = "0.3.30"
Expand Down
5 changes: 4 additions & 1 deletion crates/compiler/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -23,4 +23,7 @@ starknet-crypto.workspace = true
tempfile.workspace = true
thiserror.workspace = true
tokio.workspace = true
tracing.workspace = true
tracing.workspace = true

[features]
full_test = []
1 change: 0 additions & 1 deletion crates/prover/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,6 @@ version.workspace = true
hex.workspace = true
libp2p.workspace = true
async-process.workspace = true
cairo-proof-parser.workspace = true
futures.workspace= true
itertools.workspace = true
serde_json.workspace = true
Expand Down
6 changes: 3 additions & 3 deletions crates/runner/build.rs
Original file line number Diff line number Diff line change
Expand Up @@ -24,10 +24,10 @@ fn main() {
// Compile Bootloader
Command::new("cairo-compile")
.arg("--cairo_path")
.arg(&workspace_root.join(&cairo_path))
.arg(&workspace_root.join(&cairo_path).join(bootloader_path))
.arg(workspace_root.join(&cairo_path))
.arg(workspace_root.join(&cairo_path).join(bootloader_path))
.arg("--output")
.arg(&out_dir.join(bootloader_out_name))
.arg(out_dir.join(bootloader_out_name))
.arg("--proof_mode")
.arg("--no_debug_info")
.output()
Expand Down
2 changes: 1 addition & 1 deletion rust-toolchain.toml
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
[toolchain]
channel = "1.79.0"
channel = "1.82.0"
components = ["rustfmt", "clippy"]
profile = "minimal"

Expand Down

0 comments on commit f3afc19

Please sign in to comment.