{"push_id":2370529495,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"b4af17079c21d7829ff172a6eaee39b2ed3d78f4","before":"8c262c137551f038f31379e1ede9177a448156d6","commits":[{"sha":"7d03b71c22f2dbf33d2dca5145ab2151f198a2df","author":{"name":"Liam Machado","email":"cfd802c8f520605f515e9ca2026fd4215b0c7244@yahoo.com"},"message":"Renamed float tests to have meaningful names.","distinct":true,"url":"https://api.github.com/repos/boogie-org/boogie/commits/7d03b71c22f2dbf33d2dca5145ab2151f198a2df"},{"sha":"395678c4fb697ec8ccb3a5f916989a0ebb1ab0fb","author":{"name":"Liam Machado","email":"cfd802c8f520605f515e9ca2026fd4215b0c7244@yahoo.com"},"message":"Removed rem, max, and min operators.","distinct":true,"url":"https://api.github.com/repos/boogie-org/boogie/commits/395678c4fb697ec8ccb3a5f916989a0ebb1ab0fb"},{"sha":"4d6d69242de7940f857fccb2039e90f827709b07","author":{"name":"Liam Machado","email":"cfd802c8f520605f515e9ca2026fd4215b0c7244@yahoo.com"},"message":"Removed commented sections of old floating-point implementation.","distinct":true,"url":"https://api.github.com/repos/boogie-org/boogie/commits/4d6d69242de7940f857fccb2039e90f827709b07"},{"sha":"35e5c9b8e6e67d61b87f61c00b4130fc86c4047f","author":{"name":"Liam Machado","email":"cfd802c8f520605f515e9ca2026fd4215b0c7244@yahoo.com"},"message":"Fixed incorrect flag being set in float regression","distinct":true,"url":"https://api.github.com/repos/boogie-org/boogie/commits/35e5c9b8e6e67d61b87f61c00b4130fc86c4047f"},{"sha":"47e2a1fd615885524c101f5ac9a69fff3876b951","author":{"name":"Liam Machado","email":"cfd802c8f520605f515e9ca2026fd4215b0c7244@yahoo.com"},"message":"Fixed expected output of some of the float regressions.","distinct":true,"url":"https://api.github.com/repos/boogie-org/boogie/commits/47e2a1fd615885524c101f5ac9a69fff3876b951"},{"sha":"b4af17079c21d7829ff172a6eaee39b2ed3d78f4","author":{"name":"Zvonimir","email":"ed4e6a18237b90322dcc90d858039f5f51985faf@cs.utah.edu"},"message":"Merge pull request #85 from liammachado/floating-point\n\nModifications to floating-point support","distinct":true,"url":"https://api.github.com/repos/boogie-org/boogie/commits/b4af17079c21d7829ff172a6eaee39b2ed3d78f4"}]}
{"actor":{"display_login":"zvonimir"}}