{"push_id":1031867310,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"8bb2d7ca0443576f815cce3557afeedd328625d0","before":"6761cfc25ba80535105203ef650d515d29b9b2af","commits":[{"sha":"8bb2d7ca0443576f815cce3557afeedd328625d0","author":{"email":"b40fa9ffec6ed584e0ef04c37620589313760a94@tf.uni-freiburg.de","name":"nuberd"},"message":"moved overapproximation of floats to IntegerTranslation","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/8bb2d7ca0443576f815cce3557afeedd328625d0"}]}