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

    r2951 r2960  
    244244    Obj.magic
    245245      (Monad.m_bind0 (Monad.max_def Errors.res0)
    246         (Obj.magic (ge.Joint_semantics.get_pc_from_label curr_id l))
     246        (Obj.magic (Joint_semantics.gen_pc_from_label globals ge curr_id l))
    247247        (fun pc_lab ->
    248248        let { Types.fst = addrl; Types.snd = addrh } =
     
    258258    Obj.magic
    259259      (Monad.m_bind0 (Monad.max_def Errors.res0)
    260         (Obj.magic (ge.Joint_semantics.get_pc_from_label curr_id l))
     260        (Obj.magic (Joint_semantics.gen_pc_from_label globals ge curr_id l))
    261261        (fun pc_lab ->
    262262        let { Types.fst = addrl; Types.snd = addrh } =
Note: See TracChangeset for help on using the changeset viewer.