Peephole optimization of Cairo assembly

anoma / juvix

A language for intent-centric and declarative decentralised applications

https://docs.juvix.org

GNU General Public License v3.0

442 stars 54 forks source link

Closed lukaszcz closed 3 days ago

lukaszcz commented 5 days ago

Closes #2703
Adds peephole optimization of Cairo assembly.
Adds a transformation framework for the CASM IR.
Adds --transforms, --run and --no-print options to the dev casm read command.