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
add llvm-13 support
#157
Closed
NEUZhangy
closed
2 years ago