{"push_id":1017973198,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"a9d11db505f876f1380bd517ee412d62e6d2166b","before":"2243a27fde662932ee5d8e6dd728b12f2957f05c","commits":[{"sha":"a9d11db505f876f1380bd517ee412d62e6d2166b","author":{"email":"fafbb143bc98b3398fb52cc5dc97b0add41e1a09@gmail.com","name":"George Karpenkov"},"message":"Removed converting path formulas to canonical form code\n\nTurns out it is not needed after all.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@20219 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/a9d11db505f876f1380bd517ee412d62e6d2166b"}]}