79 releases (36 stable)

new 2.10.0-rc.1 Jan 15, 2025
2.10.0-rc.0 Dec 22, 2024
2.9.1 Nov 29, 2024
2.7.0-rc.3 Jul 16, 2024
0.1.0 Jan 3, 2023

#46 in #resolution

Download history 4844/week @ 2024-09-26 9461/week @ 2024-10-03 13119/week @ 2024-10-10 5192/week @ 2024-10-17 4969/week @ 2024-10-24 5935/week @ 2024-10-31 6316/week @ 2024-11-07 6715/week @ 2024-11-14 5853/week @ 2024-11-21 10360/week @ 2024-11-28 16278/week @ 2024-12-05 11025/week @ 2024-12-12 7065/week @ 2024-12-19 5946/week @ 2024-12-26 6908/week @ 2025-01-02 9599/week @ 2025-01-09

31,264 downloads per month
Used in 35 crates (11 directly)

Custom license

3.5MB
81K SLoC

Semantic model representation and queries for Cairo. The semantic model represents the Cairo program after type resolution and some syntax desugaring.

Dependencies

~7–16MB
~165K SLoC