Changeset 1082 for src/LTL


Ignore:
Timestamp:
Jul 20, 2011, 5:17:38 PM (8 years ago)
Author:
mulligan
Message:

work from today on ertl -> ltl pass

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LTL/LTL.ma

    r757 r1082  
    1111  ltl_if_luniverse: universe LabelTag;
    1212  ltl_if_runiverse: universe RegisterTag;
    13   ltl_if_StackSize: nat;
    14   ltl_if_Graph: ltl_statement_graph globals;
    15   ltl_if_Entry: label;
    16   ltl_if_Exit: label
     13  ltl_if_stacksize: nat;
     14  ltl_if_graph: ltl_statement_graph globals;
     15  ltl_if_entry: Σl: label. lookup ? ? ltl_if_graph l ≠ None ?;
     16  ltl_if_exit: Σl: label. lookup ? ? ltl_if_graph l ≠ None ?
    1717}.
    1818
Note: See TracChangeset for help on using the changeset viewer.