Changeset 2640 for src/RTL


Ignore:
Timestamp:
Feb 7, 2013, 3:13:41 PM (7 years ago)
Author:
tranquil
Message:

updated RTL and RTLabs to RTL translation

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTL.ma

    r2490 r2640  
    1818    (* call_dest ≝ *) (list register)
    1919    (* ext_seq ≝ *) rtl_seq
     20    (* ext_seq_labels ≝ *) (λ_.[])
    2021    (* has_tailcalls ≝ *) has_tailcalls
    21     (* paramsT ≝ *) (list register)
    22     (* localsT ≝ *) register.
     22    (* paramsT ≝ *) (list register).
    2323
    2424definition RTL ≝ mk_graph_params (RTL_uns true).
Note: See TracChangeset for help on using the changeset viewer.