- Timestamp:
- Feb 12, 2013, 2:47:18 AM (7 years ago)
- Location:
- src
- Files:
-
- 1 deleted
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
src/BACKEND_BROKEN_FILES
r2658 r2659 16 16 17 17 RTL/RTL_semantics.ma: parametri 18 RTL/RTLTailcall.ma FCOND rotto, cosa fare con sto codice? 19 RTL/RTLToERTL.ma 18 RTL/RTLToERTL.ma: parametri (??) 20 19 21 20 RTLabs/RTLabsToRTL.ma prova rotta (Ferruccio?) ci sta lavorando Paolo -
src/RTL/RTLToERTL.ma
r2490 r2659 1 include "RTL/RTLTailcall.ma".2 1 include "utilities/RegisterSet.ma". 3 2 include "common/Identifiers.ma". … … 314 313 definition rtl_to_ertl : rtl_program → ertl_program ≝ 315 314 λp. 316 let p ≝ tailcall_simplify p in (* tailcall simplification here *) 317 transform_program ??? p (λvarnames. transf_fundef ?? (translate_funct varnames)). 315 transform_program ??? p (λvarnames. transf_fundef ?? (translate_funct varnames)).
Note: See TracChangeset
for help on using the changeset viewer.