Skip to content

Commit

Permalink
Add print_output flag to cairo-1 crate (#1575)
Browse files Browse the repository at this point in the history
* 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

* Rename enum

* Revert "Rename enum"

This reverts commit 1674f73.

* Recursively process ouputs to string

* Update name

* Fix whitespace handling

* Simplify logic

* Add print_output flag

* Add changelog entry

* Add test file

* Add whitespace

* Update test

* Clippy

* Add air_private_input check to CI

* Update CHANGELOG.md

---------

Co-authored-by: Juan Bono <juanbono94@gmail.com>
Co-authored-by: Pedro Fontana <fontana.pedro93@gmail.com>
  • Loading branch information
3 people authored Jan 23, 2024
1 parent 44c693c commit 0a39534
Show file tree
Hide file tree
Showing 3 changed files with 139 additions and 73 deletions.
4 changes: 3 additions & 1 deletion CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@

#### Upcoming Changes

* feat: Add `print_output` flag to `cairo-1` crate [#1575] (https://github.com/lambdaclass/cairo-vm/pull/1575)

* bugfixes(BREAKING): Fix memory hole count inconsistencies #[1585] (https://github.com/lambdaclass/cairo-vm/pull/1585)
* Output builtin memory segment is no longer skipped when counting memory holes
* Temporary memory cells now keep their accessed status when relocated
Expand All @@ -18,7 +20,7 @@

* feat: Add `air_private_input` flag to `cairo1-run` [#1559] (https://github.com/lambdaclass/cairo-vm/pull/1559)

* feat: Add `args` flag to `cairo1-run` [#15551] (https://github.com/lambdaclass/cairo-vm/pull/15551)
* feat: Add `args` flag to `cairo1-run` [#1551] (https://github.com/lambdaclass/cairo-vm/pull/1551)

* feat: Add `air_public_input` flag to `cairo1-run` [#1539] (https://github.com/lambdaclass/cairo-vm/pull/1539)

Expand Down
Loading

0 comments on commit 0a39534

Please sign in to comment.