GitHub PushEvent at 2014-08-23 21:47:52
Repository: cpachecker
Actor: cpachecker
Payload: {"shas":[["4641c9415fdfe9e44da63ca982d4b3b3ba3dbe50","4bf8e684a1c4da51a7eee01c88193c5f4f74bb84@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","Refactoring: Use of the TargetLocationProvider in BMCAlgorithm\n\n\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13243 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","stahlbauer-grammatech",true]],"size":1,"ref":"refs/heads/trunk","head":"4641c9415fdfe9e44da63ca982d4b3b3ba3dbe50"}