Skip to main content

vyre_spec/
float_type.rs

1//! Frozen floating-point format tags used by verification evidence.
2
3/// Floating-point type covered by an exhaustive verification pass.
4///
5/// Example: `FloatType::F32` records that a law was checked over IEEE 754
6/// binary32 inputs.
7#[derive(Clone, Debug, Eq, PartialEq)]
8#[non_exhaustive]
9pub enum FloatType {
10    /// IEEE 754 binary16.
11    F16,
12    /// bfloat16.
13    BF16,
14    /// IEEE 754 binary32.
15    F32,
16}