Skip to content

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

Notifications You must be signed in to change notification settings

Vanille-N/tree-borrows

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

27 Commits
 
 
 
 
 
 
 
 
 
 
 
 

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

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published