{"push_id":668438979,"size":2,"distinct_size":2,"ref":"refs/heads/unstable","head":"8f3b133882c4843046acb8a5ab688a2e3f096692","before":"15e1c8459221cf7b9348c6772c2ee9e8726f5076","commits":[{"sha":"0197f6e010ace575ee267682dcae0eb63fd89594","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Bugfix for fp.rem when the result is zero.\n\nFixes #91","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/0197f6e010ace575ee267682dcae0eb63fd89594"},{"sha":"8f3b133882c4843046acb8a5ab688a2e3f096692","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Merge branch 'unstable' of https://github.com/Z3Prover/z3 into unstable","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/8f3b133882c4843046acb8a5ab688a2e3f096692"}]}