{"push_id":1144272726,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b518a2ba3b43a3d2b93738ea3f7e260b4d79742a","before":"21499dc5461bfe4e5e368cda4be5c1450d38d54d","commits":[{"sha":"b518a2ba3b43a3d2b93738ea3f7e260b4d79742a","author":{"name":"Ramana Kumar","email":"a17e63e73cb313d8fcecc4b524cff68c1648e788@member.fsf.org"},"message":"Work on verifying bvp_to_word FFI\n\nCurrently, there is a cheat that looks false and has something to do\nwith the names set being passed in to assign (and then on to the FFI\ninstruction), which I do not understand very well.\n\nReading the byte array seems done, but the writing part still needs\nverifying, and it is hard to get to it while the names set thing is\nstill in the way.","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/b518a2ba3b43a3d2b93738ea3f7e260b4d79742a"}]}
{"actor":{"display_login":"xrchz"}}