intbound-improvements

View source
intbound-improvements
  • Contributors
    1. Loading...
Author Commit Message Date Builds
250+ commits behind default.
Carl Friedrich Bolz-Tereick
document branch
Carl Friedrich Bolz-Tereick
merge default
Carl Friedrich Bolz-Tereick
bounds propagation through int_invert
Carl Friedrich Bolz-Tereick
fix typo
Carl Friedrich Bolz-Tereick
invert(invert(x)) == x
Carl Friedrich Bolz-Tereick
remove copy-pasted comment
Carl Friedrich Bolz-Tereick
refactor the .make_??( methods to include versions that take constants as arguments (as opposed to bounds), make those versions the primitives
Carl Friedrich Bolz-Tereick
separate implementations of or and xor, improve upper bounds on both
Carl Friedrich Bolz-Tereick
improve the bounds computation of modulo