{"push_id":669891945,"size":1,"distinct_size":1,"ref":"refs/heads/unstable","head":"51040d3e19dae7046225405c27a6ef977167d4f5","before":"1e3952406c4b217dad6f40c17bc54a82ebb66f93","commits":[{"sha":"51040d3e19dae7046225405c27a6ef977167d4f5","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Bugfix for fp.isNormal","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/51040d3e19dae7046225405c27a6ef977167d4f5"}]}