{"push_id":551958541,"size":1,"distinct_size":1,"ref":"refs/heads/svproj-bddvarorder","head":"f33375ea8d3388a1c1d87740631f805916964f61","before":"5f0e897ef4bca5da873d4fc1932e1b9147e80c94","commits":[{"sha":"f33375ea8d3388a1c1d87740631f805916964f61","author":{"email":"660f96dd583616e8db4d365e504e181aa45f9fca@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"wollerch"},"message":"Change mode to reorder with framework strategy: WIN2\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/svproj-bddvarorder@15425 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/f33375ea8d3388a1c1d87740631f805916964f61"}]}