aver-lang-0.27.1
- aver-lang 0.27.1
- Permalink
- Docs.rs crate page
- MIT
- 19 July 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- jasisz
- Dependencies
- aver-cert =0.1.1 normal optional
  aver-memory =0.2.12 normal
  aver-rt =0.4.9 normal optional
  clap ^4 normal optional
  colored ^2 normal optional
  num-bigint ^0.4 normal
  num-traits ^0.2 normal
  serde ^1 normal
  serde_json ^1 normal
  sha2 ^0.10 normal optional
  tempfile ^3 normal
  thiserror ^1 normal
  toml ^0.8 normal optional
  url ^2 normal
  wasm-bindgen ^0.2 normal optional
  wasm-encoder ^0.248 normal optional
  wasmparser ^0.248 normal optional
  wasmprinter ^0.248 normal optional
  wasmtime ^44 normal optional
  wasmtime-wasi ^44 normal optional
  wasmtime-wasi-http ^44 normal optional
  wat ^1 normal optional
  wit-component ^0.248 normal optional
  wit-parser ^0.248 normal optional
  criterion ^0.5 dev
  insta ^1 dev
  proptest ^1 dev
  tempfile ^3 dev
- Versions
- 48.16% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

end

aver0.27.1

In aver::codegen::lean::tactic_ir::minimize

aver::codegen::lean::tactic_ir::minimize

Function end

pub fn end()

Expand description

Leave the minimize pass — emission returns to byte-for-byte normal.