issues
search
project-oak
/
rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
https://project-oak.github.io/rust-verification-tools/
Apache License 2.0
273
stars
37
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
add llvm-13 support
#157
NEUZhangy
closed
2 years ago
0
Archive Project?
#156
indolering
opened
2 years ago
0
`cargo-verify` tutorial: `rvt-klee.bc` not found in docker
#155
avanhatt
closed
2 years ago
5
Wrong behavior when use float number
#154
luosichengx
closed
2 years ago
1
Add rudimentary support for the SMACK verifier
#153
keram88
closed
3 years ago
0
Some questions about Using Klee for Rust for Linux
#152
StevenJiang1110
closed
3 years ago
2
Add FROM instruction params
#151
thierrymarianne
closed
3 years ago
1
Docker images available from a registry
#150
thierrymarianne
closed
3 years ago
0
Add Github actions-based workflow to build and push Docker images
#149
thierrymarianne
closed
3 years ago
8
Revert "Update mkimage"
#148
alastairreid
closed
3 years ago
0
Update mkimage
#147
chadbrewbaker
closed
3 years ago
7
LLVM-11 support
#146
alastairreid
opened
3 years ago
3
Fix register_dtor issue
#145
alastairreid
closed
3 years ago
0
in docker env, got llvm-link-10 error
#144
NEUZhangy
closed
3 years ago
1
Generate keys, and store data in array.
#143
fshaked
closed
3 years ago
0
cargo-verify: add --bin option
#142
alastairreid
closed
3 years ago
0
AArch64 Docker build error
#141
chadbrewbaker
opened
3 years ago
4
only sudo docker if not in docker group
#140
alsuren
closed
3 years ago
0
Why sudo required for building image?
#139
gww-parity
closed
3 years ago
9
Klee examples does not build
#138
gww-parity
opened
3 years ago
2
Use relative paths in demo/example Cargo.toml files
#137
gww-parity
opened
3 years ago
4
README.md refers to `./scripts/cargo-verify` that seems deprecated (I see `old-cargo-verify`)
#136
gww-parity
closed
3 years ago
0
Docker cleanup
#135
alastairreid
closed
3 years ago
0
Website link to RSS feed is broken
#134
nyanpasu64
opened
3 years ago
1
pin down klee UCLIBC_VERSION
#133
alsuren
closed
3 years ago
0
CI and rustfmt
#132
alsuren
closed
3 years ago
2
docker/build script fails to build klee
#131
alsuren
closed
3 years ago
6
fix broken links in README.md
#130
alsuren
closed
3 years ago
3
Broken links in README.md
#129
alsuren
closed
3 years ago
1
Refactor verification-annotations
#128
fshaked
closed
3 years ago
0
Simd support
#127
alastairreid
closed
3 years ago
0
docker/init: use the right compiler
#126
alastairreid
closed
3 years ago
0
Fix sse2 problem
#125
alastairreid
closed
3 years ago
1
Add --output option to cargo-verify
#124
alastairreid
closed
3 years ago
1
Add a short README to docs
#123
fshaked
closed
3 years ago
0
Minor fixes to Using KLEE
#122
fshaked
closed
3 years ago
0
Add Using SeaHorn blog post
#121
fshaked
closed
3 years ago
0
invalid function pointer when using --posix-runtime
#120
alastairreid
closed
3 years ago
1
Add --verify_common_dir option to cargo-verify
#119
fshaked
closed
3 years ago
0
Add --replace-backend-flags to cargo-verify
#118
fshaked
closed
3 years ago
4
llvm-nm error if Cargo.toml uses [[bin]]
#117
alastairreid
closed
3 years ago
1
Docker: build libstd/libcore without vectorization
#116
alastairreid
closed
3 years ago
3
Annotations: fix type error in verifier_unreachable macro
#115
alastairreid
closed
3 years ago
0
Incorrectly trying to link ELF with .bc files
#114
alastairreid
closed
3 years ago
2
cargo-verify: tweak verbosity
#113
alastairreid
closed
3 years ago
3
SSE not (sufficiently?) disabled when compiling libcore
#112
alastairreid
closed
3 years ago
2
Compliation error when verifying programs that use dynamically linked libraries
#111
alastairreid
closed
3 years ago
2
Distinguish different kinds of error
#110
alastairreid
closed
3 years ago
0
Update SeaHorm's commit
#109
fshaked
closed
3 years ago
0
fix(demo): change deps path to be relative
#108
priyasiddharth
closed
3 years ago
1
Next