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.

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
..
baos	[topl] Fixed an eggregious performance issue (repeated summaries).	4 years ago
compareArgs	[topl] Don't put trivial large steps in trace.	4 years ago
hasnext	[topl] Got rid of quadratic runtime for long methods.	4 years ago
immutableArray	[topl] Added limits, to avoid high runtimes in corner-cases.	4 years ago
servlet	[topl] Report error traces	4 years ago
skip	[topl] Interprocedural analysis (in Pulse)	4 years ago
slowIter	[topl] Interprocedural analysis (in Pulse)	4 years ago
taint	[topl] Be more precise in extracting summaries.	4 years ago
Makefile	[topl] Be more precise in extracting summaries.	4 years ago