There was a problem fetching the pipeline mini graph.
Merge branch 'jh/alive_coercions' into 'master'
Make [ELCtx_Alive] a coercion See merge request !6
Showing
- theories/lifetime/lifetime.v 3 additions, 0 deletionstheories/lifetime/lifetime.v
- theories/lifetime/lifetime_sig.v 24 additions, 14 deletionstheories/lifetime/lifetime_sig.v
- theories/lifetime/model/borrow.v 3 additions, 3 deletionstheories/lifetime/model/borrow.v
- theories/lifetime/model/definitions.v 13 additions, 1 deletiontheories/lifetime/model/definitions.v
- theories/lifetime/model/primitive.v 25 additions, 17 deletionstheories/lifetime/model/primitive.v
- theories/lifetime/model/reborrow.v 6 additions, 6 deletionstheories/lifetime/model/reborrow.v
- theories/typing/borrow.v 1 addition, 1 deletiontheories/typing/borrow.v
- theories/typing/examples/get_x.v 1 addition, 1 deletiontheories/typing/examples/get_x.v
- theories/typing/examples/unbox.v 1 addition, 1 deletiontheories/typing/examples/unbox.v
- theories/typing/function.v 144 additions, 119 deletionstheories/typing/function.v
- theories/typing/lft_contexts.v 18 additions, 19 deletionstheories/typing/lft_contexts.v
- theories/typing/lib/cell.v 3 additions, 3 deletionstheories/typing/lib/cell.v
- theories/typing/lib/fake_shared_box.v 2 additions, 3 deletionstheories/typing/lib/fake_shared_box.v
- theories/typing/lib/option.v 1 addition, 1 deletiontheories/typing/lib/option.v
- theories/typing/lib/refcell/ref.v 4 additions, 4 deletionstheories/typing/lib/refcell/ref.v
- theories/typing/lib/refcell/ref_code.v 10 additions, 12 deletionstheories/typing/lib/refcell/ref_code.v
- theories/typing/lib/refcell/refcell.v 7 additions, 6 deletionstheories/typing/lib/refcell/refcell.v
- theories/typing/lib/refcell/refcell_code.v 13 additions, 17 deletionstheories/typing/lib/refcell/refcell_code.v
- theories/typing/lib/refcell/refmut.v 10 additions, 10 deletionstheories/typing/lib/refcell/refmut.v
- theories/typing/lib/refcell/refmut_code.v 13 additions, 16 deletionstheories/typing/lib/refcell/refmut_code.v
Loading
Please register or sign in to comment