Changes between Initial Version and Version 2 of Ticket #17196


Ignore:
Timestamp:
10/22/14 14:17:27 (6 years ago)
Author:
jdemeyer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #17196

    • Property Cc ncohen added
    • Property Summary changed from Clarify assumptions on bitset operations to Relax assumptions on bitset operations
  • Ticket #17196 – Description

    initial v2  
    77
    88However, in fact many of these requirements can be relaxed.
     9
     10In many cases, I simply change the comment to indicate what the real conditions are. For shifts, I actually change the implementation slightly such that the condition becomes ``r.size <= a.size + n`` which is useful for #15820.