{"push_id":636286035,"size":15,"distinct_size":15,"ref":"refs/heads/master","head":"a3c764c60f08ca89059e0516dcb1372f893ed62c","before":"480631b86f5305830509a71e4fee5c783ef47c92","commits":[{"sha":"4be1df0c58f5ce62e962c9d29571309f082754c5","author":{"email":"5f46373bc4a66ea80bbe8739fe3c75a56bf2ca51@gmail.com","name":"Etienne Kneuss"},"message":"CVC4 should work on regression now","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/4be1df0c58f5ce62e962c9d29571309f082754c5"},{"sha":"e445f6d34fd1113a88902cc42f4ae4a7bf7114ba","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"SMTLIB-CVC4 with define-funs-rec","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/e445f6d34fd1113a88902cc42f4ae4a7bf7114ba"},{"sha":"617aa98193eb2188aa76fb27aa12a4ddb8eac0d7","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Various fixes","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/617aa98193eb2188aa76fb27aa12a4ddb8eac0d7"},{"sha":"38c581f2403e4e6f28eeb60a2eaa81d05651bec5","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"assert variables exist. quantified instead of free","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/38c581f2403e4e6f28eeb60a2eaa81d05651bec5"},{"sha":"ad7870f1e9be65e265eb6e0e12fd1ad5feaed37b","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Some details","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/ad7870f1e9be65e265eb6e0e12fd1ad5feaed37b"},{"sha":"8c20832410de22b42065b15bb3b0e595d814723e","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Z3 solver with fundefs as quantified formulas","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/8c20832410de22b42065b15bb3b0e595d814723e"},{"sha":"ca98210eca83ebdee12c931c8ea83045e98407ed","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Add tests for new solvers","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/ca98210eca83ebdee12c931c8ea83045e98407ed"},{"sha":"54359d4d889dc32b933afcebfae9057757536307","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Refactor tests: separate old from new solvers in verification","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/54359d4d889dc32b933afcebfae9057757536307"},{"sha":"915ebc6f18754f703a01d18c2e144cf64d6d7fec","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Remove unhandled tests for now","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/915ebc6f18754f703a01d18c2e144cf64d6d7fec"},{"sha":"4efda4dde410a0265ffe3c3cfc8c5d3cfcb11208","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Support Assert in new solvers","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/4efda4dde410a0265ffe3c3cfc8c5d3cfcb11208"},{"sha":"5b35e1b60c7e7635df4ea6636316a8ecc0e2b6ba","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Slight test improvements","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/5b35e1b60c7e7635df4ea6636316a8ecc0e2b6ba"},{"sha":"1a51b69168774bf2c41dc767e7536716ef05d4f5","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Function without args should not end up in a define-funs-rec","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/1a51b69168774bf2c41dc767e7536716ef05d4f5"},{"sha":"a5c459d702a6648fdb578383cbacd2d84487d485","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Update to the new version of scala-smtlib","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/a5c459d702a6648fdb578383cbacd2d84487d485"},{"sha":"979f7b14827139a5743487efa8b741de162a9c07","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Assert pre -> post for functions under define-funs-rec","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/979f7b14827139a5743487efa8b741de162a9c07"},{"sha":"a3c764c60f08ca89059e0516dcb1372f893ed62c","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Restore new solver tests","distinct":true,"url":"https://api.github.com/repos/colder/leon/commits/a3c764c60f08ca89059e0516dcb1372f893ed62c"}]}