Commits
Branch selector
User selector
Datepicker
Commit History
Commits on Jun 15, 2025
Update Kani Metrics (#389)
Show description for 3600e5d
Commits on Jun 14, 2025
NonZero (unchecked_mul & unchecked_add) Proof for Contracts (#338)
Show description for 79498aaauthored
Commits on Jun 10, 2025
Add challenge 23 24 for Vec (#267)
Show description for 7dd01bbUpdates for goto-transcoder and ESBMC (#387)
Show description for 731bb1eauthored
Commits on Jun 9, 2025
Kani: use -Z unstable-options instead of --enable-unstable (#386)
Show description for 0840b22authored
Commits on Jun 8, 2025
Update Kani Metrics (#385)
Show description for 93325a4Setting the appropriate target when running autoharness-analyzer (#384)
Show description for e34a5c6
Commits on Jun 4, 2025
Merge subtree update for toolchain nightly-2025-06-02 (#378)
Show description for 4b3883dauthored
Commits on Jun 2, 2025
Update Kani Metrics (#376)
Show description for bacd51cFix subtree update action (#375)
Show description for 4037b15authoredFree up disk space to ensure successful execution of jobs (#374)
Show description for 354b18eauthored
Commits on May 30, 2025
update-subtree action: patch VeriFast proofs (#371)
Show description for 7139219Merge subtree update for toolchain nightly-2025-05-28 (#370)
Show description for 111339dauthoredDerive `Arbitrary` for various `core_arch::x86` types (#348)
Show description for dacc2d5authoredAdd missing `proof_for_contract` to `mut_ptr::offset_from` harness (#358)
Show description for e00a6b9Use uname -m instead of uname -p (#372)
Show description for 81b5eeaauthoredadditional transmute and transmute_unchecked harnesses (#264)
Show description for c120797authored
Commits on May 28, 2025
Merge subtree update for toolchain nightly-2025-05-22 (#364)
Show description for b4f59e8authored
Commits on May 25, 2025
Update Kani Metrics (#365)
Show description for afb5c2c
Commits on May 22, 2025
Add preconditions for disjoint_bitor (#347)
Show description for 13014d9Move autoharness_analyzer to `scripts/` (#350)
Show description for 9414feeMerge subtree update for toolchain nightly-2025-05-20 (#361)
Show description for 1eb9a53authoredChallenge 7: make panicking part optional; remove mention of verifying intrinsics (#357)
Show description for 9b57573authored
Commits on May 21, 2025
Add safety preconditions to std/src/alloc.rs (#330)
Show description for 07b7465authoredAdd Challenge 19: Safety of RawVec (#314)
Show description for d37c183Add Challenge 25: VecDeque (#269)
Show description for c8aeb5b
Commits on May 20, 2025
Add Challenges 20 21 22 for str Pattern and iter (#266)
Show description for 02a7a8cauthoredParse log file of multi-threaded Kani run (terse output) into JSON (#324)
Show description for 38f4c41authoredMerge subtree update for toolchain nightly-2025-05-06 (#354)
Show description for 30d156bauthored
Commits on May 18, 2025
Update Kani Metrics (#359)
Show description for 571c8ac
Commits on May 13, 2025
Fix num::nonzero::NonZero::<*>::rotate_{left,right} contracts (#346)
Show description for a5f6908authored
Commits on May 11, 2025
Update Kani Metrics (#355)
Show description for 5112f81
Commits on May 10, 2025
Fix typo in comment ('contact' -> 'contract') (#352)
Show description for e0e6e83authored
Commits on May 8, 2025
Only require two approvals for changes to `doc/`, `library/` or `verifast-proofs/` (#351)
Show description for 00f2f8dauthored
Commits on May 5, 2025
Update Kani Metrics (#349)
Show description for 0700c36