Changeset 1987


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

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

Location:
src
Files:
3 edited
1 moved

Legend:

Unmodified
Added
Removed
  • src/ASM/I8051.ma

    r1635 r1987  
    55include "ASM/ASM.ma".
    66include "ASM/Arithmetic.ma".
    7 include "joint/BEValues.ma".
     7include "common/ByteValues.ma".
    88include "ASM/BitVectorTrie.ma".
    99
  • 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
  • src/joint/BEMem.ma

    r1882 r1987  
    1212*)
    1313
    14 include "joint/BEValues.ma".
     14include "common/ByteValues.ma".
    1515include "common/GenMem.ma".
    1616
Note: See TracChangeset for help on using the changeset viewer.