forked from rust-lang/rust
-
Notifications
You must be signed in to change notification settings - Fork 67
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Challenge 31: Enriching MIR Consts
ChallengeUsed to tag a challengeUsed to tag a challengeStatus: Open.#594 In model-checking/verify-rust-std;Challenge 30: Progress Public MIR
ChallengeUsed to tag a challengeUsed to tag a challengeStatus: Open.#591 In model-checking/verify-rust-std;Add Tool: Verus
Tool ApplicationUsed to tag tool applicationUsed to tag tool applicationStatus: Open.#554 In model-checking/verify-rust-std;Challenge 29: Safety of boxed
ChallengeUsed to tag a challengeUsed to tag a challengeStatus: Open.#526 In model-checking/verify-rust-std;Challenge 28: Safety of float to decimal conversion module
ChallengeUsed to tag a challengeUsed to tag a challengeStatus: Open.#524 In model-checking/verify-rust-std;Add Tool: Creusot
Tool ApplicationUsed to tag tool applicationUsed to tag tool applicationStatus: Open.#493 In model-checking/verify-rust-std;kani::modifiescauses an error that compiler_builtins cannot call functions through upstream monomorphizationsMaintenanceMaintenance related issues for the challangeMaintenance related issues for the challangeStatus: Open.#477 In model-checking/verify-rust-std;Kani scanner fails to detect harnesses that are gated behind
#[cfg(kani)]MaintenanceMaintenance related issues for the challangeMaintenance related issues for the challangeStatus: Open.#463 In model-checking/verify-rust-std;Add Tool: RAPx
Tool ApplicationUsed to tag tool applicationUsed to tag tool applicationStatus: Open.#444 In model-checking/verify-rust-std;Could Kani CI summary be simplified?
QuestionUse for any clarification or general question about the contestUse for any clarification or general question about the contestStatus: Open.#411 In model-checking/verify-rust-std;How to integrate distributed-verification into verify-rust-std?
QuestionUse for any clarification or general question about the contestUse for any clarification or general question about the contestStatus: Open.#409 In model-checking/verify-rust-std;Challenge 27: Verify atomically reference-counted Cell implementation
ChallengeUsed to tag a challengeUsed to tag a challengeStatus: Open.#383 In model-checking/verify-rust-std;