Ignore:
Timestamp:
Apr 2, 2013, 11:11:31 AM (7 years ago)
Author:
sacerdot
Message:

Bug fixed in the semantics of JMP.
The bug was due to a bug in the datasheets!

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/interpret.ml

    r3043 r3060  
    19541954             (Nat.S Nat.O))))))))) big_acc dptr
    19551955       in
    1956        let new_pc =
    1957          Arithmetic.add (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S
    1958            (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S
    1959            Nat.O)))))))))))))))) s0.Status.program_counter jmp_addr
    1960        in
    1961        Status.set_program_counter cm s0 new_pc)) __
     1956       Status.set_program_counter cm s0 jmp_addr)) __
    19621957
    19631958(** val execute_1_preinstruction_ok' :
Note: See TracChangeset for help on using the changeset viewer.