Skip to content

Releases: Rust-Proof/rustproof

Finished framework.

31 Aug 02:38
Compare
Choose a tag to compare

Stable as of Rust nightly build 2016-08-11. Supports user code using the following major Rust language features:
-Integer arithmetic, including bitwise (except for usize and isize)
-Boolean arithmetic
-Conditional branching
-Assert! macro

See the documents for more information.