You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Instrument a fork of the standard library (the [verify-rust-std] repository) with safety contracts,
and employ existing verification tools to verify the standard library.
Update: So far we have integrated Kani into our repository and we have successfully instrumented and verified 22 functions in the standard library. We have also published 11 challenges.
We are currently investigating the integration of other tools, such as Gillian Rust and Verus.
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Summary
Instrument a fork of the standard library (the [verify-rust-std] repository) with safety contracts,
and employ existing verification tools to verify the standard library.
Tasks and status
The text was updated successfully, but these errors were encountered: