spec-flatten-0.3.2
- spec-flatten 0.3.2
- Docs.rs crate page
- Apache-2.0
- Links
- crates.io
- Source
- Owners
- dondidlc
- Dependencies
- anyhow ^1.0.52 normal
  clap ^3.1.8 normal
  itertools ^0.10.1 normal
  move-stackless-bytecode ^0.3.0 normal
  mv-compiler ^0.3.0 normal
  mv-model ^0.3.0 normal
  mv-prover ^0.3.0 normal
  pretty ^0.10.0 normal
- Versions
- 66.67% of the crate is documented
This release has been yanked
Platform
Feature flags

Rust

Crate spec_flatten

Version 0.3.2
All Items

Structs
Enums
Functions

Crate spec_flatten

source · [−]

Structs

Options passed into the specification flattening tool.

Enums

List of simplification passes available

Functions