{"push_id":896171734,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"cd0682881d539d1d32986789c7e72a7e7762dc1c","before":"7c2c362991e17055c8f872fcbf215925ce12e69d","commits":[{"sha":"cc6d79baecd0f3c458341ecdc5600f554f2eca6d","author":{"email":"2951e37d99fdb5034347ccba10d674fcad176eb0@gmail.com","name":"KINOSHITA Minoru"},"message":"Use Z3.Solver.mk_solver as Solver.make instead of Z3.Solver.mk_simple_solver.","distinct":true,"url":"https://api.github.com/repos/krtx/z3overlay/commits/cc6d79baecd0f3c458341ecdc5600f554f2eca6d"},{"sha":"cd0682881d539d1d32986789c7e72a7e7762dc1c","author":{"email":"2951e37d99fdb5034347ccba10d674fcad176eb0@gmail.com","name":"KINOSHITA Minoru"},"message":"Add pow and ( ^ ).","distinct":true,"url":"https://api.github.com/repos/krtx/z3overlay/commits/cd0682881d539d1d32986789c7e72a7e7762dc1c"}]}