Pull requests: model-checking/verify-rust-std
Pull requests list
Clarify documentation of
can_dereference with write permissions #510 by dawidl022 was merged Oct 21, 2025 Loading…
Fixup merge resolution: Add and update rewards to open challenges lacking one
#502 by tautschnig was merged Oct 20, 2025 Loading…
Update README.md now that Challenge 1 is resolved
#486 by tautschnig was merged Oct 8, 2025 Loading…
Merge subtree update for toolchain nightly-2025-08-26
#480 by github-actions bot was merged Sep 9, 2025 Loading…
Merge subtree update for toolchain nightly-2025-08-20
#476 by github-actions bot was merged Aug 21, 2025 Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.