Name		Name	Last commit message	Last commit date
parent directory ..
src		src
Cargo.toml		Cargo.toml
README.md		README.md
build.rs		build.rs

README.md

Prusti

This crate prepares Prusti and executes the Rust compiler using the rustc driver interface.