Ignore:
Timestamp:
Oct 10, 2011, 5:50:56 PM (9 years ago)
Author:
tranquil
Message:

work on ERTL and LTL completed

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-indexed-labels-branch/src/LTL/branch.ml

    r818 r1345  
    5252    | LTL.St_cost (lbl, l) ->
    5353      LTL.St_cost (lbl, rep l)
     54                | LTL.St_ind_0 (i, l) ->
     55                        LTL.St_ind_0 (i, rep l)
     56    | LTL.St_ind_inc (i, l) ->
     57            LTL.St_ind_inc (i, rep l)
    5458    | LTL.St_int (r, i, l) ->
    5559      LTL.St_int (r, i, rep l)
Note: See TracChangeset for help on using the changeset viewer.