3 Commits (master)

Author	SHA1	Message	Date
markma	f8dfc1ce1f	0.0.1	4 years ago
markma	09fba4a0b5	0.0.1	4 years ago
Radu Grigore	f8aa139b88	[topl] Be more precise in extracting summaries. ... Summary: When extracting summaries, ask PulseFormula to work harder to prove that path-conditions are unsat. This reduces the number of false positives. Reviewed By: jvillard Differential Revision: D25270609 fbshipit-source-id: 61ef5e8ac	5 years ago