Changeset 1534 for src/ASM/CostsProof.ma


Ignore:
Timestamp:
Nov 23, 2011, 10:36:34 AM (9 years ago)
Author:
mulligan
Message:

committing my changes to interpret to prevent any further conflicts

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CostsProof.ma

    r1522 r1534  
    99  | LJMP _ ⇒ True
    1010  | SJMP _ ⇒ True
    11   | JMP _ ⇒ True
     11  | JMP _ ⇒ False
    1212  | RealInstruction ri ⇒
    1313    match ri with
     
    3131  [ ACALL _ ⇒ True
    3232  | LCALL _ ⇒ True
     33  | JMP ⇒ True (* XXX: is function pointer call *)
    3334  | _ ⇒ False
    3435  ].
Note: See TracChangeset for help on using the changeset viewer.