{"push_id":1085732227,"size":1,"distinct_size":1,"ref":"refs/heads/word64","head":"7dc6266e8f764b5fc3736df8e96fbb9bc051eb4f","before":"74cce0beec7a73c8298830f590812824cdc28d2e","commits":[{"sha":"7dc6266e8f764b5fc3736df8e96fbb9bc051eb4f","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"Add word64 to closLang and update proofs\n\nclos_to_bvlProof is done, but nothing further.\n\nI don't know why list_CASE_same is required: it's possible this is due\nto unrelated changes in HOL, but also due to some bad interactions\nsomewhere...","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/7dc6266e8f764b5fc3736df8e96fbb9bc051eb4f"}]}