ravencheck 0.5.0

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

mod bool_fun;
mod cycle_checking;
mod induction;
mod matching;
mod misc;