Ignore:
Timestamp:
Mar 26, 2013, 4:51:40 PM (7 years ago)
Author:
sacerdot
Message:

New extraction, it diverges in RTL execution now.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/eRTLptr_semantics.ml

    r2951 r2960  
    196196    Obj.magic
    197197      (Monad.m_bind0 (Monad.max_def Errors.res0)
    198         (Obj.magic (ge.Joint_semantics.get_pc_from_label id l))
     198        (Obj.magic (Joint_semantics.gen_pc_from_label globals ge id l))
    199199        (fun pc_lab ->
    200200        let { Types.fst = addrl; Types.snd = addrh } =
     
    205205    Obj.magic
    206206      (Monad.m_bind0 (Monad.max_def Errors.res0)
    207         (Obj.magic (ge.Joint_semantics.get_pc_from_label id l))
     207        (Obj.magic (Joint_semantics.gen_pc_from_label globals ge id l))
    208208        (fun pc_lab ->
    209209        let { Types.fst = addrl; Types.snd = addrh } =
Note: See TracChangeset for help on using the changeset viewer.