Changeset 2908


Ignore:
Timestamp:
Mar 19, 2013, 8:00:12 PM (4 years ago)
Author:
sacerdot
Message:

Bug fixed by hand, they will be fixed automatically by the new extraction.

Location:
extracted
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • extracted/interpret.ml

    r2773 r2908  
    349349            in
    350350            let s0 = Status.set_8051_sfr cm s' Status.SFR_DPL bl in
    351             Status.set_8051_sfr cm s' Status.SFR_DPH bu)
     351            Status.set_8051_sfr cm s0 Status.SFR_DPH bu)
    352352        | ASM.DATA x -> (fun _ -> assert false (* absurd case *))
    353353        | ASM.DATA16 x -> (fun _ -> assert false (* absurd case *))
     
    22022202            (fun _ ->
    22032203            let s1 = Status.set_8051_sfr cm s' Status.SFR_DPL bl in
    2204             Status.set_8051_sfr cm s' Status.SFR_DPH bu)) __)) __)
     2204            Status.set_8051_sfr cm s1 Status.SFR_DPH bu)) __)) __)
    22052205        | ASM.DATA x -> (fun _ -> assert false (* absurd case *))
    22062206        | ASM.DATA16 x -> (fun _ -> assert false (* absurd case *))
  • extracted/status.ml

    r2890 r2908  
    37023702  let memory =
    37033703    match Vector.head' Nat.O bit_one with
    3704     | Bool.True -> s.low_internal_ram
    3705     | Bool.False -> s.high_internal_ram
     3704    | Bool.True -> s.high_internal_ram
     3705    | Bool.False -> s.low_internal_ram
    37063706  in
    37073707  BitVectorTrie.lookup (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S
Note: See TracChangeset for help on using the changeset viewer.