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
16
17
18
19
20

//! Header comment on every generated file.

/// Source tuple written into each generated header.
pub struct SourceTuple<'a> {
    /// Operation id.
    pub op: &'a str,
    /// Archetype id.
    pub archetype: &'a str,
    /// Oracle family.
    pub oracle: &'a str,
}

/// Build the generated-file provenance header.
#[inline]
pub fn header(_tuple: &SourceTuple<'_>, master_seed: u64, spec_version: u32) -> String {
    format!(
        "// generated from master_seed {} spec_version {}\n\n",
        master_seed, spec_version
    )
}