{"push_id":608025910,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"0643ade602b431e7126684df9947b2ff84a45edc","before":"6ad28ec9a1f70642886e6f2ec1f099ee69f88fde","commits":[{"sha":"145e55eb3120bf482954d7e67644c8b44ee13aff","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(opensmt): add CAPD, JSON11 deps","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/145e55eb3120bf482954d7e67644c8b44ee13aff"},{"sha":"dbb6aedfddfb4187080d9b0c0e9597bdd256ca46","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"chore(src/.gitignore): add compile_commands.json","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/dbb6aedfddfb4187080d9b0c0e9597bdd256ca46"},{"sha":"0bd903947279f75d9772376773ea298c43a0ca8b","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(opensmt/egraph/EgraphStore.C): fix mkTimes\n\nclose #49","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/0bd903947279f75d9772376773ea298c43a0ca8b"},{"sha":"0643ade602b431e7126684df9947b2ff84a45edc","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"cp: generate_trace","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/0643ade602b431e7126684df9947b2ff84a45edc"}]}