Changeset 1236 for src/joint


Ignore:
Timestamp:
Sep 21, 2011, 3:56:54 PM (8 years ago)
Author:
sacerdot
Message:

LTLToLin.ma completed (up to a couple of daemons used to provide dead code/data
that will be removed from the joint status later)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/Joint.ma

    r1233 r1236  
    5656  joint_if_params   : paramsT p;
    5757  joint_if_locals   : localsT p;
     58(*CSC: XXXXX stacksize unused for LTL-...*)
    5859  joint_if_stacksize: nat;
    5960  joint_if_lookup   : label → option (joint_statement p globals);
     61(*CSC: XXXXX entry unused for LIN, but invariant in that case... *)
    6062  joint_if_entry    : Σl: label. joint_if_lookup l ≠ None ?;
     63(*CSC: XXXXX exit only used up to RTL (and only for tailcall removal) *)
    6164  joint_if_exit     : Σl: label. joint_if_lookup l ≠ None ?
    6265}.
Note: See TracChangeset for help on using the changeset viewer.