Changeset 2028 for src/ASM/Assembly.ma


Ignore:
Timestamp:
Jun 7, 2012, 5:58:26 PM (8 years ago)
Author:
boender
Message:
  • bugfix to Assembly (forgotten sigma)
  • added add_bitvector_of_nat_plus to Arithmetic
  • insert_lookup_opt_miss to BitVectorTrie?
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Assembly.ma

    r2022 r2028  
    559559        [ SJMP address ]
    560560    else
    561       let 〈fst_5_addr, rest_addr〉 ≝ split ? 5 11 (lookup_labels jmp) in
     561      let 〈fst_5_addr, rest_addr〉 ≝ split ? 5 11 (sigma (lookup_labels jmp)) in
    562562      let 〈fst_5_pc, rest_pc〉 ≝ split ? 5 11 pc_plus_jmp_length in
    563563      if eq_bv ? fst_5_addr fst_5_pc ∧ ¬ do_a_long then
Note: See TracChangeset for help on using the changeset viewer.