infer_clone

Commit Graph

Author	SHA1	Message	Date
Sungkeun Cho	ab7c61b836	[inferbo] Extend bound domain to express multiplication of bounds Summary: This diff extends the bound domain to express multiplication of bounds in some simple cases. Reviewed By: ezgicicek Differential Revision: D18745246 fbshipit-source-id: 4f2dcb42c	6 years ago
Josh Berdine	cfc1c8be36	[copyright] Remove years Reviewed By: jvillard Differential Revision: D15771884 fbshipit-source-id: e2997e3a3	6 years ago
Ezgi Çiçek	f7deed7593	[cost] Add examples that we can't handle currently Reviewed By: mbouaziz, jvillard Differential Revision: D13596579 fbshipit-source-id: 7460d430d	7 years ago

Author

SHA1

Message

Date

Sungkeun Cho

ab7c61b836

[inferbo] Extend bound domain to express multiplication of bounds

Summary: This diff extends the bound domain to express multiplication of bounds in some simple cases.

Reviewed By: ezgicicek

Differential Revision: D18745246

fbshipit-source-id: 4f2dcb42c

Josh Berdine

cfc1c8be36

[copyright] Remove years

Reviewed By: jvillard

Differential Revision: D15771884

fbshipit-source-id: e2997e3a3

Ezgi Çiçek

f7deed7593

[cost] Add examples that we can't handle currently

Reviewed By: mbouaziz, jvillard

Differential Revision: D13596579

fbshipit-source-id: 7460d430d

3 Commits (9199aa4b24bf36dfcbbabed3f6bc6ee9d759e457)