Skip to content

Pgo range constraints #530

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
georgwiese wants to merge 39 commits into from
Closed

Pgo range constraints #530

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
39 commits
Select commit Hold shift + click to select a range
142b1e3
chore: use tagged openvm v1.4.0
jonathanpwang Sep 2, 2025
a86200e
keep guest as is, patch host, no apc
Schaeff Oct 9, 2025
c3f2235
updated cli, script, nad powdr
qwang98 Oct 9, 2025
d2c8105
update powdr hash with compatible serde
qwang98 Oct 9, 2025
2f3a093
compiles
Schaeff Oct 9, 2025
171f202
clean
Schaeff Oct 9, 2025
bcb61b0
activate metrics and tco
Schaeff Oct 9, 2025
2a9a152
use updated powdr to avoid relying on circuits
Schaeff Oct 10, 2025
82a69a6
add default in sh
Schaeff Oct 10, 2025
15a1cb1
update powdr and ovm
Schaeff Oct 13, 2025
166d75d
update deps
Schaeff Oct 20, 2025
8dbebfd
fmt
Schaeff Oct 20, 2025
9641a47
update ovm and powdr
Schaeff Oct 20, 2025
3ec7a9c
update stark-backend, openvm, powdr
leonardoalt Oct 22, 2025
91520ab
update to powdr main
leonardoalt Oct 22, 2025
d7d0267
update powdr
leonardoalt Oct 22, 2025
9539ad5
update openvm and powdr
leonardoalt Oct 24, 2025
15d1662
fix powdr hash
leonardoalt Oct 24, 2025
7dce1f1
actually run apcs (#38)
Schaeff Oct 28, 2025
0817cc2
Cache apc compilation output (#37)
Schaeff Oct 29, 2025
238fb4f
rpc-cache for testing (#39)
leonardoalt Oct 29, 2025
6c192cd
merge 1.4.1-upstream
qwang98 Oct 30, 2025
79066d7
fix some compilation
qwang98 Oct 30, 2025
f81c8e7
updated binary 23100006.bin because formatting seem to have changed i…
qwang98 Oct 30, 2025
c46c2cb
gpu compile works
qwang98 Oct 30, 2025
34c4239
feature gate some types to avoid warning
qwang98 Oct 30, 2025
667ff5b
comment out MODE
qwang98 Oct 30, 2025
cb80f58
delete old rpc cache
qwang98 Oct 30, 2025
ca89899
remove tco from run sh features
qwang98 Oct 30, 2025
5455f0d
updated tag
qwang98 Oct 30, 2025
8b23057
fix bug and remove rpc cache
leonardoalt Oct 30, 2025
c122f3a
update to powdr main hash after ovm 1.4.1 merge
leonardoalt Oct 31, 2025
36bd5d2
update powdr hash
leonardoalt Oct 31, 2025
d55ca6d
update cargo lock
leonardoalt Nov 1, 2025
6908ccf
remove plonk (#41)
Schaeff Nov 3, 2025
0b5b0cb
Mock prover mode (#42)
qwang98 Nov 4, 2025
768d8c9
apc cache file name (#43)
pacheco Nov 4, 2025
64cdc96
use simpler ovm compilation (#44)
Schaeff Nov 8, 2025
3a5575c
Fix compile error, include debug info
georgwiese Nov 20, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions .cargo/config.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -63,3 +63,10 @@
# openvm-keccak256 = { git = "ssh://[email protected]/openvm-org/openvm.git", branch = "main" }
# openvm-sha2 = { git = "ssh://[email protected]/openvm-org/openvm.git", branch = "main" }
# openvm-pairing = { git = "ssh://[email protected]/openvm-org/openvm.git", branch = "main" }

[patch."https://github.com/powdr-labs/powdr.git"]
powdr-openvm = { path = "../openvm" }
powdr-riscv-elf = { path = "../riscv-elf" }
powdr-number = { path = "../number" }
powdr-autoprecompiles = { path = "../autoprecompiles" }
powdr-openvm-hints-circuit = { path = "../openvm/extensions/hints-circuit" }
3 changes: 3 additions & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,9 @@ elf

**/rpc-cache

# APC compilation output
**/apc-cache

# Metrics
metrics.json

Expand Down
Loading