Changeset 2472


Ignore:
Timestamp:
Nov 16, 2012, 6:41:52 PM (7 years ago)
Author:
campbell
Message:

Misc clight->cminor notes.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • etc/campbell/dev-notes/2012-10-31-clight-to-cminor.txt

    r2454 r2472  
    5252       │
    5353       └→ Program correctness
     54
     55More stuff:
     56- On function entry we store parameters that have stack allocated to them - so
     57  calls will have to do several steps to get back to the simulation relation
     58- The simulation relation will need to relate the continuations for loops in
     59  Clight with a list of facts about where the entry/exit labels in Cminor go,
     60  as there is no corresponding information in Cminor continuations/stacks.
Note: See TracChangeset for help on using the changeset viewer.