Semantic model representation and queries for Cairo. The semantic model represents the Cairo program after type resolution and some syntax desugaring.
- Coverage
- 39.85%
860 out of 2158 items documented0 out of 1369 items with examples - Links
-
starkware-libs/cairo
1717 598 42 - crates.io
- Dependencies
-
- cairo-lang-debug ^2.3.0-rc0 normal
- cairo-lang-defs ^2.3.0-rc0 normal
- cairo-lang-diagnostics ^2.3.0-rc0 normal
- cairo-lang-filesystem ^2.3.0-rc0 normal
- cairo-lang-parser ^2.3.0-rc0 normal
- cairo-lang-plugins ^2.3.0-rc0 normal
- cairo-lang-proc-macros ^2.3.0-rc0 normal
- cairo-lang-syntax ^2.3.0-rc0 normal
- cairo-lang-test-utils ^2.3.0-rc0 normal
- cairo-lang-utils ^2.3.0-rc0 normal
- id-arena ^2.2.1 normal
- itertools ^0.11.0 normal
- log ^0.4 normal
- num-bigint ^0.4 normal
- num-traits ^0.2 normal
- once_cell ^1.17.1 normal
- salsa ^0.16.1 normal
- smol_str ^0.2.0 normal
- env_logger ^0.10.0 dev
- indoc ^2.0.1 dev
- log ^0.4 dev
- pretty_assertions ^1.2.1 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
-