Semantic model representation and queries for Cairo. The semantic model represents the Cairo program after type resolution and some syntax desugaring.
- Coverage
- 43.37%
1252 out of 2887 items documented0 out of 1864 items with examples - Links
-
starkware-libs/cairo
1717 598 42 - crates.io
- Dependencies
-
- cairo-lang-debug ~2.7.0-dev.1 normal
- cairo-lang-defs ~2.7.0-dev.1 normal
- cairo-lang-diagnostics ~2.7.0-dev.1 normal
- cairo-lang-filesystem ~2.7.0-dev.1 normal
- cairo-lang-parser ~2.7.0-dev.1 normal
- cairo-lang-plugins ~2.7.0-dev.1 normal
- cairo-lang-proc-macros ~2.7.0-dev.1 normal
- cairo-lang-syntax ~2.7.0-dev.1 normal
- cairo-lang-test-utils ~2.7.0-dev.1 normal optional
- cairo-lang-utils ~2.7.0-dev.1 normal
- id-arena ^2.2.1 normal
- indoc ^2.0.5 normal
- itertools ^0.12.1 normal
- num-bigint ^0.4.5 normal
- num-traits ^0.2.19 normal
- once_cell ^1.19.0 normal
- salsa ^0.16.1 normal
- smol_str ^0.2.0 normal
- toml ^0.8.12 normal optional
- env_logger ^0.11.3 dev
- log ^0.4.21 dev
- pretty_assertions ^1.4.0 dev
- test-log ^0.2.16 dev
- toml ^0.8.12 dev
- Versions
-
- 2.11.2
- 2.11.1
- 2.11.0
- 2.10.1
- 2.10.0
- 2.10.0-rc.1
- 2.10.0-rc.0
- 2.9.4
- 2.9.3
- 2.9.2
- 2.9.1
- 2.9.0
- 2.9.0-dev.0
- 2.8.5
- 2.8.4
- 2.8.2
- 2.8.0
- 2.7.1
- 2.7.0
- 2.7.0-rc.3
- 2.7.0-rc.2
- 2.7.0-rc.1
- 2.7.0-rc.0
- 2.7.0-dev.1
- 2.7.0-dev.0
- 2.6.4
- 2.6.3
- 2.6.2
- 2.6.1
- 2.6.0
- 2.6.0-rc.1
- 2.6.0-rc.0
- 2.5.4
- 2.5.3
- 2.5.2
- 2.5.1
- 2.5.0
- 2.5.0-dev.1
- 2.5.0-dev.0
- 2.4.4
- 2.4.3
- 2.4.2
- 2.4.1
- 2.4.0
- 2.4.0-rc6
- 2.4.0-rc5
- 2.4.0-rc4
- 2.4.0-rc3
- 2.4.0-rc2
- 2.4.0-rc1
- 2.4.0-rc0
- 2.3.1
- 2.3.0
- 2.3.0-rc0
- 2.2.0
- 2.1.2
- 2.1.1
- 2.1.0
- 2.1.0-rc4
- 2.1.0-rc3
- 2.1.0-rc2
- 2.1.0-rc1
- 2.1.0-rc0
- 2.0.2
- 2.0.1
- 2.0.0
- 2.0.0-rc7
- 2.0.0-rc6
- 2.0.0-rc5
- 2.0.0-rc4
- 2.0.0-rc3
- 2.0.0-rc2
- 2.0.0-rc1
- 2.0.0-rc0
- 1.1.1
- 1.1.0
- 1.1.0-rc0
- 1.1.0-alpha0
- 1.0.0
- 1.0.0-rc0
- 1.0.0-alpha.7
- 1.0.0-alpha.6
- 1.0.0-alpha.4
- 1.0.0-alpha.3
- 1.0.0-alpha.2
- 0.1.0
- Owners
-