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/rTLabs_syntax.mli

    r2773 r2951  
    419419val internal_function_jmdiscr : internal_function -> internal_function -> __
    420420
    421 type rTLabs_program = (internal_function AST.fundef, Nat.nat) AST.program
    422 
     421type rTLabs_program =
     422  (internal_function AST.fundef, AST.init_data List.list) AST.program
     423
Note: See TracChangeset for help on using the changeset viewer.