{"push_id":1421559657,"size":3,"distinct_size":1,"ref":"refs/heads/master","head":"7450870990a5254c72d19daf46814195e3dea019","before":"7ef0e7c7b6de652bab31288d822a95670d3d80f3","commits":[{"sha":"d04a00f40ad859c41af8eb15ff5f7ed0baedb7cf","author":{"name":"Ramana Kumar","email":"a17e63e73cb313d8fcecc4b524cff68c1648e788@member.fsf.org"},"message":"Make ml_translatorLib's v_thms aware of ML names\n\nResponse to #179","distinct":false,"url":"https://api.github.com/repos/CakeML/cakeml/commits/d04a00f40ad859c41af8eb15ff5f7ed0baedb7cf"},{"sha":"c6352c5e8bff7db7f2e6e32d53eb45f9aacf15a3","author":{"name":"Ramana Kumar","email":"a17e63e73cb313d8fcecc4b524cff68c1648e788@member.fsf.org"},"message":"Fix ml_hol_kernelProg after change to add_v_thms","distinct":false,"url":"https://api.github.com/repos/CakeML/cakeml/commits/c6352c5e8bff7db7f2e6e32d53eb45f9aacf15a3"},{"sha":"7450870990a5254c72d19daf46814195e3dea019","author":{"name":"Ramana Kumar","email":"a17e63e73cb313d8fcecc4b524cff68c1648e788@member.fsf.org"},"message":"Merge pull request #182 from CakeML/v-thms-ml-fname\n\nMake ml_translatorLib's v_thms aware of ML names","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/7450870990a5254c72d19daf46814195e3dea019"}]}
{"actor":{"display_login":"xrchz"}}