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
11
12
13
14
15

use crate::proof::comparator::ComparatorKind;
use crate::spec::types::{ChainSpec, OpSpec, Strictness};
pub use super::suite::ConformanceSuite;
use crate::spec::minimums::{MIN_BOUNDARY_VALUES, MIN_EQUIVALENCE_CLASSES};

/// Certificate track selected from an op's declared strictness and output family.
#[derive(Clone, Copy, Debug, Eq, PartialEq)]
pub(crate) enum CertificateTrack {
    /// Bit-exact integer and byte-oriented operations.
    Integer,
    /// Bit-exact floating-point operations.
    Float,
    /// Tolerance-verified approximate operations.
    Approximate,
}