Changeset 1479 for src/ASM/Assembly.ma


Ignore:
Timestamp:
Nov 2, 2011, 8:27:30 AM (8 years ago)
Author:
boender
Message:
  • added insert_lookup_opt
  • assembly compiles now
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Assembly.ma

    r1459 r1479  
    10001000definition jump_expansion': pseudo_assembly_program → policy_type ≝
    10011001 λprogram.λpc.
    1002   let policy ≝ jump_expansion_internal (\snd program) in
     1002  let policy ≝ jump_expansion_internal (\snd program) (|\snd program|) in
    10031003  let 〈n,j〉 ≝ lookup ? ? pc policy 〈0, long_jump〉 in
    10041004    j.
Note: See TracChangeset for help on using the changeset viewer.