Added methods to check for under-/overflow in additions, subtractions, signed divisions/modulus, negations, and multiplications.
Details
Details
Diff Detail
Diff Detail
- Repository
- rL LLVM
Differential D59796
New methods to check for under-/overflow in the SMT API mikhail.ramalho on Mar 25 2019, 1:12 PM. Authored by
Details Added methods to check for under-/overflow in additions, subtractions, signed divisions/modulus, negations, and multiplications.
Diff Detail
|