{"push_id":1078935604,"size":43,"distinct_size":24,"ref":"refs/heads/topic/genc","head":"a0b2e663e6c8711ac1fe26d46d66ae77e17cb719","before":"8e960861cdbdcbaa57c909f6befcfad2e5680d77","commits":[{"sha":"33a68e8bcef7002c4c9ecd081b40e70551857849","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Régis Blanc"},"message":"unit test to make sure contract of Extractors is clear","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/33a68e8bcef7002c4c9ecd081b40e70551857849"},{"sha":"fd2e80df8e5c2a4cf5d107930a8b91a2bcdeb5da","author":{"email":"89eca3019cdfbbf550f58eaaa64dcbcd56c48719@gmail.com","name":"Nicolas Voirol"},"message":"Added let bindings in leon paths","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/fd2e80df8e5c2a4cf5d107930a8b91a2bcdeb5da"},{"sha":"ccdbaa76738e07a2767f1c39669698e0c58c6ca7","author":{"email":"89eca3019cdfbbf550f58eaaa64dcbcd56c48719@gmail.com","name":"Nicolas Voirol"},"message":"Small fix for required lambda in ensuring","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/ccdbaa76738e07a2767f1c39669698e0c58c6ca7"},{"sha":"916be314328b2c20ce83164cd4044b54157e279f","author":{"email":"89eca3019cdfbbf550f58eaaa64dcbcd56c48719@gmail.com","name":"Nicolas Voirol"},"message":"Fix for first-class functions returning more functions","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/916be314328b2c20ce83164cd4044b54157e279f"},{"sha":"ae9ad591f034c82c68ec883b6e23b6abfb220053","author":{"email":"89eca3019cdfbbf550f58eaaa64dcbcd56c48719@gmail.com","name":"Nicolas Voirol"},"message":"Some id freshening in paths","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/ae9ad591f034c82c68ec883b6e23b6abfb220053"},{"sha":"a18fc92f6d3b0ab18dcc185592421e5eeb837f0f","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Régis Blanc"},"message":"start some unit testing of function closure","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/a18fc92f6d3b0ab18dcc185592421e5eeb837f0f"},{"sha":"dc159e1df9d5b5e2117cc8bd4ac2b4b73f9e650a","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Régis Blanc"},"message":"function closure only capture required variables","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/dc159e1df9d5b5e2117cc8bd4ac2b4b73f9e650a"},{"sha":"ecaa1978ff7d335729e59bf516e8c81ef19ce1e0","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Régis Blanc"},"message":"Function closure makes sure that all ids updated","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/ecaa1978ff7d335729e59bf516e8c81ef19ce1e0"},{"sha":"a462d05be83eec8ebc9b47981f967a6a1f6cacd3","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Régis Blanc"},"message":"function closure does not capture let bindings","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/a462d05be83eec8ebc9b47981f967a6a1f6cacd3"},{"sha":"85a13c17649918f93371f470a83c86db97ac3c80","author":{"email":"76c2ae9c3e580541e2137ecb616106d524ce4b5e@epfl.ch","name":"Mikaël Mayer"},"message":"Added basic map to string support\nCorrected bug with unicode chars in the build.sbt","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/85a13c17649918f93371f470a83c86db97ac3c80"},{"sha":"95f6252cdbce67664b20f17d27048fd0c5fd0488","author":{"email":"76c2ae9c3e580541e2137ecb616106d524ce4b5e@epfl.ch","name":"Mikaël Mayer"},"message":"Corrected the display with respect to maps outputed in leon ( -> Some)","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/95f6252cdbce67664b20f17d27048fd0c5fd0488"},{"sha":"4b5adb2d03834fc4d5de357c8a4e317294bf3aba","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Delete benchmark file","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/4b5adb2d03834fc4d5de357c8a4e317294bf3aba"},{"sha":"25a5d2c76c533527244471595b06e6fd08559450","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"ravi"},"message":"Fixing extraction of lambda applications with zero arguments","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/25a5d2c76c533527244471595b06e6fd08559450"},{"sha":"9c824b6c74c9babdacded068a643d66e41e6df15","author":{"email":"76c2ae9c3e580541e2137ecb616106d524ce4b5e@epfl.ch","name":"Mikaël Mayer"},"message":"Fix use of slf4j so that leon-web works.","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/9c824b6c74c9babdacded068a643d66e41e6df15"},{"sha":"1c2cc1b1c75f3cfb7ea67ebef62cc9035b8da060","author":{"email":"76c2ae9c3e580541e2137ecb616106d524ce4b5e@epfl.ch","name":"Mikaël Mayer"},"message":"olveMinChange for StringSolver (incremental)","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/1c2cc1b1c75f3cfb7ea67ebef62cc9035b8da060"},{"sha":"d79d849fe074dc51a981c1141349a413832ec279","author":{"email":"76c2ae9c3e580541e2137ecb616106d524ce4b5e@epfl.ch","name":"Mikaël Mayer"},"message":"Added  postFlatmap for all tree operations.","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/d79d849fe074dc51a981c1141349a413832ec279"},{"sha":"8ea34c35c92dea9815f05214772791527ce4beba","author":{"email":"76c2ae9c3e580541e2137ecb616106d524ce4b5e@epfl.ch","name":"Mikaël Mayer"},"message":"Added ExprOps.explainTyping to explain the typing of an expression.","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/8ea34c35c92dea9815f05214772791527ce4beba"},{"sha":"ddf8d882b62072cd5d55c649b5f0d21222f38d83","author":{"email":"76c2ae9c3e580541e2137ecb616106d524ce4b5e@epfl.ch","name":"Mikaël Mayer"},"message":"Added support for abstract evaluation of MatchExpr expressions.\nUpdated the test suite","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/ddf8d882b62072cd5d55c649b5f0d21222f38d83"},{"sha":"f34fbd4ffe433f2000ae38f13a97a2d341506a39","author":{"email":"76c2ae9c3e580541e2137ecb616106d524ce4b5e@epfl.ch","name":"Mikaël Mayer"},"message":"Corrected type cardinality","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/f34fbd4ffe433f2000ae38f13a97a2d341506a39"},{"sha":"565f0c895a316bf3228517ff6eed0ed88339d99c","author":{"email":"5f46373bc4a66ea80bbe8739fe3c75a56bf2ca51@gmail.com","name":"Etienne Kneuss"},"message":"some fix for package-less objects","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/565f0c895a316bf3228517ff6eed0ed88339d99c"}]}