{"push_id":1816878267,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"a5b7d29325ab84f91a6b94fd627cf69edf3566b6","before":"4251314e4f76420c77f7eba90c5c94b7a18e1ca5","commits":[{"sha":"5cfba0e987f8aa95b29f38e186de38df781577d4","author":{"name":"Tej Chajed","email":"407dbab6d446ed7a7635912097af2063578b5c29@mit.edu"},"message":"Fix UInt128 eq_mask to always return 2^128-1 or 0\n\nThe masks from both halves of the int should be combined so that eq_mask\nalways returns all 1s if the numbers are equal or all 0s otherwise.","distinct":true,"url":"https://api.github.com/repos/FStarLang/kremlin/commits/5cfba0e987f8aa95b29f38e186de38df781577d4"},{"sha":"a5b7d29325ab84f91a6b94fd627cf69edf3566b6","author":{"name":"Jean-Karim Zinzindohoué","email":"6985e5f6f85c1251e1f8b89773b9267c800898a9@gmail.com"},"message":"Merge pull request #47 from tchajed/fix-uint128-eq_mask\n\nFix UInt128 eq_mask to always return 2^128-1 or 0","distinct":true,"url":"https://api.github.com/repos/FStarLang/kremlin/commits/a5b7d29325ab84f91a6b94fd627cf69edf3566b6"}]}
{"actor":{"display_login":"jkzinzindohoue"}}