{"push_id":810310470,"size":10,"distinct_size":3,"ref":"refs/heads/devel","head":"31b810ce758f02ae50cc81296d488decac2b62fd","before":"8c8443de13e04cd2b24d0631e9c0bc6de97977bf","commits":[{"sha":"9d37d6ad3910089e03ea0995cf55f6cbbf23d914","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"Ravi Madhavan"},"message":"(a) Adding support for inferring invariants in Leon.\n(b) Adding support for inferring time, depth, stack and rec bounds\n(c) Adding support for compositional reasoning in inferrence of time bounds\n(d) Adding support for estimating stack usage at runtime\n(e) Adding support for fractional literals","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/9d37d6ad3910089e03ea0995cf55f6cbbf23d914"},{"sha":"c6e7ae284ea12b219412777a34019e955f1525e2","author":{"email":"5514b0ba4af5f4213d63380480e6fa4c6026dc24@epfl.ch","name":"ravi"},"message":"Removing compositional and automatic testcases","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/c6e7ae284ea12b219412777a34019e955f1525e2"},{"sha":"ab98b3eebdd413e99e0dd750430145a1e65db8a3","author":{"email":"5f46373bc4a66ea80bbe8739fe3c75a56bf2ca51@gmail.com","name":"Etienne Kneuss"},"message":"Fix model extraction of solvers and test them","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/ab98b3eebdd413e99e0dd750430145a1e65db8a3"},{"sha":"27aa7faf7a2c8e92b8280c5656ab303cffe48c3d","author":{"email":"5f46373bc4a66ea80bbe8739fe3c75a56bf2ca51@gmail.com","name":"Etienne Kneuss"},"message":"This should give the JVM that tests more room","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/27aa7faf7a2c8e92b8280c5656ab303cffe48c3d"},{"sha":"04df727ac144cbadfa105e67bc3776c4c34a2397","author":{"email":"5f46373bc4a66ea80bbe8739fe3c75a56bf2ca51@gmail.com","name":"Etienne Kneuss"},"message":"Merge symbolic resource bound inference for leon (PR153)","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/04df727ac144cbadfa105e67bc3776c4c34a2397"},{"sha":"f7fb98452934dbad2940f235e28220daf0cbd35f","author":{"email":"5f46373bc4a66ea80bbe8739fe3c75a56bf2ca51@gmail.com","name":"Etienne Kneuss"},"message":"Free these solvers as well","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/f7fb98452934dbad2940f235e28220daf0cbd35f"},{"sha":"4bad97282544eecef1537d5271dca9308412de2a","author":{"email":"5f46373bc4a66ea80bbe8739fe3c75a56bf2ca51@gmail.com","name":"Etienne Kneuss"},"message":"Ingore Nested15 for now","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/4bad97282544eecef1537d5271dca9308412de2a"},{"sha":"71e350cf6edd1a98ba397d8466dec976b0cde1dd","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Cleanup smtlib","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/71e350cf6edd1a98ba397d8466dec976b0cde1dd"},{"sha":"377ba0d847df37dd41473cfd8cb246da9af50947","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Restore/enrich gitignore","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/377ba0d847df37dd41473cfd8cb246da9af50947"},{"sha":"31b810ce758f02ae50cc81296d488decac2b62fd","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Merge new FunctionClosure, and various improvements","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/31b810ce758f02ae50cc81296d488decac2b62fd"}]}