{"push_id":1437194617,"size":3,"distinct_size":3,"ref":"refs/heads/Incrementalisation","head":"98aa335f13bce13c41ea95d3afe9c9d0d42a8a76","before":"95887ffb86f6018c53bcc0b314662f44eebc6fb8","commits":[{"sha":"2b00e72bd9b835dcd4094bd17e6ee85ec178210f","author":{"name":"Maarten Vandercammen","email":"072cc4409ff2ec82dd23403481062654cd1d0e87@vub.ac.be"},"message":"Handle FrameFollowed annotation in incremental points-to analysis","distinct":true,"url":"https://api.github.com/repos/mvdcamme/scala-am/commits/2b00e72bd9b835dcd4094bd17e6ee85ec178210f"},{"sha":"5c9f839280f116213dbbaeed03b8dedb0b9cfbaa","author":{"name":"Maarten Vandercammen","email":"072cc4409ff2ec82dd23403481062654cd1d0e87@vub.ac.be"},"message":"Add FrameFollowed annotations in HybridConcreteMachine wherever necessary","distinct":true,"url":"https://api.github.com/repos/mvdcamme/scala-am/commits/5c9f839280f116213dbbaeed03b8dedb0b9cfbaa"},{"sha":"98aa335f13bce13c41ea95d3afe9c9d0d42a8a76","author":{"name":"Maarten Vandercammen","email":"072cc4409ff2ec82dd23403481062654cd1d0e87@vub.ac.be"},"message":"Handle ThenBranchTaken and ElseBranchTaken EdgeInformation annotations","distinct":true,"url":"https://api.github.com/repos/mvdcamme/scala-am/commits/98aa335f13bce13c41ea95d3afe9c9d0d42a8a76"}]}
{"actor":{"display_login":"mvdcamme"}}