{"push_id":953866020,"size":1,"distinct_size":1,"ref":"refs/heads/cfl","head":"1a43c3cbf80507fd484f00ecdbb98c0553624d0b","before":"ac05f70b3975feed2b71047e47698d1d583d7f3f","commits":[{"sha":"1a43c3cbf80507fd484f00ecdbb98c0553624d0b","author":{"email":"1baa30e53b00d859edce45064c12537237035861@googlemail.com","name":"Johannes Lerch"},"message":"incrementalization of over-approximation","distinct":true,"url":"https://api.github.com/repos/johanneslerch/heros/commits/1a43c3cbf80507fd484f00ecdbb98c0553624d0b"}]}