Changeset 1303 for src/RTL


Ignore:
Timestamp:
Oct 6, 2011, 12:16:22 AM (9 years ago)
Author:
sacerdot
Message:
  1. LTL/semantics.ma added (work in progress)
  2. init_locals fixed to take in input the old register environment, since physical registers should just be left untouched
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/semantics.ma

    r1301 r1303  
    1010
    1111(*CSC: XXXXX *)
    12 axiom rtl_init_locals : list register → register_env beval.
     12axiom rtl_init_locals : list register → register_env beval → register_env beval.
    1313axiom rtl_pop_frame: unit → res unit.
    1414axiom rtl_save_frame: unit → register_env beval → unit.
Note: See TracChangeset for help on using the changeset viewer.