Changeset 1515 for src/ASM/I8051.ma


Ignore:
Timestamp:
Nov 18, 2011, 1:03:14 PM (8 years ago)
Author:
campbell
Message:

Add type of maps on positive binary numbers, and use them for identifers.

Also:

  • fix interpretation for - on positives
  • move eq_nat_dec to a more appropriate place
  • split out costs from other identifiers in ASM
  • use identifier abstractions in back-end
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ASM/I8051.ma

    r1416 r1515  
    77include "utilities/Compare.ma".
    88include "joint/BEValues.ma".
     9include "ASM/BitVectorTrie.ma".
    910
    1011definition int_size ≝ bitvector_of_nat 8 1.
Note: See TracChangeset for help on using the changeset viewer.