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
21
22
23
24

//! Conformance harnesses H1..H10.

/// GPU backend abstraction for dispatch and result readback.
pub mod backend;
/// Composition proof module.
pub mod composition_proof;
/// Coverage module.
pub mod coverage;
/// Determinism module.
pub mod determinism;
/// Fault module.
pub mod fault;
/// Law probe module.
pub mod law_probe;
/// Mutation module.
pub mod mutation;
/// Oom module.
pub mod oom;
/// Reference diff module.
pub mod reference_diff;
/// Swap module.
pub mod swap;
/// WGSL mutation module.
pub mod wgsl_mutation;