-
- Downloads
Merge branch 'ci/tree-borrows' into 'master'
Breaking change: `Reserved` now has one constructor instead of 4 See merge request !11
No related branches found
No related tags found
Showing
- theories/tree_borrows/bor_semantics.v 58 additions, 32 deletionstheories/tree_borrows/bor_semantics.v
- theories/tree_borrows/disjoint.v 7 additions, 7 deletionstheories/tree_borrows/disjoint.v
- theories/tree_borrows/lang_base.v 41 additions, 7 deletionstheories/tree_borrows/lang_base.v
- theories/tree_borrows/steps_preserve.v 11 additions, 16 deletionstheories/tree_borrows/steps_preserve.v
- theories/tree_borrows/steps_wf.v 17 additions, 14 deletionstheories/tree_borrows/steps_wf.v
Loading
Please register or sign in to comment