Changeset 1644 for src/RTL


Ignore:
Timestamp:
Jan 13, 2012, 3:08:55 PM (8 years ago)
Author:
tranquil
Message:

minor changes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTL_paolo.ma

    r1643 r1644  
    9696
    9797
    98 definition rtl_instruction ≝ joint_instruction rtl_uns_params.
     98definition rtl_instruction ≝ joint_instruction rtl_params.
     99unification hint 0 ≔
     100(*---------------*) ⊢
     101ext_instruction (u_inst_pars (g_u_pars rtl_params)) ≡ rtl_instruction_extension.
     102unification hint 0 ≔ globals
     103(*---------------*) ⊢
     104joint_instruction (u_inst_pars (g_u_pars rtl_params)) globals ≡ rtl_instruction globals.
    99105
    100106definition rtl_statement ≝ joint_statement rtl_params.
     107unification hint 0 ≔
     108(*---------------*) ⊢
     109ext_fin_instruction (u_inst_pars (g_u_pars rtl_params)) ≡ rtl_statement_extension.
     110unification hint 0 ≔ globals
     111(*---------------*) ⊢
     112joint_statement (stmt_pars (graph_params_to_params rtl_params)) globals ≡ rtl_statement globals.
    101113
    102114definition rtl_internal_function ≝
Note: See TracChangeset for help on using the changeset viewer.