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/common/SmallstepExec.ma

    r695 r700  
    11
    2 include "extralib.ma".
    3 include "IOMonad.ma".
    4 include "Integers.ma".
    5 include "Events.ma".
    6 include "Mem.ma".
     2include "utilities/extralib.ma".
     3include "common/IOMonad.ma".
     4include "common/Integers.ma".
     5include "common/Events.ma".
     6include "common/Mem.ma".
    77
    88record execstep : Type[1] ≝
Note: See TracChangeset for help on using the changeset viewer.