Vanille-N / tree-borrows Public

Notifications You must be signed in to change notification settings
Fork 0
Star 23

Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust

perso.crans.org/vanille/treebor

23 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
figs		figs
full		full
half		half
model		model
.gitignore		.gitignore
README.md		README.md

Repository files navigation

Tree Borrows

Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust

Contents

model: early description of the model (Markdown) Note: some typos may have been fixed in half but not in model
half: midterm project report (LaTeX)
figs: shared figures for all documents (TikZ)

See also the Tree Borrows blog post

About

Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust

perso.crans.org/vanille/treebor

rust-lang formal-methods undefined-behavior tree-borrows

Report repository

Releases

No releases published

Packages

No packages published

Languages