{"push_id":972172155,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"e3cd375395ee7654f5d231fec31fa4a59b9f177c","before":"cbd816077c2c23aaba7568758a5968c9647d41d1","commits":[{"sha":"ae5ee2ffddde35150cf56d9106ba93eef9c81988","author":{"email":"7fd55bc0bf72e584c4bdda0c947c6139258fdad3@frontiernet.net","name":"davidcok"},"message":"Updating build script","distinct":true,"url":"https://api.github.com/repos/smtlib/jSMTLIB/commits/ae5ee2ffddde35150cf56d9106ba93eef9c81988"},{"sha":"e3cd375395ee7654f5d231fec31fa4a59b9f177c","author":{"email":"7fd55bc0bf72e584c4bdda0c947c6139258fdad3@frontiernet.net","name":"davidcok"},"message":"Improvement to reading output from solvers that do not have prompts.","distinct":true,"url":"https://api.github.com/repos/smtlib/jSMTLIB/commits/e3cd375395ee7654f5d231fec31fa4a59b9f177c"}]}