vyre-conform 0.1.0

Conformance suite for vyre backends — proves byte-identical output to CPU reference
Documentation
1
2
3
4
5
//! Provenance for executable specification rows.

/// Re-export of [`vyre_spec::SpecSource`] — where a spec-table row came from
/// (hand-written, generated, derived from a law, etc.).
pub use crate::spec::types::{LawId, SpecSource};