{"push_id":1089254668,"size":15,"distinct_size":1,"ref":"refs/heads/develop","head":"2cd39ae8bd23f62214cf0d02b6a527aaf8f1e1da","before":"3d1fff4f6e7a3add19da4d644077031b84aff524","commits":[{"sha":"a03f76ed1f20ba4d3a1fa62d1880199e3c2c4b4a","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"another ack prop","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/a03f76ed1f20ba4d3a1fa62d1880199e3c2c4b4a"},{"sha":"4ed690598fd50bcd14ed5ad56c4fb2db919e5436","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"prove lemma 9","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/4ed690598fd50bcd14ed5ad56c4fb2db919e5436"},{"sha":"9abdcdad7f027dafe40a327de9dc7f07019136e9","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"more props","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/9abdcdad7f027dafe40a327de9dc7f07019136e9"},{"sha":"c4de4d86303df2ea58772aa43067d07e35cf9123","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"fix for  #691","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/c4de4d86303df2ea58772aa43067d07e35cf9123"},{"sha":"85fc8228dca244000f1da864eac46ad131c8d421","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"merge","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/85fc8228dca244000f1da864eac46ad131c8d421"},{"sha":"5f719922a4114b2e62d887ca0139f2c443bddb33","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"done with ack","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/5f719922a4114b2e62d887ca0139f2c443bddb33"},{"sha":"45ea6f7f5de63b5527aa114f89058488997d1994","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"make pretty proofs","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/45ea6f7f5de63b5527aa114f89058488997d1994"},{"sha":"060d4b7df3c886295956c917b8c47f9ce12d5982","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"Merge branch 'develop' of https://github.com/ucsd-progsys/liquidhaskell into develop","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/060d4b7df3c886295956c917b8c47f9ce12d5982"},{"sha":"2373d4029998546308b7c82a0a3bc1c84b23dfde","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"parsing","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/2373d4029998546308b7c82a0a3bc1c84b23dfde"},{"sha":"3ea527edda2f08f4898d4de17514b3889ec03857","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"optional proofs work1","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/3ea527edda2f08f4898d4de17514b3889ec03857"},{"sha":"81e1db6f5e7e22aa773762391d60f4d65c80efd2","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"cleaning","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/81e1db6f5e7e22aa773762391d60f4d65c80efd2"},{"sha":"f2db613367ac6ec1dc50e26cb3124506909e140e","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"comments","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/f2db613367ac6ec1dc50e26cb3124506909e140e"},{"sha":"8489dce6e5f5a8db264ed3e6a1f2873693b19c80","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"comments","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/8489dce6e5f5a8db264ed3e6a1f2873693b19c80"},{"sha":"d077c753e7b10e43ad76fb10f29702cbbe3edacd","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"nikivazou"},"message":"auto generate assume type","distinct":false,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/d077c753e7b10e43ad76fb10f29702cbbe3edacd"},{"sha":"2cd39ae8bd23f62214cf0d02b6a527aaf8f1e1da","author":{"email":"524527a34295183a769b8b81db8a284b357a111d@gmail.com","name":"Niki Vazou"},"message":"Merge pull request #694 from ucsd-progsys/ackermann\n\nAckermann","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/commits/2cd39ae8bd23f62214cf0d02b6a527aaf8f1e1da"}]}