Changeset 2516 for src/ASM/AssemblyProof.ma
- Timestamp:
- Dec 2, 2012, 5:45:36 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/AssemblyProof.ma
r2498 r2516 192 192 ∀sigma_policy_witness: sigma_policy_specification program sigma policy. 193 193 ∀assembled. 194 ∀costs': costlabel_map.194 ∀costs': BitVectorTrie costlabel 16. 195 195 let 〈preamble, instr_list〉 ≝ program in 196 196 let 〈labels, costs〉 ≝ create_label_cost_map instr_list in
Note: See TracChangeset
for help on using the changeset viewer.