1. f9a0d44 [Coverage] Emit deferred regions in headers by Vedant Kumar · 8 years ago
  2. 341bf42 [Coverage] Discard deferred region in closing if-else by Vedant Kumar · 8 years ago
  3. ef8e05f [Coverage] Remove deferred region for trailing return, fixes PR34611 by Vedant Kumar · 8 years ago
  4. a1c4deb [Coverage] Use a new API to label gap areas by Vedant Kumar · 8 years ago
  5. 747b0e2 [Coverage] Precise region termination with deferred regions (reapply) by Vedant Kumar · 8 years ago
  6. a7764ad Revert "[Coverage] Precise region termination with deferred regions" by Vedant Kumar · 8 years ago
  7. 85e6dce [Coverage] Precise region termination with deferred regions by Vedant Kumar · 8 years ago