{"push_id":750671099,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"8ada905f23279876265f1bb073f7295c8551234d","before":"65f4ef397fa6a2af8b583d50848ca007381461b6","commits":[{"sha":"9c1a4a324486eddee94bc8b4a45623e66963447f","author":{"email":"7196d55eb9c01ecfca14e37bcc8db9c4bafa8d0a@gmail.com","name":"Mariano M. Chouza"},"message":"Restructuring proof.","distinct":true,"url":"https://api.github.com/repos/mchouza/learning-verifiable-c/commits/9c1a4a324486eddee94bc8b4a45623e66963447f"},{"sha":"8ada905f23279876265f1bb073f7295c8551234d","author":{"email":"7196d55eb9c01ecfca14e37bcc8db9c4bafa8d0a@gmail.com","name":"Mariano M. Chouza"},"message":"Inside the loop of strlen().","distinct":true,"url":"https://api.github.com/repos/mchouza/learning-verifiable-c/commits/8ada905f23279876265f1bb073f7295c8551234d"}]}