Page MenuHomePhabricator

New methods to check for under-/overflow in the SMT API
ClosedPublic

Authored by mikhail.ramalho on Mar 25 2019, 1:12 PM.

Details

Summary

Added methods to check for under-/overflow in additions, subtractions, signed divisions/modulus, negations, and multiplications.

Diff Detail

Repository
rL LLVM

Event Timeline

Herald added a project: Restricted Project. · View Herald TranscriptMar 25 2019, 1:12 PM
ddcc accepted this revision.Mar 25 2019, 9:24 PM
This revision is now accepted and ready to land.Mar 25 2019, 9:24 PM
gou4shi1 accepted this revision.Mar 25 2019, 9:32 PM

It works, thx.

This revision was automatically updated to reflect the committed changes.