forked from lambdaclass/cairo-vm
-
Notifications
You must be signed in to change notification settings - Fork 3
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.
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
Test for CI #38
Closed
Closed
Test for CI #38
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
* bump cairo 1 compiler dep to 2.4 * changelog * update compiler to 2.4.2 * bump compiler to 2.4.2 in Makefile * fix incorrect offset in program
* Remove cargo-deps from make deps * Restore Makefile * Remove Flamegraph from cargo deps * Comment lines
* Add proof_mode flag to cairo1-run * Add Changelog entry * Clippy * clippy --------- Co-authored-by: Mario Rugiero <[email protected]>
* Implement get_air_private_input for RangeCheck; * Implement air_private_input for Bitwise; * Implement air_private_input for Hash * Update proof_programs symlinks * Add EcOp priv input variant * Implement air_private_input for EcOp * Implement air_private_input for Poseidon & Signature * Implement air_private_input for Keccak * Add AirPrivateInput serialization * Remove unwrap * Add targets to compare private inputs against python vm * Add separate script to compare private inputs * Ignore & Clean output files * Fix target * Fix + fmt * Fetch absolute paths in cli and remove feature-gate * Fix ecdsa private input * Add no-std import * Add Chaneglog entry * Update README * Add cli tests * Add case to cli test * Fix conditional * Add no-std import * fmt * fix * Remove unwraps * Add tests so coverage doesnt sink * Fix test * Fix test * Fix test * Fix symlink * Remove broken file --------- Co-authored-by: Mario Rugiero <[email protected]>
* Add proof_mode flag to cairo1-run * Add Changelog entry * Clippy * clippy * Add `air_public_input` flag * Progress * Update builtins stop ptrs when running cairo 1 * Change visibility * Change visibility * Fix * Fix trace not enables * Build execution public memory * Handle EcOp case * Fix typo * Use cleaner solution * Fix * Improve comments * Add changelog entry * Move logic inside vm
* Add proof_mode flag to cairo1-run * Add Changelog entry * Clippy * clippy * Add `air_public_input` flag * Progress * Update builtins stop ptrs when running cairo 1 * Change visibility * Change visibility * Fix * Fix trace not enables * Build execution public memory * Handle EcOp case * Fix typo * Use cleaner solution * Fix * Improve comments * Add changelog entry * Add args flag * Handle arguments * Handle arg size & add tests * Parse array arguments * Fix language * reorder * Add changelog entry * Move programs with args to an inner folder * Fix README example * Apply input arguments fix from cairo_lang * Add test * Fix tests
* Add proof_mode flag to cairo1-run * Add Changelog entry * Clippy * clippy * Add `air_public_input` flag * Progress * Update builtins stop ptrs when running cairo 1 * Change visibility * Change visibility * Fix * Fix trace not enables * Build execution public memory * Handle EcOp case * Fix typo * Use cleaner solution * Fix * Improve comments * Add changelog entry * Add args flag * Handle arguments * Handle arg size & add tests * Parse array arguments * Fix language * reorder * Add changelog entry * Move programs with args to an inner folder * Implement get_air_private_input for RangeCheck; * Implement air_private_input for Bitwise; * Implement air_private_input for Hash * Update proof_programs symlinks * Add EcOp priv input variant * Implement air_private_input for EcOp * Implement air_private_input for Poseidon & Signature * Implement air_private_input for Keccak * Add AirPrivateInput serialization * Remove unwrap * Add targets to compare private inputs against python vm * Add separate script to compare private inputs * Ignore & Clean output files * Fix target * Fix README example * Fix + fmt * Fetch absolute paths in cli and remove feature-gate * Fix ecdsa private input * Add no-std import * Add Chaneglog entry * Update README * Add cli tests * Add case to cli test * Fix conditional * Add no-std import * fmt * fix * Add air_private_input flag * Remove unwraps * fix * Add new flag to tests * Add Cli argument list to README * Add Chaneglog entry * Fix changelog * Add tests so coverage doesnt sink * Fix test * Fix test * Fix test * Add tests so coverage doesnt sink * Fix test * Fix test * Fix test * Fix symlink * Remove broken file * Add air_private_input check to CI * Fix changelog * Fix changelog * Fix changelog * Fix changelog
Benchmark Results for unmodified programs 🚀
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
TITLE
Description
Description of the pull request changes and motivation.
Checklist