Ignore:
Timestamp:
Mar 25, 2013, 11:30:01 PM (7 years ago)
Author:
sacerdot
Message:

New extraction. Novely: a pre-main is used in the back-end. Initialization
of global data is performed in LINToASM.

Note: the cost-emission of the initialization costlabel in the front-end is
virtual, but not performed in the traces I generate and print. To be fixed
(how?)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTLabsToRTL.mli

    r2921 r2951  
    104104
    105105open RTLabs_syntax
     106
     107open Extra_bool
     108
     109open Globalenvs
    106110
    107111open String
     
    399403  Joint.joint_closed_internal_function
    400404
    401 val rtlabs_to_rtl : RTLabs_syntax.rTLabs_program -> RTL.rtl_program
    402 
     405val rtlabs_to_rtl :
     406  CostLabel.costlabel -> RTLabs_syntax.rTLabs_program -> RTL.rtl_program
     407
Note: See TracChangeset for help on using the changeset viewer.