3 Commits (61c0a92682f630b58424658491e7570842d4ff82)

Author	SHA1	Message	Date
Nikos Gorogiannis	ff819da3c6	[starvation-whole-program] more modeled executors ... Summary: Models never end. Reviewed By: skcho Differential Revision: D18656554 fbshipit-source-id: d22092b3a	5 years ago
Nikos Gorogiannis	883044763e	[starvation-whole-program] more executor models ... Summary: As per summary. Reviewed By: artempyanykh Differential Revision: D18591382 fbshipit-source-id: 3ce37d00b	5 years ago
Nikos Gorogiannis	08df37ef76	[starvation] whole program analysis ... Summary: First step towards a global analysis. A new command line flag activates the step in `Driver`. The whole-program analysis is a simple, quadratic (inefficient-as-yet), iteration over all domain elements. However, it is restricted to those elements that are explicitly scheduled to run. Reviewed By: skcho Differential Revision: D17787441 fbshipit-source-id: 9fecd766c	5 years ago