{"push_id":1617648655,"size":1,"distinct_size":1,"ref":"refs/heads/uncaught-exceptions-def","head":"aa0fb7cb85d0c45204a26e6e66eb2c503022b477","before":"660c8188a054e7899db954575d482f877a5f0b09","commits":[{"sha":"aa0fb7cb85d0c45204a26e6e66eb2c503022b477","author":{"name":"Cristina","email":"ef5dd62963b70c6be15eed06117b9410b6dda109@gmail.com"},"message":"Added an uncaught exceptions analysis\n\nThis analysis computes an overapproximation of the set of exceptions thrown by each method and it is used to prune some of the exception handling instrumentation introduced by remove_exceptions.cpp","distinct":true,"url":"https://api.github.com/repos/cristina-david/cbmc/commits/aa0fb7cb85d0c45204a26e6e66eb2c503022b477"}]}
{"actor":{"display_login":"cristina-david"}}