Changeset 700 for src/Clight/Csem.ma


Ignore:
Timestamp:
Mar 18, 2011, 4:28:26 PM (9 years ago)
Author:
campbell
Message:

Get Clight semantics going again (except for problems CexecEquiv? that I caused
earlier).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/Csem.ma

    r648 r700  
    2323(*include "AST.ma".*)
    2424(*include "Mem.ma".*)
    25 include "Globalenvs.ma".
    26 include "Csyntax.ma".
    27 include "Maps.ma".
     25include "common/Globalenvs.ma".
     26include "Clight/Csyntax.ma".
     27include "common/Maps.ma".
    2828(*include "Events.ma".*)
    29 include "Smallstep.ma".
     29include "common/Smallstep.ma".
    3030
    3131(* * * Semantics of type-dependent operations *)
Note: See TracChangeset for help on using the changeset viewer.