ravencheck 0.3.0

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

mod filter;
mod import_test;
mod main_example_nat;
mod main_example_set;
mod minimal;
mod minimal_polymorphic;
mod minimal_filter;
mod recursive;
mod nat;
mod nat_u32;
mod sets;
mod sets_using_alias;
mod type_parameter_sets;