Commits on Mar 10, 2023

1. [prover] fix reporting for escape analysis …

   The reporting logic here attempted to suppress warnings in dependencies, but this was a bit too aggressive and ended up suppressing everything. Changing the logic to report all warnings, particularly given that this is an experimental analysis + the "report all" configuration is needed to reproduce the results from the robust safety paper.

   

   sblackshear committed Mar 10, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for b386df4
   • Browse repository at this point

   Copy the full SHA

   b386df4 View commit details

   Browse the repository at this point in the history