Vanille-N / tree-borrows

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

Home Page:https://perso.crans.org/vanille/treebor

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Vanille-N/tree-borrows Stargazers