Changeset 746 for src/ASM/I8051.ma


Ignore:
Timestamp:
Apr 8, 2011, 11:51:38 AM (9 years ago)
Author:
mulligan
Message:

Changes to bitvectortrieset: equality on sets. Added new file for translation of variable set functor. other small changes.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/I8051.ma

    r724 r746  
    105105  | RegisterDPH ⇒ 35
    106106  ].
     107 
     108definition physical_register_count ≝ 36.
     109
     110definition word_of_register: Register → Word ≝
     111  λregister.
     112    bitvector_of_nat ? (nat_of_register register).
    107113
    108114definition compare_register: Register → Register → Compare ≝
Note: See TracChangeset for help on using the changeset viewer.