{"push_id":1511489925,"size":3,"distinct_size":3,"ref":"refs/heads/feature/goto2json","head":"193371960d8c402593f6170892b3091449bb5e28","before":"d63d8bc429bdfedc119ab74c95f9565fe4159998","commits":[{"sha":"f57ab77a56c734deeff2b107f1214fcf225b9db4","author":{"name":"thk123","email":"5f919b14acad347486cfcc925fe5476cb2791020@diffblue.com"},"message":"Basic implementation for the XML class\n\nProduces an XML version of the show-goto-functions flag (i.e. when\nrunning a tool with the --xml-ui flag).","distinct":true,"url":"https://api.github.com/repos/thk123/cbmc/commits/f57ab77a56c734deeff2b107f1214fcf225b9db4"},{"sha":"eec8d6ae90669ae38f72f2e1e5c19fc0474a3c73","author":{"name":"thk123","email":"5f919b14acad347486cfcc925fe5476cb2791020@diffblue.com"},"message":"Added a to_string method to instructions\n\nThis way if you are not using an ostream you don't have to create one\njust to get the string. Replaced uses in show_goto_function_json and\nshow_goto_functions_xml","distinct":true,"url":"https://api.github.com/repos/thk123/cbmc/commits/eec8d6ae90669ae38f72f2e1e5c19fc0474a3c73"},{"sha":"193371960d8c402593f6170892b3091449bb5e28","author":{"name":"thk123","email":"5f919b14acad347486cfcc925fe5476cb2791020@diffblue.com"},"message":"Swapped to using std::string for the to_string method\n\nSince this isn't performance critical we use std::string as makes the\nresult connect more cleanly to external APIs like the JSON and XML\nlibraries.","distinct":true,"url":"https://api.github.com/repos/thk123/cbmc/commits/193371960d8c402593f6170892b3091449bb5e28"}]}
{"actor":{"display_login":"thk123"}}