Discussions

• 1 You must be logged in to vote

  🙌

  Install deps that kani requires for non-root users on Rust dev-desktops

  zjp-CN started May 23, 2025 in Show and tell

  

  

  0
• 1 You must be logged in to vote

  💬

  verify-rust-std pins rust-toolchain and kani at a specific commit

  zjp-CN started May 20, 2025 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  Black arts of verifying libcore/libstd

  zjp-CN started Apr 25, 2025 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  Correct name for an Instance

  zjp-CN started Apr 18, 2025 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  #[kani::proof_for_contract] rejects multiple contracts for the same proof

  zjp-CN started Apr 15, 2025 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  contract generates many calls, such as on str, iterator, and ub_checks

  zjp-CN started Apr 15, 2025 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  Differences on function calls emitted by HIR and MIR

  zjp-CN started Apr 10, 2025 in General

  

  

  3
• 1 You must be logged in to vote

  💬

  StableMir doesn't map reexported fn to the original one

  zjp-CN started Apr 12, 2025 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  StableMir will emit no body for functions that are magic in rustc

  zjp-CN started Apr 12, 2025 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  Span differs a lot and is not intuitive

  zjp-CN started Apr 9, 2025 in General

  

  

  1