ravencheck 0.2.0

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

mod filter;
mod nat;
mod nat_u32;
mod sets;
mod sets_using_alias;
mod type_parameter_sets;