A model of stacked borrows for code instrumentation and verification
Primary LanguageC
No issues in this repository yet.