Changeset 700 for src/Clight/Cexec.ma


Ignore:
Timestamp:
Mar 18, 2011, 4:28:26 PM (10 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/Cexec.ma

    r693 r700  
    11
    22
    3 include "extralib.ma".
    4 include "IOMonad.ma".
    5 include "SmallstepExec.ma".
    6 include "Csem.ma".
     3include "utilities/extralib.ma".
     4include "common/IOMonad.ma".
     5include "common/SmallstepExec.ma".
     6include "Clight/Csem.ma".
    77
    88(*
Note: See TracChangeset for help on using the changeset viewer.