vyre-conform-0.1.0
Platform
- i686-pc-windows-msvc
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

vyre-conform 0.1.0

Conformance suite for vyre backends — proves byte-identical output to CPU reference

Crate
Source
Builds
Feature flags

..
absorbing.formal
associative.formal
bounded.formal
commutative.formal
complement.formal
custom.formal
de-morgan.formal
distributive.formal
idempotent.formal
identity.formal
inverse-of.formal
involution.formal
lattice-absorption.formal
left-absorbing.formal
left-identity.formal
loader.rs
mod.rs
monotone.formal
monotonic.formal
right-absorbing.formal
right-identity.formal
self-inverse.formal
smt.rs
spec.rs
trichotomy.formal
zero-product.formal