Changeset 3043 for extracted/lIN.ml


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/lIN.ml

    r3001 r3043  
    134134    (Obj.magic Types.It))) }, (List.Cons ({ Types.fst = Types.None;
    135135    Types.snd = (Joint.Sequential ((Joint.CALL ((Types.Inl
    136     (AST.prog_main p.Joint.joint_prog)), (Obj.magic Nat.O),
     136    p.Joint.joint_prog.AST.prog_main), (Obj.magic Nat.O),
    137137    (Obj.magic Types.It))), (Obj.magic Types.It))) }, (List.Cons
    138138    ({ Types.fst = (Types.Some l3); Types.snd = (Joint.Final (Joint.GOTO
Note: See TracChangeset for help on using the changeset viewer.