{"push_id":1449948500,"size":3,"distinct_size":3,"ref":"refs/heads/global-inits","head":"fd378e1420d4bd037aeeecb117a33bc69beabd3a","before":"36c29b2a63e018a896d0fef2d405e80287b435f7","commits":[{"sha":"6a76d6e8e96f2f6368d4873e47192e9bae66d578","author":{"name":"Michael Emmi","email":"07089e22b6a9e67aed6e2e516fbf421dd1057be0@gmail.com"},"message":"Moved global allocation logic to memory models.","distinct":true,"url":"https://api.github.com/repos/smackers/smack/commits/6a76d6e8e96f2f6368d4873e47192e9bae66d578"},{"sha":"fbe50460d562996f87ddfc181dba68f6c7e52803","author":{"name":"Michael Emmi","email":"07089e22b6a9e67aed6e2e516fbf421dd1057be0@gmail.com"},"message":"Added HEAP_BOTTOM for distinguishing globals and heap.","distinct":true,"url":"https://api.github.com/repos/smackers/smack/commits/fbe50460d562996f87ddfc181dba68f6c7e52803"},{"sha":"fd378e1420d4bd037aeeecb117a33bc69beabd3a","author":{"name":"Michael Emmi","email":"07089e22b6a9e67aed6e2e516fbf421dd1057be0@gmail.com"},"message":"Separate global and heap allocation unless safety is on.","distinct":true,"url":"https://api.github.com/repos/smackers/smack/commits/fd378e1420d4bd037aeeecb117a33bc69beabd3a"}]}
{"actor":{"display_login":"michael-emmi"}}