{"push_id":1465496430,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"68492da5cefe4f175809a038a6b0948fc2d65a25","before":"199ed32d6b67600659e5c83eb02fc1731e891fbf","commits":[{"sha":"e96a55ba49e0b37a0d7fa4a0e429558d0fe020fb","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Started work on imperative stuff","distinct":true,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/e96a55ba49e0b37a0d7fa4a0e429558d0fe020fb"},{"sha":"6b00bec615c3cdc17bf113a61924261f433f4a37","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Imperative extraction, all tests pass","distinct":true,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/6b00bec615c3cdc17bf113a61924261f433f4a37"},{"sha":"36b9b116517f59ddeef2bbe16fde3993f3fdf50d","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Fix for ImperativeCleanup","distinct":true,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/36b9b116517f59ddeef2bbe16fde3993f3fdf50d"},{"sha":"68492da5cefe4f175809a038a6b0948fc2d65a25","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Lots of fixes in termination checker","distinct":true,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/68492da5cefe4f175809a038a6b0948fc2d65a25"}]}
{"actor":{"display_login":"samarion"}}