search

model-checking / verify-rust-std

Verifying the Rust standard library
https://model-checking.github.io/verify-rust-std/
Other
9 stars 7 forks source link

Add Challenge 2: Verify the memory safery of core intrinsics using raw pointers #14

Closed jaisnan closed 1 month ago

jaisnan commented 1 month ago

Adds the challenge to Verify the memory safery of core intrinsics using raw pointers

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.