7 Commits (master)

Author	SHA1	Message	Date
markma	f8dfc1ce1f	0.0.1	4 years ago
markma	09fba4a0b5	0.0.1	4 years ago
Josh Berdine	cfc1c8be36	[copyright] Remove years ... Reviewed By: jvillard Differential Revision: D15771884 fbshipit-source-id: e2997e3a3	6 years ago
Sungkeun Cho	a8dbaf082d	[inferbo] Weak update for array contents ... Summary: It weakly updates array when there are more than two contents. Reviewed By: mbouaziz Differential Revision: D13318443 fbshipit-source-id: fa740d8b1	7 years ago
Sungkeun Cho	b4683d965d	[inferbo] Resize array on casting ... Summary: It modifies sizes and offsets of array values on pointer castings. Currently, it supports only simple castings of pointer-to-integers. Reviewed By: mbouaziz Differential Revision: D12920589 fbshipit-source-id: a5ba831b8	7 years ago
Sungkeun Cho	1503f63c27	[inferbo] Fix evaluation of multi-dimensional arrays ... Reviewed By: mbouaziz Differential Revision: D13082043 fbshipit-source-id: 5a45b4eee	7 years ago
Sungkeun Cho	07f8855185	[inferbo] Fix condition check of multi-dimensional array ... Reviewed By: mbouaziz Differential Revision: D13082491 fbshipit-source-id: 43775a1a1	7 years ago