vyre-spec 0.1.1

Frozen data contracts for vyre — OpSpec, AlgebraicLaw, Category, IntrinsicTable
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//! Frozen floating-point format tags used by verification evidence.

/// Floating-point type covered by an exhaustive verification pass.
///
/// Example: `FloatType::F32` records that a law was checked over IEEE 754
/// binary32 inputs.
#[derive(Clone, Debug, Eq, PartialEq)]
pub enum FloatType {
    /// IEEE 754 binary16.
    F16,
    /// bfloat16.
    BF16,
    /// IEEE 754 binary32.
    F32,
}