Skip to content
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

make the RISCV executor look at the optimized PIL for link information #2232

Merged
merged 39 commits into from
Dec 17, 2024
Merged

make the RISCV executor look at the optimized PIL for link information #2232

Changes from 1 commit
Commits
Show all changes
39 commits
Select commit Hold shift + click to select a range
2086f2a
save events
pacheco Dec 6, 2024
3c28b65
placeholder
pacheco Dec 6, 2024
eb124a9
change submachine.add_operation to just take `&[F]`
pacheco Dec 6, 2024
e16ed82
fix
pacheco Dec 9, 2024
1a616fc
selector first arg
pacheco Dec 9, 2024
9f65c6c
change interface a bit
pacheco Dec 10, 2024
3bebba6
fix & better panic
pacheco Dec 10, 2024
4d69bc8
stuff
pacheco Dec 10, 2024
e6f2cc1
comments
pacheco Dec 11, 2024
46420d3
generate submachines at the end
pacheco Dec 11, 2024
2b4d6b6
generate submachine traces at the end of execution
pacheco Dec 11, 2024
a1a8718
make memory implement Submachine
pacheco Dec 11, 2024
d8154a8
memory machine works the same as other machines
pacheco Dec 11, 2024
dd67bcc
Merge remote-tracking branch 'origin/main' into riscv-executor-trace
pacheco Dec 11, 2024
6d9cc8e
comment
pacheco Dec 11, 2024
d31f815
handle machines that have been optimized away
pacheco Dec 10, 2024
0f6b23e
Revert "handle machines that have been optimized away"
pacheco Dec 12, 2024
cc815d9
fix for publics, empty machines and better panics
pacheco Dec 12, 2024
c37f8cd
memory machine fix
pacheco Dec 12, 2024
cd35a60
drop the enum
pacheco Dec 12, 2024
3e947bc
Merge branch 'main' into executor-use-pil
pacheco Dec 12, 2024
a127cba
almost working
pacheco Dec 13, 2024
f29255f
use enums
pacheco Dec 13, 2024
ad1920d
fix
pacheco Dec 13, 2024
d4fabc2
fix
pacheco Dec 13, 2024
3bb99a2
ignore identity ids when not in trace mode
pacheco Dec 13, 2024
b7a6327
remove TODO
pacheco Dec 16, 2024
7cda443
fixes
pacheco Dec 16, 2024
a72da3c
Merge branch 'riscv-executor-trace' into executor-use-pil
pacheco Dec 16, 2024
25ff483
fixes
pacheco Dec 16, 2024
04cc70a
parallel witness from execution trace
pacheco Dec 16, 2024
d68c413
use par_bridge
pacheco Dec 16, 2024
47f7dd5
with_capacity
pacheco Dec 16, 2024
2b87cc8
unused import
pacheco Dec 16, 2024
d0371bb
Merge branch 'main' into executor-use-pil
pacheco Dec 16, 2024
f09ae21
debug print
pacheco Dec 16, 2024
86f7085
comments
pacheco Dec 16, 2024
f324eab
handle machines with no ops
pacheco Dec 16, 2024
ebcc3f6
leftover
pacheco Dec 16, 2024
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
Prev Previous commit
Next Next commit
fixes
  • Loading branch information
@pacheco
pacheco committed Dec 16, 2024
commit 7cda443e11d21014404ff3b3d868fc87054799e0
Loading
Loading