2 Commits (d4e4ed55bc60c877b86f56161827f9c6d5d39a43)

Author	SHA1	Message	Date
Sungkeun Cho	c92d56e4ad	[inferbo] Substitute symbolic value of unknown function call to top ... Summary: This diff substitutes symbolic values for unknown functions in proof obligations to top. The goal of the diff is to avoid generating too many number of proof obligations that cannot be concretized. Reviewed By: ezgicicek Differential Revision: D14537542 fbshipit-source-id: 7f8f3bb4b	6 years ago
Sungkeun Cho	aa3fa55f05	[inferbo] Fix check of access condition ... Reviewed By: mbouaziz Differential Revision: D13114160 fbshipit-source-id: 9e46cf814	6 years ago