vyre-conform 0.1.0

Conformance suite for vyre backends — proves byte-identical output to CPU reference
Documentation
1
2
3
4
5
6
7
8
9
10
//! Minimizer trait + driver.

/// Arithmetic minimization strategies.
pub mod arithmetic;
/// Composition chain minimization.
pub mod composition;
/// Structural IR minimization.
pub mod structural;
/// Type-shrinking minimization.
pub mod type_shrink;