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/ERTL/ERTLToLTLI.ml

    r818 r1345  
    163163
    164164      | ERTL.St_cost (cost_lbl, l) ->
    165         LTL.St_cost (cost_lbl, l)
     165    LTL.St_cost (cost_lbl, l)
     166
     167      | ERTL.St_ind_0 (i, l) ->
     168    LTL.St_ind_0 (i, l)
     169
     170      | ERTL.St_ind_inc (i, l) ->
     171    LTL.St_ind_inc (i, l)
    166172
    167173      | ERTL.St_get_hdw (destr, sourcehwr, l) ->
Note: See TracChangeset for help on using the changeset viewer.