{"push_id":887258411,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a3656702c2c3ce3a98184f739192cf21214c8530","before":"e73d08c3a88b62552bee973157d6d11634d1c702","commits":[{"sha":"a3656702c2c3ce3a98184f739192cf21214c8530","author":{"email":"3da8cb324fdf3e95b07dcb70be9bafcaa7fe363c@gmail.com","name":"Michal Konečný"},"message":"When combining CauchyReal and an exact ball, use the precision of the\nball instead of its accuracy to determine how accurate ball to extract\nfrom the CauchyReal.","distinct":true,"url":"https://api.github.com/repos/michalkonecny/aern2/commits/a3656702c2c3ce3a98184f739192cf21214c8530"}]}