{"push_id":2317075098,"size":1,"distinct_size":1,"ref":"refs/heads/sail2","head":"92813dc4c9c0cf1f86d34b09423ef6ce873b5f1c","before":"e9f6dd176d4f4791cc5c59e02b9eaaa0f3dc256f","commits":[{"sha":"92813dc4c9c0cf1f86d34b09423ef6ce873b5f1c","author":{"name":"Alasdair Armstrong","email":"f203b7c3c4224fbea328f8fb5de14f0dbffcbf16@cl.cam.ac.uk"},"message":"Can now generate control flow graphs with C backend\n\nOption -ddump_flow_graphs when used with -c will create graphviz files\nfor each function in the specification with control and data\ndependencies shown.","distinct":true,"url":"https://api.github.com/repos/rems-project/sail/commits/92813dc4c9c0cf1f86d34b09423ef6ce873b5f1c"}]}
{"actor":{"display_login":"Alasdair"}}