{"push_id":558891305,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"589c001e40939a7389ad7f4a027b0955e5fda5da","before":"7dcf55cd37c3294e69c261daf51321b5bcb8d90b","commits":[{"sha":"17d974b3b2c168ec4f5d753cbd2949df735dfaf3","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(opensmt/smtsolvers/SMTConfig): add '--stat' option","distinct":true,"url":"https://api.github.com/repos/dreal/dreal_nra/commits/17d974b3b2c168ec4f5d753cbd2949df735dfaf3"},{"sha":"ca562c1af08822afc819d8a975c81db7c6bed584","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"refactor: cleanup the use of DREAL_LOG_INFO","distinct":true,"url":"https://api.github.com/repos/dreal/dreal_nra/commits/ca562c1af08822afc819d8a975c81db7c6bed584"},{"sha":"0d45032a2d7f624c9c340639a7095e02faaa6c1a","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(util/contractor.h): use CtcFwdBwd instead of Ctc in fwdbwd class","distinct":true,"url":"https://api.github.com/repos/dreal/dreal_nra/commits/0d45032a2d7f624c9c340639a7095e02faaa6c1a"},{"sha":"f213d380497b9539a0cc6841f7bc240acb6c2afc","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(util/ibex_enode): use sqr(x) for x^2 instead of pow(x, y)\n\nclose #4","distinct":true,"url":"https://api.github.com/repos/dreal/dreal_nra/commits/f213d380497b9539a0cc6841f7bc240acb6c2afc"},{"sha":"589c001e40939a7389ad7f4a027b0955e5fda5da","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"refactor(util/contractor): use DEBUG for some unimportant logging","distinct":true,"url":"https://api.github.com/repos/dreal/dreal_nra/commits/589c001e40939a7389ad7f4a027b0955e5fda5da"}]}