Vanille-N/tree-borrows
Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
TeX
Stargazers
- alecmocatta@tablyinc
- astrolemonade
- bindsdevHouston, TX
- bryangarzaAmazon Lab126
- davidhsReykjavík
- donghyunlee00SNU CSE | Null@Root
- duinomakerNanjing, China
- evanrichter
- jasonyu1996National University of Singapore
- jryansLondon, UK
- lafeychine
- lcgong
- mkflanHouston, TX
- n-gudeGermany
- nwtnniCambridge, MA
- SaltyPeppermintChair of Software Systems at Leipzig University
- sun-jacobiKyoto University
- uonrJapan
- ur5usUnfolding Web
- yvtJapan
- zjp-CN