Skip to content
This repository has been archived by the owner on Jul 31, 2023. It is now read-only.

Issues: project-oak/rust-verification-tools

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

Archive Project?
#156 opened Jan 8, 2022 by indolering
LLVM-11 support LLVM Affects LLVM-based verifiers
#146 opened Jun 29, 2021 by alastairreid
AArch64 Docker build error
#141 opened Jun 3, 2021 by chadbrewbaker
Klee examples does not build
#138 opened May 20, 2021 by gww-parity
Seahorn verifies assert!(false)
#102 opened Mar 1, 2021 by fshaked
Exploit parallelism
#66 opened Nov 9, 2020 by alastairreid
cargo-verify output options: json, ascii, etc. ? CargoVerify Related to cargo-verify driver script enhancement New feature or request good first issue Good for newcomers
#60 opened Oct 21, 2020 by alastairreid
Consider adopting conventional-commits enhancement New feature or request
#58 opened Oct 19, 2020 by alastairreid
Use official Crux-mir/llvm releases Crux CruxMIR support mir-verifier Support for Galois Inc's MIR verifier
#57 opened Oct 19, 2020 by alastairreid
Fix warning about mismatched target tuples in KLEE KLEE KLEE support LLVM Affects LLVM-based verifiers
#37 opened Oct 6, 2020 by alastairreid
Construct values lazily propverify Related to propverify / proptest
#33 opened Sep 13, 2020 by alastairreid
Improve compatibility with proptest propverify Related to propverify / proptest
#32 opened Sep 13, 2020 by alastairreid
6 of 10 tasks
Language feature support for LLVM-based verifiers bug Something isn't working LLVM Affects LLVM-based verifiers
#29 opened Sep 11, 2020 by alastairreid
7 of 12 tasks
Add support for MIR-based verification tools Crux CruxMIR support enhancement New feature or request
#28 opened Sep 11, 2020 by alastairreid
1 of 2 tasks
Add support for LLVM-based verification tools enhancement New feature or request KLEE KLEE support LLVM Affects LLVM-based verifiers SeaHorn SeaHorn support SMACK SMACK support
#27 opened Sep 11, 2020 by alastairreid
2 of 5 tasks
Add mir-verifier support to cargo-verify (excluding #[test]) mir-verifier Support for Galois Inc's MIR verifier
#11 opened Sep 1, 2020 by alastairreid
Add mir-verifier support to propverify (without #[test] support) mir-verifier Support for Galois Inc's MIR verifier
#10 opened Sep 1, 2020 by alastairreid
Support graybox fuzzing enhancement New feature or request fuzzing
#7 opened Sep 1, 2020 by alastairreid
Threads don't work enhancement New feature or request KLEE KLEE support
#5 opened Sep 1, 2020 by alastairreid
Handling of #[test] is a hack CargoVerify Related to cargo-verify driver script enhancement New feature or request
#4 opened Sep 1, 2020 by alastairreid
Handling of traits enhancement New feature or request propverify Related to propverify / proptest
#3 opened Sep 1, 2020 by alastairreid modular verification
No CI checks for commits enhancement New feature or request good first issue Good for newcomers
#2 opened Sep 1, 2020 by alastairreid
3 tasks
Compilation errors when switching from --test to checking main bug Something isn't working CargoVerify Related to cargo-verify driver script
#1 opened Aug 29, 2020 by alastairreid
ProTip! no:milestone will show everything without a milestone.