{"push_id":1118888941,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7fa22589ffc1912e3a28a4cc6fb18579b0c1993c","before":"e44688bd245a4ad642ecc2023be4181ce3ad4834","commits":[{"sha":"7fa22589ffc1912e3a28a4cc6fb18579b0c1993c","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"Tweak compilation of WordOp W8 Add and Sub\n\nBecause of overflow, I think the top bit needs to be cleared. The proof\nof this implementation is cheated, but the cheat looks like something\nthat would be true by brute force (and can hopefully be proved more\nquickly than that).","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/7fa22589ffc1912e3a28a4cc6fb18579b0c1993c"}]}