73 releases (32 stable)

2.9.0-dev.0 Oct 20, 2024
2.8.2 Sep 8, 2024
2.7.0-rc.3 Jul 16, 2024
2.6.3 Mar 12, 2024
0.1.0 Jan 3, 2023

#43 in #resolution

Download history 5404/week @ 2024-07-24 8763/week @ 2024-07-31 6566/week @ 2024-08-07 6894/week @ 2024-08-14 4873/week @ 2024-08-21 7185/week @ 2024-08-28 5907/week @ 2024-09-04 6643/week @ 2024-09-11 6962/week @ 2024-09-18 5141/week @ 2024-09-25 7580/week @ 2024-10-02 14347/week @ 2024-10-09 5593/week @ 2024-10-16 4708/week @ 2024-10-23 5954/week @ 2024-10-30 5983/week @ 2024-11-06

25,378 downloads per month
Used in 32 crates (9 directly)

Custom license

3MB
76K SLoC

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

Dependencies

~6–15MB
~165K SLoC