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/AssemblyProof.ma

    r2498 r2516  
    192192  ∀sigma_policy_witness: sigma_policy_specification program sigma policy.
    193193  ∀assembled.
    194   ∀costs': costlabel_map.
     194  ∀costs': BitVectorTrie costlabel 16.
    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.