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

Tracking issue for Challenge 1: verify `core` transmuting methods #19

Open tautschnig opened 1 month ago

tautschnig commented 1 month ago

This issue is a tracking issue for Challenge 1: Verify core transmuting methods.

Challenge link: https://model-checking.github.io/verify-rust-std/challenges/0001-core-transmutation.html

rahulku commented 1 month ago

Can we have an explicit link to the challenge...