{"push_id":636874713,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"adf021a4fddfdf604c73d947f67dbc7a7ca24545","before":"ff5578e6143afceb373aea27d3579b0f5d648b5e","commits":[{"sha":"88e6cbb77be669a5ff0704d6577cc4addddc7e6f","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(opensmt/api/OpenSMTContext.C): show delta-sat with delta=...","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/88e6cbb77be669a5ff0704d6577cc4addddc7e6f"},{"sha":"9b2be3c7617aea5dd9e384ccadf92e911ffa7ae1","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"tests(nra): update expected results for delta-sat cases","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/9b2be3c7617aea5dd9e384ccadf92e911ffa7ae1"},{"sha":"adf021a4fddfdf604c73d947f67dbc7a7ca24545","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"test(nra): add update_output.sh","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/adf021a4fddfdf604c73d947f67dbc7a7ca24545"}]}