{"push_id":2442975212,"size":29,"distinct_size":0,"ref":"refs/heads/master","head":"0844feb1bfec22fa4ffdca4ef0e650593144a37b","before":"960e9e848e3877b949e13e9724a0830238eeb96a","commits":[{"sha":"cbcbc7a0664bf11e6dce88d87f5746f82b3d3b3d","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Small improvements in type encoding","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/cbcbc7a0664bf11e6dce88d87f5746f82b3d3b3d"},{"sha":"9587e9eeda42165daf8d2019237c36fb705d481e","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Add throwing contract to stainless library","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/9587e9eeda42165daf8d2019237c36fb705d481e"},{"sha":"252817053cb9dd59e66d8138aff8e9dda95d5d42","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Make sure Exception class can be extracted in scalac frontend","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/252817053cb9dd59e66d8138aff8e9dda95d5d42"},{"sha":"1eec5f7587da98de6a928d68802405026d149c34","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Exception class in dotty frontend","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/1eec5f7587da98de6a928d68802405026d149c34"},{"sha":"a6621d56af58c168cad27f8d0e3c94c8c99e8437","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Remove sealed warning for library classes","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/a6621d56af58c168cad27f8d0e3c94c8c99e8437"},{"sha":"c1b73627854fd315520128d86a0163c37e0b4990","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Seal stainless AST nodes","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/c1b73627854fd315520128d86a0163c37e0b4990"},{"sha":"d4358f38debfce58a58371bbcd377902c1179d5a","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Prepare trees for exceptions encoding","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/d4358f38debfce58a58371bbcd377902c1179d5a"},{"sha":"883340614c61788aa0411a5c132439b9dc543500","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Add default constructor for unsealed adts","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/883340614c61788aa0411a5c132439b9dc543500"},{"sha":"fc69fca5ac164790834a96962e8d7ab3293663cd","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Make sure tree definition ordering is correct","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/fc69fca5ac164790834a96962e8d7ab3293663cd"},{"sha":"4705b885ace24891de49e327c1531532957bed55","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Update extraction doc","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/4705b885ace24891de49e327c1531532957bed55"},{"sha":"38364a3745b480aad3620a90fa1c35bf2dfe600d","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Add try-catch AST","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/38364a3745b480aad3620a90fa1c35bf2dfe600d"},{"sha":"709dc8ff20bcfafd23555469519f915c68d91a84","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Extract exception-related stuff in scalac frontend","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/709dc8ff20bcfafd23555469519f915c68d91a84"},{"sha":"b442ee55a3b2782c65e56153243fbb7ff8be4e40","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Some fixes in throwing scalac frontend extractor","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/b442ee55a3b2782c65e56153243fbb7ff8be4e40"},{"sha":"5a94559486767a5b02372ddcf2c427fa589f9def","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Setup exception tree printing","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/5a94559486767a5b02372ddcf2c427fa589f9def"},{"sha":"ce0e36fad0867eddbc7247abaf3f4a2aa0c32622","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Small fix in throwing type check","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/ce0e36fad0867eddbc7247abaf3f4a2aa0c32622"},{"sha":"6fcc3d4502ac0c99e8a22e5a0189f9e3e159e7f3","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Setup exception extraction in dotty frontend","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/6fcc3d4502ac0c99e8a22e5a0189f9e3e159e7f3"},{"sha":"b5e6d492c7b30bac49001727a7322836414c29c8","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Be more strict during tree extraction","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/b5e6d492c7b30bac49001727a7322836414c29c8"},{"sha":"c1d6e56f2181efc8a3858ed55d11d9d87a72c005","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Reject abstract type members","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/c1d6e56f2181efc8a3858ed55d11d9d87a72c005"},{"sha":"f32de806eb9e68111e10bad2d8356d0cad82f06a","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Add choose injector into verification component","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/f32de806eb9e68111e10bad2d8356d0cad82f06a"},{"sha":"bb82d2797c392f70af074a6db5a0b40f854c4a7b","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Disable choose satisfiability check for open classes","distinct":false,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/bb82d2797c392f70af074a6db5a0b40f854c4a7b"}]}
{"actor":{"display_login":"samarion"}}