Ignore:
Timestamp:
Dec 2, 2012, 5:45:36 PM (8 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/AssemblyProofSplit.ma

    r2498 r2516  
    113113  ∀EQppc: ppc = program_counter pseudo_assembly_program cm ps.
    114114  ∀labels: label_map.
    115   ∀costs: costlabel_map.
     115  ∀costs: BitVectorTrie costlabel 16.
    116116  ∀create_label_cost_refl: create_label_cost_map instr_list = 〈labels, costs〉.
    117117  ∀newppc: Word.
Note: See TracChangeset for help on using the changeset viewer.