Changeset 2516 for src/ASM/AbstractStatus.ma

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:

• src/ASM/AbstractStatus.ma (modified) (1 diff)

src/ASM/AbstractStatus.ma

@@ -48 +48 @@
 definition current_instruction_label ≝
   λcode_memory.
-  λcost_labels: costlabel_map.
+  λcost_labels: BitVectorTrie costlabel 16.
   λs: Status code_memory.
   let pc ≝ program_counter … code_memory s in