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

25 Open 31 Closed
25 Open 31 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

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
3
AArch64 Docker build error
#141 opened Jun 3, 2021 by chadbrewbaker
4
Klee examples does not build
#138 opened May 20, 2021 by gww-parity
2
Use relative paths in demo/example Cargo.toml files
#137 opened May 20, 2021 by gww-parity
4
Website link to RSS feed is broken
#134 opened May 17, 2021 by nyanpasu64
1
Seahorn verifies assert!(false)
#102 opened Mar 1, 2021 by fshaked
5
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
1
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
@fshaked
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
1
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
1
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
1
ProTip! Updated in the last three days: updated:>2024-05-22.