2 Commits (df9bb5dc37a4270c844d3178e12c227244b28f32)

Author	SHA1	Message	Date
Radu Grigore	6f83c45e47	[topl] Remove nondet marker ... Summary: The explicit marker for nondeterministic states was used to speed up the shallow implementations of Topl, which ar enow removed. Reviewed By: jvillard Differential Revision: D27297019 fbshipit-source-id: 0fce93817	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	4 years ago