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
274 stars 37 forks source link

Generate keys, and store data in array. #143

Closed fshaked closed 3 years ago