{"push_id":881240885,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"5602bf54a9994e74eb0f6f60c2483e9966d8cbd3","before":"22e45c3a8338a067fc1f9aca9bba1c729a0630d3","commits":[{"sha":"5602bf54a9994e74eb0f6f60c2483e9966d8cbd3","author":{"email":"8c7124ab03e55dde1c3ce4e7b26c26cd97190def@gmail.com","name":"Michael Emmi"},"message":"Basic support for loop invariants.","distinct":true,"url":"https://api.github.com/repos/smackers/smack/commits/5602bf54a9994e74eb0f6f60c2483e9966d8cbd3"}]}