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

Jump to bottom

Add scarb verify #1922

Merged
merged 90 commits into from
Feb 3, 2025
Merged

Add scarb verify #1922

merged 90 commits into from
Feb 3, 2025

Conversation

DelevoXDG
Copy link
Contributor

@DelevoXDG DelevoXDG commented Jan 27, 2025 •
edited
Loading

FroyaTheHen and others added 30 commits January 15, 2025 08:53
@FroyaTheHen @maciektr
feat: executable command
c658194 
Add scarb execute extension
@DelevoXDG
Initial cairo-prove
af5414d
@DelevoXDG
Support prover config; Restructure args
ccc3aa3
@DelevoXDG
Restructure cairo-execute output directories
972acdd 
Change output path from `scarb-execute/package_N` to `scarb-execute/package/executionN`
@DelevoXDG
Refactor; Improve error messages; Improve args
6036329
@DelevoXDG
Add tests
0a404e4
@DelevoXDG
Refactor
55525ed
@DelevoXDG
Format
0da153d
@DelevoXDG
Add --execute flag to run execution before prove
cb4b7fb
@DelevoXDG
Refactor: add helper functions; Simplify execution_number extractio…
3946387 
…n logic
@DelevoXDG
Improve error messages in line with scarb execute changes
951e3d7
@DelevoXDG
use lossy utf8 conversion
ff83e91
@DelevoXDG
misc: rename test
3c31623
@DelevoXDG
rename all "execution number" mentions to execution_id
5bb3424
@DelevoXDG
Add verbosity settings
01070f1
@DelevoXDG
fix tests (--execution-id)
e02f52d
@DelevoXDG
Disable scarb execute output for quiet verbosity
e82596a
@DelevoXDG
Stream AND write output of subcommand on the fly
39f1f70
@DelevoXDG
Format
de0d76d
@DelevoXDG
improve approach to streaming stdout of nested commands
72e223b 
- Add `UiPrinter`
- Cannot use `Ui` directly due to circular dependency
@DelevoXDG
refactor: rename scarb-cairo-{execute,prove} to scarb-{execute,prove}
2ab30cd
@DelevoXDG
finish scarb-cairo-{execute,prove} -> scarb-{execute,prove}`
e6556de
@DelevoXDG
Merge branch 'main' into zdobnikau/stwo-prove
c7e0dc6
@DelevoXDG
format
242e179
@DelevoXDG
lock
48a1399
@DelevoXDG
update ci
375195c
@DelevoXDG
fix scarb execute tests
a9e7e28
@DelevoXDG
--exclude not supported by rustfmt
d19a6e1
@DelevoXDG
install components in check-rust-scarb-prove
03593e3
@DelevoXDG
Fix build in test-scarb-prove
e9e2a15
github-merge-queue bot pushed a commit that referenced this pull request Jan 31, 2025
@DelevoXDG
Split scarb-execute into subfiles (#1924)
f2a53fc 
## Stack
- #1924
- #1900
- #1922 

To expose args and `main_inner` so these are usable by scarb-prove
github-merge-queue bot pushed a commit that referenced this pull request Jan 31, 2025
@DelevoXDG @FroyaTheHen @maciektr
Add scarb prove (#1900)
447d7d0 
- Adds `scarb verify`
- Updates `scarb execute` output paths
- All execution outputs are now placed in
`[..]/target/execute/package_name/execution{i}` where `i = 1...N`
- Cairo pie outputs are now placed in
`[..]/target/execute/package_name/execution{i}/cairo_pie.zip`
  
## Stack
- #1924
- #1900 
- #1922

---------

Signed-off-by: Maksim Zdobnikau <43750648+DelevoXDG@users.noreply.github.com>
Co-authored-by: FroyaTheHen <kingacepielik@gmail.com>
Co-authored-by: maciektr <maciej.tratnowiecki@swmansion.com>
Base automatically changed from zdobnikau/stwo-prove to main January 31, 2025 19:33
@DelevoXDG DelevoXDG requested review from a team and removed request for a team February 3, 2025 09:20
maciektr
maciektr reviewed Feb 3, 2025
View reviewed changes
Copy link
Contributor

@maciektr maciektr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

.github/workflows/ci.yml Outdated Show resolved Hide resolved
Cargo.toml Outdated Show resolved Hide resolved
@DelevoXDG DelevoXDG requested a review from maciektr February 3, 2025 10:01
@DelevoXDG DelevoXDG enabled auto-merge February 3, 2025 10:14
@DelevoXDG DelevoXDG added this pull request to the merge queue Feb 3, 2025
Merged via the queue into main with commit d35219e Feb 3, 2025
22 checks passed
@DelevoXDG DelevoXDG deleted the zdobnikau/verify branch February 3, 2025 12:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@maciektr maciektr maciektr approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@DelevoXDG @maciektr @FroyaTheHen