This repository was archived by the owner on Jul 31, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 36
All issues
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#156 In project-oak/rust-verification-tools;
LLVM-11 support
LLVMAffects LLVM-based verifiersAffects LLVM-based verifiersStatus: Open.#146 In project-oak/rust-verification-tools;- Status: Open.#141 In project-oak/rust-verification-tools;
- Status: Open.#138 In project-oak/rust-verification-tools;
- Status: Open.#137 In project-oak/rust-verification-tools;
- Status: Open.#134 In project-oak/rust-verification-tools;
- Status: Open.#102 In project-oak/rust-verification-tools;
- Status: Open.#66 In project-oak/rust-verification-tools;
cargo-verify output options: json, ascii, etc. ?
CargoVerifyRelated to cargo-verify driver scriptRelated to cargo-verify driver scriptenhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersStatus: Open.#60 In project-oak/rust-verification-tools;Consider adopting conventional-commits
enhancementNew feature or requestNew feature or requestStatus: Open.#58 In project-oak/rust-verification-tools;Use official Crux-mir/llvm releases
CruxCruxMIR supportCruxMIR supportmir-verifierSupport for Galois Inc's MIR verifierSupport for Galois Inc's MIR verifierStatus: Open.#57 In project-oak/rust-verification-tools;Fix warning about mismatched target tuples in KLEE
KLEEKLEE supportKLEE supportLLVMAffects LLVM-based verifiersAffects LLVM-based verifiersStatus: Open.#37 In project-oak/rust-verification-tools;