{"push_id":758620765,"size":3,"distinct_size":0,"ref":"refs/heads/master","head":"555b0217a8be66d63c92cf21da8a9ebf86da006e","before":"e1a1dd9e7f06c84bbfa5ad2b06089eb44afd8a55","commits":[{"sha":"15325ec2297dc372db6f527192e86d11578d298a","author":{"email":"1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","name":"Andrei Stefanescu"},"message":"added tag for subsort flattening in smt","distinct":false,"url":"https://api.github.com/repos/msaxena2/k/commits/15325ec2297dc372db6f527192e86d11578d298a"},{"sha":"21505d356b0f83be166214cb52edad341f3991e9","author":{"email":"1b7916a8fa974a021a781483f493c91eaca10833@gmail.com","name":"Andrei Stefanescu"},"message":"added test","distinct":false,"url":"https://api.github.com/repos/msaxena2/k/commits/21505d356b0f83be166214cb52edad341f3991e9"},{"sha":"555b0217a8be66d63c92cf21da8a9ebf86da006e","author":{"email":"59d1cd2ce867e8758eabcb5bed917514e2371d2d@gmail.com","name":"Daejun Park"},"message":"Merge pull request #1618 from andreistefanescu/c-verification4\n\nadded tag for subsort flattening in smt","distinct":false,"url":"https://api.github.com/repos/msaxena2/k/commits/555b0217a8be66d63c92cf21da8a9ebf86da006e"}]}