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
Bump rustix from 0.38.8 to 0.38.34 in /compiler/rustc_codegen_gcc
#1 by dependabot bot was closed May 24, 2024 Loading… updated May 24, 2024
Add Subtree changes to Main branch
#4 by jaisnan was merged May 31, 2024 Loading… updated May 31, 2024
Add initial challenge template
#10 by celinval was merged Jun 11, 2024 Loading… updated Jun 11, 2024
Add Kani usage and verify-std section to verification book
#12 by jaisnan was merged Jun 12, 2024 Loading… updated Jun 12, 2024
Add Challenge 2: Verify the memory safery of core intrinsics using raw pointers
#14 by jaisnan was merged Jun 12, 2024 Loading… updated Jun 12, 2024
Add simple ensures, requires, safety predicates
#15 by celinval was merged Jun 12, 2024 Loading… updated Jun 12, 2024
refined core transmutation challenge.
#11 by pnkfelix was merged Jun 12, 2024 Loading… updated Jun 12, 2024
Add a few more contract and harness examples
#18 by celinval was merged Jun 12, 2024 Loading… updated Jun 12, 2024
Fix challenge numbers and move to challenges/ dir
#22 by celinval was merged Jun 21, 2024 Loading… updated Jun 21, 2024
Add tracking issue for challenges template
#27 by jaisnan was merged Jun 26, 2024 Loading… updated Jun 27, 2024
Add committee application guideline and committee TOML file
#32 by jaisnan was merged Jul 3, 2024 Loading… updated Jul 3, 2024
Propose a new challenge about pointer arithmetic ops
#23 by celinval was merged Jul 3, 2024 Loading… updated Jul 3, 2024
Add PR approval check for specific directories
#31 by jaisnan was merged Jul 10, 2024 Loading… updated Jul 10, 2024
Add permissions needed to modify PR
#34 by jaisnan was merged Jul 10, 2024 Loading… updated Jul 10, 2024
Previous Next
ProTip! no:milestone will show everything without a milestone.