{"push_id":877997477,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8eea6fd775e2d6720d2b9d793d4e98614e0b8171","before":"5e37cf9bbfbefc4aac24127ba7a7d8a1cc192f44","commits":[{"sha":"8eea6fd775e2d6720d2b9d793d4e98614e0b8171","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Bugfix for FPA float to float conversion.\n\nFixes #337","distinct":true,"url":"https://api.github.com/repos/wintersteiger/z3/commits/8eea6fd775e2d6720d2b9d793d4e98614e0b8171"}]}