Ignore:
Timestamp:
Nov 27, 2012, 6:01:50 PM (7 years ago)
Author:
mckinna
Message:

Refactor:
Typedefs object_code and costlabel_map lifted out from ASMCostsSplit.ma
Dependencies simplified.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/AssemblyProofSplit.ma

    r2301 r2498  
    113113  ∀EQppc: ppc = program_counter pseudo_assembly_program cm ps.
    114114  ∀labels: label_map.
    115   ∀costs: BitVectorTrie costlabel 16.
     115  ∀costs: costlabel_map.
    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.