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
//! Graph operation specifications.

use crate::OpSpec;

/// Bfs module.
pub mod bfs;
/// Reachability module.
pub mod reachability;

/// All graph specs.
#[inline]
pub fn specs() -> Vec<OpSpec> {
    vec![bfs::vyre_op(), reachability::vyre_op()]
}