{"push_id":1193079843,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"fb3bfb1e8527fb16d8d5aefed6272cc95d76b823","before":"a9b6d38d4c17dfb791099cb8e2b3cd1b02aaed38","commits":[{"sha":"fb3bfb1e8527fb16d8d5aefed6272cc95d76b823","author":{"name":"George Karpenkov","email":"d9a0e40a45bcba456a5678ff943f823a230502f6@gmail.com"},"message":"Drop CExpressionReportingState in favor of FormulaReportingState\n\nThe formulas can be converted to C expressions directly in\nCExpressionInvariantExporter instead.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@22139 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/fb3bfb1e8527fb16d8d5aefed6272cc95d76b823"}]}
{"actor":{"display_login":"dbeyer-bot"}}