Added segment arena cairo1 runner validation. (#1721)

* Added segment arena cairo1 runner validation. * Made segment finalization happen in empty dicts as well. --------- Co-authored-by: Pedro Fontana <[email protected]>
lambdaclass · Apr 24, 2024 · 5e19e9d · 5e19e9d
1 parent 1a46c9f
commit 5e19e9d
Show file tree

Hide file tree

Showing 7 changed files with 283 additions and 183 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,6 +1,10 @@
 ## Cairo-VM Changelog
 
 #### Upcoming Changes
+* feat: Add support for cairo1 run with segements arena validation.
+  * Refactored the runner CASM code generation to user a more high level builder.
+  * Added segment merging of the dictionary segments.
+  * Added validation of the generated segment arena in cairo1 run.
 
 * feat: Implement `extend_additional_data` for `BuiltinRunner`[#1726](https://github.com/lambdaclass/cairo-vm/pull/1726)