Changeset 24 for C-semantics/Mem.ma


Ignore:
Timestamp:
Aug 27, 2010, 1:21:50 PM (10 years ago)
Author:
campbell
Message:

Separate out IOMonad from the rest of the executable semantics.
Start adding simulation results.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • C-semantics/Mem.ma

    r15 r24  
    15031503    nrewrite > (high_bound_free … ne);
    15041504    #Hval; #Hlo; #Hhi; #Hal;
    1505     @; /2/; @; //; napply (valid_block_free_2 … Hval);
     1505    @; ##[ @; //; napply (valid_block_free_2 … Hval); ##| /2/ ##]
    15061506##] nqed.
    15071507
Note: See TracChangeset for help on using the changeset viewer.