{"push_id":694373389,"size":3,"distinct_size":3,"ref":"refs/heads/unstable","head":"49d0c86625e1497641c0a22d523cba8efcbb0f48","before":"66e585e817c177ed78f5d4d5efdd50f2ae7f579a","commits":[{"sha":"1b048bac24b722642e91a3d255e1e4554a0049df","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Added qffp_approx_tactic","distinct":true,"url":"https://api.github.com/repos/AleksandarZeljic/z3/commits/1b048bac24b722642e91a3d255e1e4554a0049df"},{"sha":"28ffdc0ce445e900d08f9cc24a72452b43e47f77","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Added qffp_approx tactic implementation","distinct":true,"url":"https://api.github.com/repos/AleksandarZeljic/z3/commits/28ffdc0ce445e900d08f9cc24a72452b43e47f77"},{"sha":"49d0c86625e1497641c0a22d523cba8efcbb0f48","author":{"email":"496e36fc377a5ee9f009e69216474bb2ebeb2176@it.uu.se","name":"AleksandarZeljic"},"message":"Merge pull request #3 from wintersteiger/qffp\n\nQffp approx tactic","distinct":true,"url":"https://api.github.com/repos/AleksandarZeljic/z3/commits/49d0c86625e1497641c0a22d523cba8efcbb0f48"}]}