- Coverage
- 32.69%
525 out of 1606 items documented0 out of 662 items with examples - Size
- Source code size: 668.89 kB This is the summed size of all the files inside the crates.io package for this release.
- Documentation size: 140.15 MB This is the summed size of all files generated by rustdoc for all configured targets
- Links
-
starkware-libs/cairo
1612 501 110 - crates.io
- Dependencies
-
- anyhow ^1.0.83 normal
- cairo-lang-utils ~2.9.1 normal
- const-fnv1a-hash ^1.1.0 normal
- convert_case ^0.6.0 normal
- derivative ^2.2.0 normal
- itertools ^0.12.1 normal
- lalrpop-util ^0.20.2 normal
- num-bigint ^0.4.5 normal
- num-integer ^0.1.46 normal
- num-traits ^0.2.19 normal
- rust-analyzer-salsa ^0.17.0-pre.6 normal
- serde ^1.0.200 normal
- serde_json ^1.0.116 normal
- sha3 ^0.10.8 normal
- smol_str ^0.2.0 normal
- starknet-types-core ^0.1.0 normal
- thiserror ^1.0.60 normal
- bimap ^0.6.3 dev
- env_logger ^0.11.3 dev
- indoc ^2.0.5 dev
- pretty_assertions ^1.4.0 dev
- test-case ^3.3.1 dev
- test-log ^0.2.16 dev
- lalrpop ^0.20.0 build
- regex ^1 build
- Versions
-
- 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
-
Sierra is an intermediate representation between high level Cairo and compilation targets,
such as CASM. Sierra code is guaranteed to be "safe"* by construction.
Sierra has a primitive, yet rich typing system to express all high level code while guaranteeing
safety and allowing for efficient compilation down to the target.
Safety - this means a few things:
1. There are no "panics" / "runtime errors". Every function is guaranteed to return.
2. There are no infinite loops. Moreover, every program "counts" its own steps, and returns when
the limit is reached.
3. Builtin library functions are always used correctly.