{"push_id":671967750,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"f43b50a83aba0506b864837a7ae5f34d214e157a","before":"d1f192b5bc2f70f439193b8204f2fe776301ed49","commits":[{"sha":"7056ef0260160967a1b09c05788a0d0f71e2a9b5","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"add ml_hol_initScript.sml to README","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/7056ef0260160967a1b09c05788a0d0f71e2a9b5"},{"sha":"f43b50a83aba0506b864837a7ae5f34d214e157a","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"compilation of the kernel module to labelled bytecode\n\nin the logic. mostly to see that it works.\n\ncould do more (e.g., remove labels, compile further to x86) but it's not\nclear that this is the best way to set the kernel module up (i.e., as\nthe first module after the prim_types_program). it will also eventually\nneed a signature.","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/f43b50a83aba0506b864837a7ae5f34d214e157a"}]}