forked from rust-lang/rust
- Notifications
You must be signed in to change notification settings - Fork 58
Pull requests: model-checking/verify-rust-std
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Update Kani Metrics
#509 by github-actions bot was merged Oct 20, 2025 Loading… updated Oct 20, 2025
Update Kani Metrics
#508 by github-actions bot was closed Oct 12, 2025 Loading… updated Oct 12, 2025
sync-2025-10-09: VeriFast proofs update
#506 by btj was merged Oct 12, 2025 Loading… updated Oct 12, 2025
Update subtree/library to 2025-10-09
#503 by github-actions bot was merged Oct 10, 2025 Loading… updated Oct 10, 2025
Merge subtree update for toolchain nightly-2025-09-09
#488 by github-actions bot was merged Oct 9, 2025 Loading… updated Oct 9, 2025
Update subtree/library to 2025-09-11
#490 by github-actions bot was merged Oct 9, 2025 Loading… updated Oct 9, 2025
Add and update rewards to open challenges lacking one
#459 by tautschnig was merged Oct 8, 2025 Loading… updated Oct 9, 2025
Remove spurious comments about the need for quantifiers
#457 by tautschnig was merged Oct 8, 2025 Loading… updated Oct 8, 2025
Update Kani Metrics
#496 by github-actions bot was merged Sep 28, 2025 Loading… updated Sep 28, 2025
Update Kani Metrics
#494 by github-actions bot was merged Sep 24, 2025 Loading… updated Sep 24, 2025
Update Kani Metrics
#492 by github-actions bot was merged Sep 15, 2025 Loading… updated Sep 15, 2025
Update subtree/library to 2025-09-09
#487 by github-actions bot was merged Sep 10, 2025 Loading… updated Sep 10, 2025
Update subtree/library to 2025-09-07
#485 by github-actions bot was merged Sep 9, 2025 Loading… updated Sep 9, 2025
Update subtree/library to 2025-08-26
#479 by github-actions bot was merged Sep 9, 2025 Loading… updated Sep 9, 2025
Update Kani Metrics
#478 by github-actions bot was merged Aug 25, 2025 Loading… updated Aug 25, 2025
Update subtree/library to 2025-08-20
#474 by github-actions bot was merged Aug 21, 2025 Loading… updated Aug 21, 2025
Merge subtree update for toolchain nightly-2025-08-20
#475 by github-actions bot was closed Aug 20, 2025 Loading… updated Aug 20, 2025
Update Kani Metrics
#469 by github-actions bot was merged Aug 19, 2025 Loading… updated Aug 19, 2025
Update subtree/library to 2025-08-19
#470 by github-actions bot was merged Aug 19, 2025 Loading… updated Aug 19, 2025
Previous Next
ProTip! Mix and match filters to narrow down what you’re looking for.