{"push_id":803728748,"size":15,"distinct_size":5,"ref":"refs/heads/master","head":"6596b51188580fc2f59ad722dcfef771796f1a66","before":"bf52c2622b517400a38585f20a3c5afe64738b34","commits":[{"sha":"2c0436d5961c6494cc88f886d834cdb21ab76eba","author":{"email":"b25bbf292e05ba7ef88342a1c5edefe64144a46a@epfl.ch","name":"Viktor Kuncak"},"message":"Ravi's example shows a nice way to verify sortedness of search trees","distinct":false,"url":"https://api.github.com/repos/manoskouk/leon/commits/2c0436d5961c6494cc88f886d834cdb21ab76eba"},{"sha":"6dea823a83a29a82a10897df72d2f3d598ff4ccc","author":{"email":"b25bbf292e05ba7ef88342a1c5edefe64144a46a@epfl.ch","name":"Viktor Kuncak"},"message":"Made merge sort verify using better specified splitAtIndex.","distinct":false,"url":"https://api.github.com/repos/manoskouk/leon/commits/6dea823a83a29a82a10897df72d2f3d598ff4ccc"},{"sha":"19b7601b4f8e858e589a4bacf8b4b96e68e43cb5","author":{"email":"b25bbf292e05ba7ef88342a1c5edefe64144a46a@epfl.ch","name":"Viktor Kuncak"},"message":"Basic Merge Sort Parallel would be nice as regression but needs particular solver to work.","distinct":false,"url":"https://api.github.com/repos/manoskouk/leon/commits/19b7601b4f8e858e589a4bacf8b4b96e68e43cb5"},{"sha":"c1948be1dcd691cb7d15be11bbfa1e2312942afd","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"A quantifier-lambda testcase","distinct":false,"url":"https://api.github.com/repos/manoskouk/leon/commits/c1948be1dcd691cb7d15be11bbfa1e2312942afd"},{"sha":"99ecf1d7222d7167f533f63ee469cfbb4df36963","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Treat Forall in instantiateType","distinct":false,"url":"https://api.github.com/repos/manoskouk/leon/commits/99ecf1d7222d7167f533f63ee469cfbb4df36963"},{"sha":"f22dad2d31df8227f60928eb5137ee9892acb063","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Add support for forall to SMTQuantifiedSolver","distinct":false,"url":"https://api.github.com/repos/manoskouk/leon/commits/f22dad2d31df8227f60928eb5137ee9892acb063"},{"sha":"e0bb8a4606968c34ddf62dafcc922db5572e047a","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Fix quantifiedTerm to respect bindings","distinct":false,"url":"https://api.github.com/repos/manoskouk/leon/commits/e0bb8a4606968c34ddf62dafcc922db5572e047a"},{"sha":"ee9827023a806f0d192986cc0593ee5673d718a1","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Be defensive with bodyless FunDefs","distinct":false,"url":"https://api.github.com/repos/manoskouk/leon/commits/ee9827023a806f0d192986cc0593ee5673d718a1"},{"sha":"984e6a2b95b0b44b21d82577922cc973cae2df36","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Fix Printer","distinct":false,"url":"https://api.github.com/repos/manoskouk/leon/commits/984e6a2b95b0b44b21d82577922cc973cae2df36"},{"sha":"4ff7a4dc4a1022aa0f94acabeb81def4a5cbf02d","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Don't give invalid characters to the solver","distinct":false,"url":"https://api.github.com/repos/manoskouk/leon/commits/4ff7a4dc4a1022aa0f94acabeb81def4a5cbf02d"},{"sha":"1125b6d96bae191c220a68cc91e1ece2d4c101a5","author":{"email":"89eca3019cdfbbf550f58eaaa64dcbcd56c48719@gmail.com","name":"Nicolas Voirol"},"message":"Added set matchers for quantification","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/1125b6d96bae191c220a68cc91e1ece2d4c101a5"},{"sha":"dad26d13408a43a028e0b67f1c0c9243c17b10e0","author":{"email":"89eca3019cdfbbf550f58eaaa64dcbcd56c48719@gmail.com","name":"Nicolas Voirol"},"message":"Optimization for quantification in posts","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/dad26d13408a43a028e0b67f1c0c9243c17b10e0"},{"sha":"71df38e6738cf9bb9f8108dda80712f0c4ec2c59","author":{"email":"89eca3019cdfbbf550f58eaaa64dcbcd56c48719@gmail.com","name":"Nicolas Voirol"},"message":"Relaxed quantification checks and added testcases","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/71df38e6738cf9bb9f8108dda80712f0c4ec2c59"},{"sha":"3cd9c09d5479405a719a92d63a9f38560add7787","author":{"email":"89eca3019cdfbbf550f58eaaa64dcbcd56c48719@gmail.com","name":"Nicolas Voirol"},"message":"Fixed empty domains","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/3cd9c09d5479405a719a92d63a9f38560add7787"},{"sha":"6596b51188580fc2f59ad722dcfef771796f1a66","author":{"email":"b25bbf292e05ba7ef88342a1c5edefe64144a46a@epfl.ch","name":"Viktor Kuncak"},"message":"Termination works in parallel merge sort, passing length as parameter. Addeded it as testcase.","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/6596b51188580fc2f59ad722dcfef771796f1a66"}]}