{"push_id":2460892768,"size":4,"distinct_size":4,"ref":"refs/heads/sail2","head":"650d7affe4704959d177579957bef749c5499158","before":"252460bc33fc26d8ef8aa905592fd4029d97d419","commits":[{"sha":"3604e9e94b766147b482c4c653c4d09bb4ee7a7c","author":{"name":"Alasdair Armstrong","email":"a4d850d1ac53c9e9e12bef84a971d69e48d0cad4@cl.cam.ac.uk"},"message":"Add generic prelude library that pulls in various basic sail\ndefinitions from sail/lib.","distinct":true,"url":"https://api.github.com/repos/rems-project/sail/commits/3604e9e94b766147b482c4c653c4d09bb4ee7a7c"},{"sha":"09fca718c6e850a3a94db399fd1744dc537bbe41","author":{"name":"Alasdair Armstrong","email":"a4d850d1ac53c9e9e12bef84a971d69e48d0cad4@cl.cam.ac.uk"},"message":"Cleanup repository by removing old and generated files\n\nRename l2.ott to sail.ott","distinct":true,"url":"https://api.github.com/repos/rems-project/sail/commits/09fca718c6e850a3a94db399fd1744dc537bbe41"},{"sha":"9c9e2dc78c44823b271252b88d5d96f4c5a2b6ae","author":{"name":"Alasdair Armstrong","email":"a4d850d1ac53c9e9e12bef84a971d69e48d0cad4@cl.cam.ac.uk"},"message":"More work on latex output\n\nNow generate commands for each toplevel definition, such that e.g. the\nfunction clause for execute LOAD could be inserted using\n\\sailexecuteLOAD. Tries to generate fairly intuitive names while\navoiding clashes where possible.","distinct":true,"url":"https://api.github.com/repos/rems-project/sail/commits/9c9e2dc78c44823b271252b88d5d96f4c5a2b6ae"},{"sha":"650d7affe4704959d177579957bef749c5499158","author":{"name":"Alasdair Armstrong","email":"a4d850d1ac53c9e9e12bef84a971d69e48d0cad4@cl.cam.ac.uk"},"message":"Fix precedence printing and update aarch64 spec\n\nMore work on Latex output","distinct":true,"url":"https://api.github.com/repos/rems-project/sail/commits/650d7affe4704959d177579957bef749c5499158"}]}
{"actor":{"display_login":"Alasdair"}}