Changeset 1555 for src/ASM/Fetch.ma


Ignore:
Timestamp:
Nov 24, 2011, 5:19:30 PM (8 years ago)
Author:
boender
Message:
  • changes to assembly
  • added lookup to PositiveMap?
  • lightly changed Fetch to make it compile
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Fetch.ma

    r895 r1555  
    66 λpmem: BitVectorTrie Byte 16.
    77 λpc: Word.
    8   〈\snd (half_add … pc (bitvector_of_nat 16 (S O))), lookup pc pmem (zero 8)〉.
     8  〈\snd (half_add … pc (bitvector_of_nat 16 (S O))), lookup ? ? pc pmem (zero 8)〉.
    99
    1010(* timings taken from SIEMENS *)
Note: See TracChangeset for help on using the changeset viewer.