{"push_id":756662339,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0196d837fe07c07a1e694d0b6588cb2e04f95b6d","before":"500ad2e9aa71ab6afae881cb0a530a4193bda64c","commits":[{"sha":"0196d837fe07c07a1e694d0b6588cb2e04f95b6d","author":{"email":"7196d55eb9c01ecfca14e37bcc8db9c4bafa8d0a@gmail.com","name":"Mariano M. Chouza"},"message":"Proving some auxiliary lemmas.","distinct":true,"url":"https://api.github.com/repos/mchouza/learning-verifiable-c/commits/0196d837fe07c07a1e694d0b6588cb2e04f95b6d"}]}