Ignore:
Timestamp:
Oct 7, 2010, 4:30:49 PM (10 years ago)
Author:
mulligan
Message:

Fixed bug with JNB not jumping correctly.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Pretty.mli

    r138 r163  
     1val pp_arg:
     2    [< `A
     3     | `ADDR11 of 'a BitVectors.vect
     4     | `ADDR16 of 'b BitVectors.vect
     5     | `A_DPTR
     6     | `A_PC
     7     | `B
     8     | `BIT of BitVectors.byte
     9     | `C
     10     | `DATA of 'c BitVectors.vect
     11     | `DATA16 of 'd BitVectors.vect
     12     | `DIRECT of BitVectors.byte
     13     | `DPTR
     14     | `EXT_INDIRECT of bool
     15     | `EXT_IND_DPTR
     16     | `INDIRECT of bool
     17     | `IND_DPTR
     18     | `NBIT of BitVectors.byte
     19     | `REG of BitVectors.bit * BitVectors.bit * BitVectors.bit
     20     | `REL of 'e BitVectors.vect ] -> string
    121val pp_instruction: [< ASM.labelled_instruction] -> string
Note: See TracChangeset for help on using the changeset viewer.