{"push_id":669710049,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8ecf93ae02d7d96ef4aa04a47e089353325913fa","before":"d3ab2ed3fa5a7e1a470cb4bd43ccc3cd8e5f3471","commits":[{"sha":"8ecf93ae02d7d96ef4aa04a47e089353325913fa","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(opensmt/smtsolvers/SMTConfig.C): disable file logging","distinct":true,"url":"https://api.github.com/repos/dreal/dreal3/commits/8ecf93ae02d7d96ef4aa04a47e089353325913fa"}]}