Ignore:
Timestamp:
Feb 22, 2013, 7:20:24 PM (7 years ago)
Author:
sacerdot
Message:

ASMCosts.ma repaired

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/WellLabeled.ma

    r2032 r2710  
    7575        | _ ⇒ λabsurd. ⊥
    7676        ] (subaddressing_modein … sjmp)
    77       | JMP jmp ⇒ True (* XXX: check is dynamic, as we can only jump to functions *)
    7877      | MOVC _ _ ⇒ True
    7978      | RealInstruction instruction ⇒
Note: See TracChangeset for help on using the changeset viewer.