Changeset 1925 for src/ASM/Assembly.ma


Ignore:
Timestamp:
May 8, 2012, 6:08:34 PM (8 years ago)
Author:
boender
Message:
  • re-added jump_lenggh
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Assembly.ma

    r1905 r1925  
    99(**************************************** START OF POLICY ABSTRACTION ********************)
    1010
    11 (* definition of & operations on jump length
     11(* definition of & operations on jump length *)
    1212inductive jump_length: Type[0] ≝
    1313  | short_jump: jump_length
    1414  | medium_jump: jump_length
    15   | long_jump: jump_length. *)
     15  | long_jump: jump_length.
    1616
    1717definition assembly_preinstruction ≝
Note: See TracChangeset for help on using the changeset viewer.