{"push_id":593233608,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"16278362b20100edc35c7f354d8aa128b8245eb4","before":"ab7cee6ead010271837f91da7fa95b748fb9dd56","commits":[{"sha":"417bfd0a4da5b469f3870d50fd5b416d4f311efb","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"fix array size in smtlib solvers","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/417bfd0a4da5b469f3870d50fd5b416d4f311efb"},{"sha":"16278362b20100edc35c7f354d8aa128b8245eb4","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"just cleaning up some imports for new version of smtlib","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/16278362b20100edc35c7f354d8aa128b8245eb4"}]}