Changeset 840 for src/ASM/Assembly.ma


Ignore:
Timestamp:
May 25, 2011, 1:57:55 PM (9 years ago)
Author:
sacerdot
Message:

sigma defined

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ASM/Assembly.ma

    r837 r840  
    586586  λi.
    587587  match i with
    588   [ Comment comment ⇒ Some ? 〈program_counter, costs〉
    589   | Cost cost ⇒
     588  [ Cost cost ⇒
    590589    let program_counter_bv ≝ bitvector_of_nat ? program_counter in
    591590      Some ? 〈program_counter, (insert ? ? program_counter_bv cost costs)〉
Note: See TracChangeset for help on using the changeset viewer.