Ignore:
Timestamp:
Jan 25, 2011, 5:30:37 PM (9 years ago)
Author:
campbell
Message:

"memory_space" to "region" replacement to match ocaml code

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/C-semantics/Values.ma

    r478 r480  
    4343  | Vint: int -> val
    4444  | Vfloat: float -> val
    45   | Vptr: memory_space → block -> int -> val.
     45  | Vptr: region → block -> int -> val.
    4646
    4747ndefinition Vzero: val ≝ Vint zero.
Note: See TracChangeset for help on using the changeset viewer.