{"push_id":1149655771,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"a3f3e54b7b5b7684d399a23dfb29cdc269afdb7e","before":"f6e201f783ae25e1811b8a6000911aabaabccb0e","commits":[{"sha":"a3f3e54b7b5b7684d399a23dfb29cdc269afdb7e","author":{"name":"ottseb","email":"575b61aa08618f4d06012bb59dbb6b03d4bdcffd@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"It is not required to model the primed program counter explicitly.\n\nThe TerminationState is either part of the stem or the loop.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21642 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/a3f3e54b7b5b7684d399a23dfb29cdc269afdb7e"}]}
{"actor":{"display_login":"dbeyer-bot"}}