Use explicit Global/Local atrritbutes; and Iris options
Showing
- theories/lang/arc.v 17 additions, 16 deletionstheories/lang/arc.v
- theories/lang/arc_cmra.v 13 additions, 11 deletionstheories/lang/arc_cmra.v
- theories/lang/lock.v 3 additions, 2 deletionstheories/lang/lock.v
- theories/lang/memcpy.v 1 addition, 1 deletiontheories/lang/memcpy.v
- theories/lang/spawn.v 2 additions, 2 deletionstheories/lang/spawn.v
- theories/lang/swap.v 1 addition, 1 deletiontheories/lang/swap.v
- theories/lifetime/at_borrow.v 2 additions, 2 deletionstheories/lifetime/at_borrow.v
- theories/lifetime/frac_borrow.v 7 additions, 6 deletionstheories/lifetime/frac_borrow.v
- theories/lifetime/lifetime.v 13 additions, 12 deletionstheories/lifetime/lifetime.v
- theories/lifetime/lifetime_sig.v 1 addition, 1 deletiontheories/lifetime/lifetime_sig.v
- theories/lifetime/meta.v 3 additions, 2 deletionstheories/lifetime/meta.v
- theories/lifetime/model/accessors.v 37 additions, 33 deletionstheories/lifetime/model/accessors.v
- theories/lifetime/model/borrow.v 3 additions, 1 deletiontheories/lifetime/model/borrow.v
- theories/lifetime/model/borrow_sep.v 8 additions, 6 deletionstheories/lifetime/model/borrow_sep.v
- theories/lifetime/model/boxes.v 31 additions, 30 deletionstheories/lifetime/model/boxes.v
- theories/lifetime/model/creation.v 8 additions, 6 deletionstheories/lifetime/model/creation.v
- theories/lifetime/model/definitions.v 15 additions, 14 deletionstheories/lifetime/model/definitions.v
- theories/lifetime/model/faking.v 6 additions, 3 deletionstheories/lifetime/model/faking.v
- theories/lifetime/model/in_at_borrow.v 6 additions, 5 deletionstheories/lifetime/model/in_at_borrow.v
- theories/lifetime/model/primitive.v 26 additions, 26 deletionstheories/lifetime/model/primitive.v
Loading
Please register or sign in to comment