GitHub · Where software is built

8000 GitHub · Where software is built

Labels Milestones New issue

Add Tool: Creusot

Tool Application

#493

· Lysxia opened

on Sep 16, 2025

<code>kani::modifies</code> causes an error that compiler_builtins cannot call functions through upstream monomorphizations

#477

· zjp-CN opened

on Aug 21, 2025

Kani scanner fails to detect harnesses that are gated behind <code>#[cfg(kani)]</code>

#463

· zjp-CN opened

on Aug 16, 2025

Add Tool: RAPx

Tool Application

#444

· DiuDiu777 opened

on Aug 5, 2025

Could Kani CI summary be simplified?

#411

· zjp-CN opened

on Jul 7, 2025

How to integrate distributed-verification into verify-rust-std?

#409

· zjp-CN opened

on Jul 7, 2025

Challenge 27: Verify atomically reference-counted Cell implementation

#383

· AlexLB99 opened

on Jun 6, 2025

Challenge 26: Verify reference-counted Cell implementation

#382

· AlexLB99 opened

on Jun 6, 2025

Add Tool: KMIR by Runtime Verification

Tool Application

#296

· gregorymakodzeba opened

on Mar 24, 2025

Challenge 25: Verify the safety of <code>VecDeque</code> functions

#286

· thanhnguyen-aws opened

on Mar 18, 2025

Challenge 24: Verify the safety of <code>Vec</code> functions part 2

#285

· thanhnguyen-aws opened

on Mar 18, 2025

Challenge 23: Verify the safety of <code>Vec</code> functions part 1

#284

· thanhnguyen-aws opened

on Mar 18, 2025

0