GitHub repository: software-mansion/cairo-annotations
Primary language: Rust
Created: 2024-09-26T10:50:28Z
Description: Library to help map the lowest level of abstraction (CASM) to a higher level (Sierra), and then to specific information the user wants to obtain using annotations