Ignore:
Timestamp:
Nov 27, 2012, 6:01:50 PM (8 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/AssemblyProof.ma

    r2284 r2498  
    192192  ∀sigma_policy_witness: sigma_policy_specification program sigma policy.
    193193  ∀assembled.
    194   ∀costs': BitVectorTrie costlabel 16.
     194  ∀costs': costlabel_map.
    195195  let 〈preamble, instr_list〉 ≝ program in
    196196  let 〈labels, costs〉 ≝ create_label_cost_map instr_list in
Note: See TracChangeset for help on using the changeset viewer.