Skip to content

Commit

Permalink
chore: Use newer stwo (#137)
Browse files Browse the repository at this point in the history
because logup API changed a bit.

Especially, I want to use LogupTraceGenerator::finalize_at() for
debugging a problem locally.
  • Loading branch information
yoichi-nexus authored and sjudson committed Feb 12, 2025
1 parent 0bac97a commit c544e90
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ clap = { version = "4.3", features = ["derive"] }
num-traits = "0.2"
num-derive = "0.4.2"
serde = { version = "1.0", features = ["derive"] }
stwo-prover = { git = "https://github.com/starkware-libs/stwo", rev = "f7871979e6ea8e606dc4674301b7d8b28b5838ed" }
stwo-prover = { git = "https://github.com/starkware-libs/stwo", rev = "f1f1d184b3b9f3db8622063659c1b824fb5ccc54" }

[profile.release]
codegen-units = 1
Expand Down

0 comments on commit c544e90

Please sign in to comment.