Update the heap construction to use the state interpretation.
Showing
- theories/lang/adequacy.v 15 additions, 14 deletionstheories/lang/adequacy.v
- theories/lang/derived.v 3 additions, 3 deletionstheories/lang/derived.v
- theories/lang/heap.v 111 additions, 237 deletionstheories/lang/heap.v
- theories/lang/lifting.v 165 additions, 91 deletionstheories/lang/lifting.v
- theories/lang/memcpy.v 3 additions, 4 deletionstheories/lang/memcpy.v
- theories/lang/new_delete.v 7 additions, 7 deletionstheories/lang/new_delete.v
- theories/lang/proofmode.v 15 additions, 27 deletionstheories/lang/proofmode.v
- theories/typing/bool.v 4 additions, 4 deletionstheories/typing/bool.v
- theories/typing/borrow.v 4 additions, 4 deletionstheories/typing/borrow.v
- theories/typing/cont.v 4 additions, 4 deletionstheories/typing/cont.v
- theories/typing/function.v 8 additions, 8 deletionstheories/typing/function.v
- theories/typing/int.v 4 additions, 4 deletionstheories/typing/int.v
- theories/typing/own.v 3 additions, 3 deletionstheories/typing/own.v
- theories/typing/programs.v 21 additions, 21 deletionstheories/typing/programs.v
- theories/typing/soundness.v 6 additions, 6 deletionstheories/typing/soundness.v
- theories/typing/type.v 1 addition, 1 deletiontheories/typing/type.v
- theories/typing/type_sum.v 11 additions, 11 deletionstheories/typing/type_sum.v
- theories/typing/unsafe/cell.v 2 additions, 2 deletionstheories/typing/unsafe/cell.v
- theories/typing/unsafe/refcell/ref_code.v 5 additions, 5 deletionstheories/typing/unsafe/refcell/ref_code.v
- theories/typing/unsafe/refcell/refcell_code.v 14 additions, 14 deletionstheories/typing/unsafe/refcell/refcell_code.v
Loading
Please register or sign in to comment