{"push_id":1302748500,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ccd7d0770c958dc0c1ef1a1b672c67122373f58d","before":"30a8534bb268d2c75380e074a0af645250b8755c","commits":[{"sha":"ccd7d0770c958dc0c1ef1a1b672c67122373f58d","author":{"name":"Santiago","email":"adf3c2156b916ded9a2d1f396600a7337384d39d@princeton.edu"},"message":"Closer to proving safety preservation of the compiler: redefined the machine_semantics and the simulation.","distinct":true,"url":"https://api.github.com/repos/PrincetonUniversity/VST/commits/ccd7d0770c958dc0c1ef1a1b672c67122373f58d"}]}
{"actor":{"display_login":"scuellar"}}