Changeset 840 for src/ASM/Assembly.ma
- Timestamp:
- May 25, 2011, 1:57:55 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/Assembly.ma
r837 r840 586 586 λi. 587 587 match i with 588 [ Comment comment ⇒ Some ? 〈program_counter, costs〉 589 | Cost cost ⇒ 588 [ Cost cost ⇒ 590 589 let program_counter_bv ≝ bitvector_of_nat ? program_counter in 591 590 Some ? 〈program_counter, (insert ? ? program_counter_bv cost costs)〉
Note: See TracChangeset
for help on using the changeset viewer.