Ignore:
Timestamp:
Mar 29, 2013, 6:38:26 PM (7 years ago)
Author:
sacerdot
Message:

New major extraction that should have solved all remaining issues.
As tests/PROBLEMI shows, we still have some bugs with:

a) initialization of global data (regression)
b) function pointers call

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/lTL_printer.ml

    r2951 r3043  
    132132    prog
    133133    (Joint_printer.graph_code_iteration_params LTL.lTL
    134       (List.map (fun x -> x.Types.fst.Types.fst)
    135         prog.Joint.joint_prog.AST.prog_vars) pp)
     134      (Joint.prog_names (Joint.graph_params_to_params LTL.lTL) prog) pp)
    136135
Note: See TracChangeset for help on using the changeset viewer.