18ea3f99d8
[inferbo][bugfix] Plus semantics of interval domain
...
Summary: It corrects a precision bug in the interval domain, with adding some test cases.
Reviewed By: mbouaziz
Differential Revision: D7230918
fbshipit-source-id: 3ec641a
7 years ago
d71d759344
[inferbo] Fix division by constant
...
Reviewed By: jvillard
Differential Revision: D6703065
fbshipit-source-id: 00e5f67
7 years ago
f8b8dd1abb
[infer] Parse unsigned short (uint16_t) as IUShort
...
Reviewed By: mbouaziz
Differential Revision: D5300702
fbshipit-source-id: 645d8b6
8 years ago
52c0caafaf
[inferbo] Declare unsigned typed parameters
...
Reviewed By: mbouaziz
Differential Revision: D5272681
fbshipit-source-id: 7edf251
8 years ago
1f721d0824
[inferbo] Revise modulo semantics for positive values
...
Reviewed By: mbouaziz
Differential Revision: D5272606
fbshipit-source-id: 2a4f69d
8 years ago
aad66bc6f6
[inferbo] More tests
...
Reviewed By: skcho
Differential Revision: D5265505
fbshipit-source-id: 5fc05f9
8 years ago
Sungkeun Cho
Mehdi Bouaziz