Ignore:
Timestamp:
Dec 2, 2012, 5:45:36 PM (7 years ago)
Author:
mckinna
Message:

removed typedefs; restored older versions; moved typedefs to compiler.ma
AssemblyProofSplit? *still* doesn't typecheck: disambiguation errors!

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/AbstractStatus.ma

    r2498 r2516  
    4848definition current_instruction_label ≝
    4949  λcode_memory.
    50   λcost_labels: costlabel_map.
     50  λcost_labels: BitVectorTrie costlabel 16.
    5151  λs: Status code_memory.
    5252  let pc ≝ program_counter … code_memory s in
Note: See TracChangeset for help on using the changeset viewer.