{"push_id":722099344,"size":25,"distinct_size":25,"ref":"refs/heads/master","head":"69180032553b5669e9d54db544fc693a22cdb61f","before":"8ca74bdc27d7aa9f4c77897086b0e1ead3579392","commits":[{"sha":"915468ec69a62a365fa34223e05dbace30f02c31","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Dead code in CegisLike","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/915468ec69a62a365fa34223e05dbace30f02c31"},{"sha":"b5a913dc627eda9fe38a49a6d0cab073580b38b2","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Copyright notices","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/b5a913dc627eda9fe38a49a6d0cab073580b38b2"},{"sha":"baa5b60b0a71327a13d9d3456bdad54b1fcf26ae","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Unify XOperators. Eliminate dead trees","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/baa5b60b0a71327a13d9d3456bdad54b1fcf26ae"},{"sha":"ac68a436515d7b9f54bc4a9959eb271db1550084","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Small changes","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/ac68a436515d7b9f54bc4a9959eb271db1550084"},{"sha":"e8b84af6eaccaf5d5895e92179da1b6feb979594","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Refactor XLang","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/e8b84af6eaccaf5d5895e92179da1b6feb979594"},{"sha":"11e23475929a785b29f7a00f8f9c2ff60dd9e441","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Indent correctly when empty body","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/11e23475929a785b29f7a00f8f9c2ff60dd9e441"},{"sha":"d02ded7e2f85dad2980b4efa680a87dd1bdf6121","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"More support for inheritance\n\nMethods can be overriden in subclasses\nNon-root classes can define methods\nDeep hierarchies are supported","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/d02ded7e2f85dad2980b4efa680a87dd1bdf6121"},{"sha":"4f4d8cea04241fb67f77cdbf59ac27007c3e2202","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Make typed ClassType interface same as FunDef","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/4f4d8cea04241fb67f77cdbf59ac27007c3e2202"},{"sha":"3035414663fd1530947bf502b5d69d454e55dde2","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Fixes","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/3035414663fd1530947bf502b5d69d454e55dde2"},{"sha":"d5f10bc3f225db4d68f97b1d550cdf0a4e2e4c11","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Forgotten testcase","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/d5f10bc3f225db4d68f97b1d550cdf0a4e2e4c11"},{"sha":"78bdbf74da29cd5578b3eedb84a4afd5f78a8771","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Fixes","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/78bdbf74da29cd5578b3eedb84a4afd5f78a8771"},{"sha":"e7e93f4bf1e260363e985767a1f3d9dd32e2b815","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Make CaseClassSelector consistent with other Expr's","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/e7e93f4bf1e260363e985767a1f3d9dd32e2b815"},{"sha":"51c130209f7b7f83a23fc708b0e5f1a3b050ccdb","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Consistent benchmark names","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/51c130209f7b7f83a23fc708b0e5f1a3b050ccdb"},{"sha":"99fcd05bd9b8e67aff092e9c33870469cd2358ac","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Tidy-up expressions","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/99fcd05bd9b8e67aff092e9c33870469cd2358ac"},{"sha":"9810d67355ad64f723e99a24eaa086c2b4accf2b","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Fixes","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/9810d67355ad64f723e99a24eaa086c2b4accf2b"},{"sha":"8a0491436b163d5cc25edfac209a869770fce030","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"XLangAnalysisPhase -> XLangDesugaringPhase","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/8a0491436b163d5cc25edfac209a869770fce030"},{"sha":"fe5b91dbf6060079d1bcce72303fd1ef3190af72","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"CodeGen tests for overrides","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/fe5b91dbf6060079d1bcce72303fd1ef3190af72"},{"sha":"9754308b3833440280d9a11498488ef49cd55a45","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"ObjectClass in CodeGen","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/9754308b3833440280d9a11498488ef49cd55a45"},{"sha":"efc0e0a80e09fbf15e233cb7424f2887aa03bab1","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"CodeExtraction should exclude empty trees","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/efc0e0a80e09fbf15e233cb7424f2887aa03bab1"},{"sha":"e45a3e185ca9d68b7af4a6ff335e3300722c9f15","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Improve/fix/use consistently features related to deep type hierarchies","distinct":true,"url":"https://api.github.com/repos/regb/leon/commits/e45a3e185ca9d68b7af4a6ff335e3300722c9f15"}]}