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	c829db4964	[topl] Fixed an eggregious performance issue (repeated summaries). ... Summary: Makes sure that topl summaries don't repeat. Previously this happened when two posts led to the same summary when procedure-local variables were killed. Such repeated summaries quickly lead to exponential explosion. (For example, the added test -- `ManyLoops.java` -- didn't finish in any reasonable time.) Reviewed By: jvillard Differential Revision: D25209623 fbshipit-source-id: 04b1a3e12	5 years ago