Verifying purely `unsafe` Rust programs with VeriFast: a tutorial

Name		Name	Last commit message	Last commit date
Latest commit History 84 Commits
.github/workflows		.github/workflows
.gitignore		.gitignore
README.md		README.md
branch-left.pdf		branch-left.pdf
branch-left.svg		branch-left.svg
illegal_access.png		illegal_access.png
illegal_access2.png		illegal_access2.png
illegal_access3.png		illegal_access3.png
listings-rust.sty		listings-rust.sty
luximono.sty		luximono.sty
step.pdf		step.pdf
step.svg		step.svg
tutorial.tex		tutorial.tex

Provide feedback