{"push_id":847146607,"size":2,"distinct_size":2,"ref":"refs/heads/jc-part1","head":"75919c46acc90232ddef90b22948f6bfca564dd9","before":"27cc0b774c7111495b3d0af0c8004a9b221c6049","commits":[{"sha":"44ff6a93001a7f39f4a8b2aa9ee683c2caec555a","author":{"email":"ee795cdb40a6cd3d9983a9c84e8120fa0541841a@imperial.ac.uk","name":"Joshua Coutinho"},"message":"Changed format of if statements. Added code generation.","distinct":true,"url":"https://api.github.com/repos/joshcc3/SoftwareRel/commits/44ff6a93001a7f39f4a8b2aa9ee683c2caec555a"},{"sha":"75919c46acc90232ddef90b22948f6bfca564dd9","author":{"email":"ee795cdb40a6cd3d9983a9c84e8120fa0541841a@imperial.ac.uk","name":"Joshua Coutinho"},"message":"Added implementation of code-generation to accumulate assumptions","distinct":true,"url":"https://api.github.com/repos/joshcc3/SoftwareRel/commits/75919c46acc90232ddef90b22948f6bfca564dd9"}]}