{"push_id":899581237,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"c8013a5f59a32f1d40ac60fc790bade94b47d5bc","before":"4b7a9310c47591a30cdbccfd6e91989e3d1e9940","commits":[{"sha":"c8013a5f59a32f1d40ac60fc790bade94b47d5bc","author":{"email":"fafbb143bc98b3398fb52cc5dc97b0add41e1a09@gmail.com","name":"George Karpenkov"},"message":"Updated to latest JavaSMT, some interface changes.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@18918 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/c8013a5f59a32f1d40ac60fc790bade94b47d5bc"}]}