{"push_id":2309753416,"size":1,"distinct_size":1,"ref":"refs/heads/slab","head":"0665a73d690ced6d658414c67ecca24b25719d39","before":"15a9369df48b3954c87f7c62432fc094ebd1da1e","commits":[{"sha":"0665a73d690ced6d658414c67ecca24b25719d39","author":{"name":"spiessl","email":"2631099dbc6144dec8a68acdafe2af73c778f180@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Make removal of safe regions configurable\n\nIn Slicing Abstractions, parts of the ARG from which the target states\nare not reachable can safely be removed. Sometimes this is not wanted.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/slab@27237 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/0665a73d690ced6d658414c67ecca24b25719d39"}]}
{"actor":{"display_login":"dbeyer-bot"}}