{"push_id":1104521524,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4daac76f340a011fb868adb37206b8baf6a4120a","before":"c2a264e5c2d8091d05e8d9d5ceef2d5755600cc4","commits":[{"sha":"4daac76f340a011fb868adb37206b8baf6a4120a","author":{"email":"3a2dce75a06d90ac89684bf42ecd3e2f85b2d5a4@fdi.ucm.es","name":"Santiago Saavedra"},"message":"Fix bug related to postconditions in let RHS","distinct":true,"url":"https://api.github.com/repos/ssaavedra/caviart-vc-gen/commits/4daac76f340a011fb868adb37206b8baf6a4120a"}]}