{"push_id":962857266,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e9a8caae6472fd552dba3517cb46635643c62f49","before":"d4e0b2bb85277b3f0890ffa0bae31f18996fda21","commits":[{"sha":"e9a8caae6472fd552dba3517cb46635643c62f49","author":{"email":"772e53cc4c2c2df89e0adfcc7a54bbb182bf8025@viasat.com","name":"Will Blair"},"message":"Outputting smt-lib2 syntax for people to ee","distinct":true,"url":"https://api.github.com/repos/wdblair/overture/commits/e9a8caae6472fd552dba3517cb46635643c62f49"}]}