Changeset 2604 for src/ERTL


Ignore:
Timestamp:
Feb 5, 2013, 10:49:42 PM (7 years ago)
Author:
piccolo
Message:

ERTLtoERTLptr in place.

Location:
src/ERTL
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL.ma

    r2563 r2604  
    3939    (* ext_seq_labels ≝ *) (λ_.[])
    4040    (* has_tailcall ≝ *) false
    41     (* paramsT ≝ *) ℕ
    42     (* localsT ≝ *) register.
     41    (* paramsT ≝ *) ℕ.
    4342
    4443definition ERTL ≝ mk_graph_params ERTL_uns.
  • src/ERTL/ERTL_semantics.ma

    r2601 r2604  
    133133  (* snd_arg_retrieve_  ≝ *) ps_arg_retrieve
    134134  (* pair_reg_move_     ≝ *) ertl_eval_move
    135   (* allocate_local     ≝ *) ertl_allocate_local
    136135  (* save_frame         ≝ *) ertl_save_frame
    137136  (* setup_call         ≝ *) (λ_.λ_.λ_.λst.return st)
Note: See TracChangeset for help on using the changeset viewer.