{"push_id":2391471606,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"7edb93624d7d51e5a94799685e6ffb375a111f21","before":"38b61d29d681cfe2aa536cc8b16d0262519c2919","commits":[{"sha":"fac1692deab6688266ded807f9021255cd4240d9","author":{"name":"Martin Sidaway","email":"33e71d5d032d639c76f49719ddef406013ca07f0@gmail.com"},"message":"fix(smt2): Use std::stoi/stod instead of atoi/atof","distinct":true,"url":"https://api.github.com/repos/dreal/dreal4/commits/fac1692deab6688266ded807f9021255cd4240d9"},{"sha":"7edb93624d7d51e5a94799685e6ffb375a111f21","author":{"name":"Soonho Kong","email":"85dce8420e0ebd7e328878eb6bb394c25f34e76d@tri.global"},"message":"Merge pull request #62 from martinjos/number-parse-checks-3\n\nfix(smt2): Use std::stoi/stod instead of atoi/atof","distinct":true,"url":"https://api.github.com/repos/dreal/dreal4/commits/7edb93624d7d51e5a94799685e6ffb375a111f21"}]}
{"actor":{"display_login":"soonho-tri"}}