{"push_id":1369363831,"size":7,"distinct_size":7,"ref":"refs/heads/manos","head":"920dbcc885b6dc8952b902c3b0bbdc9b836fd55c","before":"06f4d5c5473ef80fc7643f1dd989d5f47ab5b425","commits":[{"sha":"b9e1f34855703e8b80ce5be55862092ac3b974e0","author":{"name":"Manos Koukoutos","email":"6b9f942f0f739e9a18bf37eebf72d0b6f715790a@epfl.ch"},"message":"Fix NonLocalReturnControl bug","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/b9e1f34855703e8b80ce5be55862092ac3b974e0"},{"sha":"dd80819bfec1da18b56b6fa80d063e3441d5541e","author":{"name":"Manos Koukoutos","email":"6b9f942f0f739e9a18bf37eebf72d0b6f715790a@epfl.ch"},"message":"Completely rework subtyping instantiation, type bounds and unification","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/dd80819bfec1da18b56b6fa80d063e3441d5541e"},{"sha":"3da7f10cc2491c943c87decc62845c8989bc3b87","author":{"name":"Manos Koukoutos","email":"6b9f942f0f739e9a18bf37eebf72d0b6f715790a@epfl.ch"},"message":"Remove prints, fixes","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/3da7f10cc2491c943c87decc62845c8989bc3b87"},{"sha":"502ced2ae43cef4e5f2c50b2d7067b7880cca792","author":{"name":"Manos Koukoutos","email":"6b9f942f0f739e9a18bf37eebf72d0b6f715790a@epfl.ch"},"message":"Questionalble lazy val fix + other fixes","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/502ced2ae43cef4e5f2c50b2d7067b7880cca792"},{"sha":"ce087c2473e933033236b840f9cb1e9f4e55456c","author":{"name":"Manos Koukoutos","email":"6b9f942f0f739e9a18bf37eebf72d0b6f715790a@epfl.ch"},"message":"Rename file","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/ce087c2473e933033236b840f9cb1e9f4e55456c"},{"sha":"8a9a6b84b27821bbe5e51b09be985aeb30a4b414","author":{"name":"Manos Koukoutos","email":"6b9f942f0f739e9a18bf37eebf72d0b6f715790a@epfl.ch"},"message":"Fix erroneous comparison","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/8a9a6b84b27821bbe5e51b09be985aeb30a4b414"},{"sha":"920dbcc885b6dc8952b902c3b0bbdc9b836fd55c","author":{"name":"Manos Koukoutos","email":"6b9f942f0f739e9a18bf37eebf72d0b6f715790a@epfl.ch"},"message":"typo","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/920dbcc885b6dc8952b902c3b0bbdc9b836fd55c"}]}
{"actor":{"display_login":"manoskouk"}}