You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

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
..
.inferconfig	[inferbo] Substitute symbolic value of unknown function call to top	6 years ago
Array.java	[inferbo] Suppress ALLOC_IS_ZERO for C++'s array object	6 years ago
ArrayMember.java	[inferbo] Fix array member access in Java	6 years ago
CompressedData.java	[inferbo] Prettier field name for Java in traces	6 years ago
External.java	[inferbo] Substitute symbolic value of unknown function call to top	6 years ago
Makefile	[inferbo] Substitute symbolic value of unknown function call to top	6 years ago
issues.exp	[inferbo] Substitute symbolic value of unknown function call to top	6 years ago