3 ms·
I am the main author of the tool. Vytautas has helped me get the Rust compiler integration set up :-) The closer relation would be to Prusti [1] which is Vytau
by wcrichton 5y ago
I am the main author of the tool. Vytautas has helped me get the Rust compiler integration set up :-)
The closer relation would be to Prusti [1] which is Vytautas' project on verifying Rust codebases. We use the same IR emitted by the Rust compiler.
[1] https://github.com/viperproject/prusti-dev https://github.com/viperproject/prusti-dev