{"push_id":1266907383,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ae1085245d298f58763ee75bca4278a1e5df23aa","before":"ce5948a7305e564942360313527dde17f29ab1ad","commits":[{"sha":"ae1085245d298f58763ee75bca4278a1e5df23aa","author":{"name":"Ramana Kumar","email":"a17e63e73cb313d8fcecc4b524cff68c1648e788@member.fsf.org"},"message":"Implement WordFromInt and verify it modulo some cheats\n\nThe cheats are all local word proofs, but probably should be moved out\ninto separate lemmas. The implementation will not work when bignums are\nsupported (#109), but may be easy to fix by first doing a modulo\noperation. This is progress on #106.","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/ae1085245d298f58763ee75bca4278a1e5df23aa"}]}
{"actor":{"display_login":"xrchz"}}