ravencheck 0.4.0

Decidable verification of Rust code using relational abstraction.
Documentation 
1
2
3
4
5
6
7
8
9
10

#[cfg(test)]
mod macro_examples;

pub use ravencheck_macros::{
    check_module,
    export_module,
};
pub use ravenlang::CheckedSig;
mod rcc;
pub use rcc::Rcc;