{"push_id":712211524,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"22c85c7bef0289425e0eb4a460de670824dc5032","before":"83bce1e193f07df0e37fc86424d24fc15955a34b","commits":[{"sha":"22c85c7bef0289425e0eb4a460de670824dc5032","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(tools/dop): add --precision option","distinct":true,"url":"https://api.github.com/repos/dreal/dreal3/commits/22c85c7bef0289425e0eb4a460de670824dc5032"}]}