Skip to content

Latest commit

 

History

History
11 lines (8 loc) · 416 Bytes

README.md

File metadata and controls

11 lines (8 loc) · 416 Bytes
Raw

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