Changeset 3365


Ignore:
Timestamp:
Jun 17, 2013, 3:18:22 PM (4 years ago)
Author:
boender
Message:
  • changed spelling error
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CPP2013-policy/proof.tex

    r3364 r3365  
    5151the program. This worst case is reached if at every iteration, we change the
    5252encoding of exactly one branch instruction; since the encoding of any branch
    53 instructions can change first from short to absolute and then to long, there
     53instruction can change first from short to absolute, and then to long, there
    5454can be at most $2n$ changes.
    5555
Note: See TracChangeset for help on using the changeset viewer.