Ignore:
Timestamp:
Mar 28, 2013, 5:27:46 PM (7 years ago)
Author:
sacerdot
Message:

New extraction after ERTLptr abortion.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/joint_LTL_LIN_semantics.ml

    r2997 r3019  
    235235      (Monad.m_return0 (Monad.max_def Errors.res0)
    236236        (Joint_semantics.set_carry lTL_LIN_state carry st))
    237   | Joint_LTL_LIN.LOW_ADDRESS (r, l) ->
     237  | Joint_LTL_LIN.LOW_ADDRESS l ->
    238238    Obj.magic
    239239      (Monad.m_bind0 (Monad.max_def Errors.res0)
     
    244244        in
    245245        let regs =
    246           SemanticsUtils.hwreg_store r addrl
     246          SemanticsUtils.hwreg_store I8051.RegisterA addrl
    247247            (Obj.magic st.Joint_semantics.regs)
    248248        in
    249249        Monad.m_return0 (Monad.max_def Errors.res0)
    250250          (Joint_semantics.set_regs lTL_LIN_state (Obj.magic regs) st)))
    251   | Joint_LTL_LIN.HIGH_ADDRESS (r, l) ->
     251  | Joint_LTL_LIN.HIGH_ADDRESS l ->
    252252    Obj.magic
    253253      (Monad.m_bind0 (Monad.max_def Errors.res0)
     
    258258        in
    259259        let regs =
    260           SemanticsUtils.hwreg_store r addrh
     260          SemanticsUtils.hwreg_store I8051.RegisterA addrh
    261261            (Obj.magic st.Joint_semantics.regs)
    262262        in
Note: See TracChangeset for help on using the changeset viewer.