Semantic model representation and queries for Cairo. The semantic model represents the Cairo program after type resolution and some syntax desugaring.
- Coverage
- 38.16%
756 out of 1981 items documented0 out of 1246 items with examples - Links
-
starkware-libs/cairo
1717 598 42 - crates.io
- Dependencies
-
- cairo-lang-debug ^2.0.0-rc3 normal
- cairo-lang-defs ^2.0.0-rc3 normal
- cairo-lang-diagnostics ^2.0.0-rc3 normal
- cairo-lang-filesystem ^2.0.0-rc3 normal
- cairo-lang-parser ^2.0.0-rc3 normal
- cairo-lang-proc-macros ^2.0.0-rc3 normal
- cairo-lang-syntax ^2.0.0-rc3 normal
- cairo-lang-utils ^2.0.0-rc3 normal
- id-arena ^2.2.1 normal
- itertools ^0.10.3 normal
- log ^0.4 normal
- num-bigint ^0.4 normal
- num-traits ^0.2 normal
- salsa ^0.16.1 normal
- smol_str ^0.2.0 normal
- assert_matches ^1.5 dev
- env_logger ^0.9.3 dev
- indoc ^2.0.1 dev
- log ^0.4 dev
- pretty_assertions ^1.2.1 dev
- test-case ^2.2.2 dev
- test-log ^0.2.11 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
-