{"push_id":916204118,"size":455,"distinct_size":455,"ref":"refs/heads/master","head":"620ea4c76053db396f8480c96c772164eb58eac0","before":"32913b0634425e232167c46afa2827ee077fbebf","commits":[{"sha":"acc1558c0c2fa4a56c4d68c1d29843ec013295fd","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Updating: minorly tidying-up","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/acc1558c0c2fa4a56c4d68c1d29843ec013295fd"},{"sha":"cb6a5a2ae1d92307d3239b63f69914255c86a58d","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Updating: fixing a bug in handling loop invariants","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/cb6a5a2ae1d92307d3239b63f69914255c86a58d"},{"sha":"ae2bae4b7b37e625f6e27fcb927f8a059abc6b8a","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Updating: very minorly improving prelude/integer","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/ae2bae4b7b37e625f6e27fcb927f8a059abc6b8a"},{"sha":"2bbc3e270eed7db7a40c813bba3967677869555c","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Updating: very minorly improving prelude/integer","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/2bbc3e270eed7db7a40c813bba3967677869555c"},{"sha":"e6465546c4d666bc16c004402f247426328731e1","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Updating: very minorly improving","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/e6465546c4d666bc16c004402f247426328731e1"},{"sha":"370d971a8644127334759dae224a7798a9338744","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Updating: very minorly improving","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/370d971a8644127334759dae224a7798a9338744"},{"sha":"1a6eabe2117126f28c7ca292d482130f242c6b78","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Updating: very minorly tidying-up","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/1a6eabe2117126f28c7ca292d482130f242c6b78"},{"sha":"7c7218f186e92425461f0ec8653087da6fd193a5","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Updating: support for jsonizing s2rtdat","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/7c7218f186e92425461f0ec8653087da6fd193a5"},{"sha":"92d1fe574b77c3a727db8a24199c252a013e6157","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Updating: adding prelude/g0float_npow","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/92d1fe574b77c3a727db8a24199c252a013e6157"},{"sha":"d8ba96824b6a544e3727cca2c6b4f2057a25b65b","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Updating: adding prelude/g0float_npow","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/d8ba96824b6a544e3727cca2c6b4f2057a25b65b"},{"sha":"a322e11c1d3b0806c7d04d9caabe2c47af3de17d","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Merging","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/a322e11c1d3b0806c7d04d9caabe2c47af3de17d"},{"sha":"12f72945bba73b4f85726a09458735ce119b4c4a","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Updating: very minorly improving","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/12f72945bba73b4f85726a09458735ce119b4c4a"},{"sha":"571728efc35c1323c21ef24b5ee21f9607061c71","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Updating: very minorly improving","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/571728efc35c1323c21ef24b5ee21f9607061c71"},{"sha":"be6170d0113191dc2eb95daaf077bd20865f7c1c","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Updating: very minorly improving","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/be6170d0113191dc2eb95daaf077bd20865f7c1c"},{"sha":"3b0c109d1c7c488a21246b3c25096438f55e7051","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Updating: very minorly improving","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/3b0c109d1c7c488a21246b3c25096438f55e7051"},{"sha":"25f6dfd34e5a4a1ebfbd5249ad7a1af66c1eaf93","author":{"email":"c2a1336bcfc3d1ccf74b7d9773fac3275e228660@gmail.com","name":"Kiwamu Okabe"},"message":"zmq.cats located at ATS-Postiats-contrib","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/25f6dfd34e5a4a1ebfbd5249ad7a1af66c1eaf93"},{"sha":"f974db3c43fb0dd6a193762d6a5d336ae5b3f50a","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Merge pull request #144 from master-q/patch-9\n\nzmq.cats located at ATS-Postiats-contrib","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/f974db3c43fb0dd6a193762d6a5d336ae5b3f50a"},{"sha":"1cecdd3f502757f56abdf56f76cda0cc1a279330","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Updating: very minorly tidying-up","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/1cecdd3f502757f56abdf56f76cda0cc1a279330"},{"sha":"8c8e86bf450e0ec88068b147311dbbd5af6c2f80","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Updating: merging","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/8c8e86bf450e0ec88068b147311dbbd5af6c2f80"},{"sha":"095fce141a0bdcc7784b82aac40f79f84764fc1f","author":{"email":"7a472611624c077506645ffdd7ba2e2b71428c42@gmail.com","name":"Hongwei Xi"},"message":"Updating: very minorly fixing","distinct":true,"url":"https://api.github.com/repos/ashalkhakov/ATS-Postiats/commits/095fce141a0bdcc7784b82aac40f79f84764fc1f"}]}