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
pub mod algebraic_law;
pub mod defendant_entry;
pub mod document;
pub mod error;
pub mod independence_rule;
pub mod load;
pub mod op_declaration;
pub mod registry;
pub mod schema_version;
#[cfg(test)]
pub mod tests;
pub mod validation;
pub mod witness_set;