Name		Name	Last commit message	Last commit date
parent directory ..
src		src
tests		tests
Cargo.toml		Cargo.toml
README.md		README.md
clippy.toml		clippy.toml

README.md

Prusti-server

Server that answers verification requests of programs defined with the VIR representation.