Changeset 1987 for src/common


Ignore:
Timestamp:
May 24, 2012, 10:22:52 AM (8 years ago)
Author:
campbell
Message:

Move BEValues to common to reflect their use in the memory model for
everything.

Location:
src/common
Files:
1 edited
1 moved

Legend:

Unmodified
Added
Removed
  • src/common/ByteValues.ma

    r1986 r1987  
    11(* Type of values used in the dynamic semantics of the back-end intermediate
    2    languages. Inspired by common/Values.ma, adapted from Compcert *)
     2   languages, and the memory model for the whole compiler. Inspired by
     3   common/Values.ma, adapted from Compcert *)
    34
    45include "common/Pointers.ma".
  • src/common/FrontEndVal.ma

    r1874 r1987  
    11include "common/Values.ma".
    2 include "joint/BEValues.ma".
     2include "common/ByteValues.ma".
    33
    44(* Transform between lists of "back-end" (i.e., byte by byte) values and the
Note: See TracChangeset for help on using the changeset viewer.