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.

File:
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".
Note: See TracChangeset for help on using the changeset viewer.