-
Notifications
You must be signed in to change notification settings - Fork 51
Insights: model-checking/verify-rust-std
Overview
Could not load contribution data
Please try again later
6 Pull requests merged by 5 people
-
Add challenge 23 24 for Vec
#267 merged
Jun 10, 2025 -
Updates for goto-transcoder and ESBMC
#387 merged
Jun 10, 2025 -
Kani: use -Z unstable-options instead of --enable-unstable
#386 merged
Jun 9, 2025 -
Update Kani Metrics
#385 merged
Jun 8, 2025 -
Setting the appropriate target when running autoharness-analyzer
#384 merged
Jun 8, 2025 -
Merge subtree update for toolchain nightly-2025-06-02
#378 merged
Jun 4, 2025
2 Pull requests opened by 1 person
-
Update subtree/library to 2025-06-03
#379 opened
Jun 4, 2025 -
Merge subtree update for toolchain nightly-2025-06-03
#380 opened
Jun 5, 2025
1 Issue closed by 1 person
-
Running autoharness-analyzer from run-kani.sh on MacOS
#381 closed
Jun 8, 2025
2 Issues opened by 1 person
-
Challenge 27: Verify atomically reference-counted Cell implementation
#383 opened
Jun 6, 2025 -
Challenge 26: Verify reference-counted Cell implementation
#382 opened
Jun 6, 2025
5 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
New challenges for Rc, Arc, and related Weak implementations
#367 commented on
Jun 10, 2025 • 3 new comments -
make_ascii_uppercase/lowercase harnesses
#368 commented on
Jun 5, 2025 • 1 new comment -
Challenge 23: Verify the safety of `Vec` functions part 1
#284 commented on
Jun 4, 2025 • 0 new comments -
VeriFast solution for Challenge 5 (linked_list.rs)
#238 commented on
Jun 5, 2025 • 0 new comments -
Add kmir tool description and CI workflow
#310 commented on
Jun 4, 2025 • 0 new comments