Use new lemmas of Iris about updates that take a step.
Showing
- opam.pins 1 addition, 1 deletionopam.pins
- theories/lifetime/shr_borrow.v 1 addition, 1 deletiontheories/lifetime/shr_borrow.v
- theories/typing/perm_incl.v 1 addition, 1 deletiontheories/typing/perm_incl.v
- theories/typing/type.v 16 additions, 20 deletionstheories/typing/type.v
- theories/typing/type_incl.v 3 additions, 6 deletionstheories/typing/type_incl.v
- theories/typing/typing.v 29 additions, 35 deletionstheories/typing/typing.v
Loading
Please register or sign in to comment