Changeset 837 for src/ASM/Assembly.ma


Ignore:
Timestamp:
May 25, 2011, 11:49:10 AM (9 years ago)
Author:
mulligan
Message:

changes complete

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Assembly.ma

    r836 r837  
    600600    | Some pc_delta_assembled ⇒
    601601      let 〈pc_delta, assembled〉 ≝ pc_delta_assembled in
    602       let code_memory ≝ load_code_memory assembled in
    603       let pc ≝ foldr ? ? (λy. λpc.
    604           let 〈instr_pc', ignore〉 ≝ fetch code_memory pc in
    605           let 〈instr', program_counter'〉 ≝ instr_pc' in
    606             program_counter') (zero ?) assembled in
    607       Some ? 〈(nat_of_bitvector 16 pc) + program_counter, costs〉       
     602        Some ? 〈pc_delta + program_counter, costs〉       
    608603    ]
    609604  ].
Note: See TracChangeset for help on using the changeset viewer.