Ignore:
Timestamp:
Aug 24, 2011, 5:12:10 PM (9 years ago)
Author:
campbell
Message:

Update branch.

Location:
Deliverables/D3.3/id-lookup-branch
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.3/id-lookup-branch

  • Deliverables/D3.3/id-lookup-branch/RTL/RTL.ma

    r1091 r1109  
    2626  | rtl_st_cond: register → label → label → rtl_statement
    2727  | rtl_st_set_carry: label → rtl_statement
    28   | rtl_st_return: label → rtl_statement.
     28  | rtl_st_return: rtl_statement.
    2929 
    3030definition rtl_statement_graph ≝ graph rtl_statement.
  • Deliverables/D3.3/id-lookup-branch/RTL/RTLtoERTL.ma

    r1081 r1109  
    190190 
    191191definition save_hdws_internal ≝
    192   λdestr_srcr: register × hardware_register.
     192  λdestr_srcr: register × Register.
    193193  λstart_lbl: label.
    194194    let 〈destr, srcr〉 ≝ destr_srcr in
     
    200200   
    201201definition restore_hdws_internal ≝
    202   λdestr_srcr: hardware_register × register.
     202  λdestr_srcr: Register × register.
    203203  λstart_lbl: label.
    204204    let 〈destr, srcr〉 ≝ destr_srcr in
Note: See TracChangeset for help on using the changeset viewer.