vyre-conform 0.1.0

Conformance suite for vyre backends — proves byte-identical output to CPU reference
Documentation 
1
2
3

//! Integer overflow contract declarations.

pub use crate::spec::types::{OverflowContract, OverflowDeclaration};