Docs.rs
air-script-0.4.0
air-script 0.4.0
Permalink
Docs.rs crate page
MIT
Links
Documentation
Repository
crates.io
Source
Owners
bobbinth
github:0xpolygonmiden:air-script
Dependencies
air-codegen-winter ^0.4
normal
air-ir ^0.4
normal
air-parser ^0.4
normal
air-pass ^0.4
normal
clap ^4.2
normal
env_logger ^0.11
normal
log ^0.4
normal
miden-diagnostics ^0.1
normal
air-mir ^0.4
normal
expect-test ^1.4
dev
winter-air ^0.12
dev
winter-math ^0.12
dev
winter-prover ^0.12
dev
winter-utils ^0.12
dev
winter-verifier ^0.12
dev
winterfell ^0.12
dev
Versions
0%
of the crate is documented
Platform
x86_64-apple-darwin
x86_64-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
air_
script
0.4.0
All Items
Crate Items
Modules
Structs
Enums
Traits
Functions
Crate
air_script
Copy item path
Source
Modules
§
passes
transforms
Structs
§
Air
The intermediate representation of a complete AirScript program
Winterfell
Code
Generator
CodeGenerator is used to generate a Rust implementation of the Winterfell STARK prover library’s Air trait. The generated Air expresses the constraints specified by the AirIR used to build the CodeGenerator.
Enums
§
Compile
Error
Traits
§
Pass
This trait represents anything that can be run as a pass.
Functions
§
parse
Parses the provided source and returns the AST.
parse_
file
Parses the provided source and returns the AST.