{"push_id":639875170,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"e330fc2216539d303bd7acfe073b436eec6d51be","before":"d370b8236ad4e1536badd36bd80bd06d124dfe92","commits":[{"sha":"c65871a6f8e7d9dbc0243afb9bb47489df9e8434","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(util/box.cpp): change output message for delta-sat","distinct":true,"url":"https://api.github.com/repos/dreal/dreal3/commits/c65871a6f8e7d9dbc0243afb9bb47489df9e8434"},{"sha":"0834c8b6ead80a45cb64229f001a28a32053fcaf","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(CMakeLists.txt): add install for shared_lib","distinct":true,"url":"https://api.github.com/repos/dreal/dreal3/commits/0834c8b6ead80a45cb64229f001a28a32053fcaf"},{"sha":"7f3f9bd67d4b741c93306fbb682dc0ea881e919c","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(opensmt/smtsolvers/SMTConfig.C): use define_uint64 instead of define_int32","distinct":true,"url":"https://api.github.com/repos/dreal/dreal3/commits/7f3f9bd67d4b741c93306fbb682dc0ea881e919c"},{"sha":"e330fc2216539d303bd7acfe073b436eec6d51be","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(dsolvers/nra_solver.cpp): add \"--multiple_solns N\" option","distinct":true,"url":"https://api.github.com/repos/dreal/dreal3/commits/e330fc2216539d303bd7acfe073b436eec6d51be"}]}