{"push_id":741181948,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"2a23f8b145cf50b30146424e300016ddd18ffd65","before":"859b45a3d0c0af080847341a67e82398dbfdb025","commits":[{"sha":"1ab78535bf02504e6236aba0bed5001079734f77","author":{"email":"2ee8ec943467fad83db2eb3f247bb99e61ef3d05@gebner.org","name":"Gabriel Ebner"},"message":"Rename VeriTExporter to SmtLibExporter and don't declare equality.\n\nFixes #364.","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/1ab78535bf02504e6236aba0bed5001079734f77"},{"sha":"2a23f8b145cf50b30146424e300016ddd18ffd65","author":{"email":"2ee8ec943467fad83db2eb3f247bb99e61ef3d05@gebner.org","name":"Gabriel Ebner"},"message":"Z3 interface (just isValid).","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/2a23f8b145cf50b30146424e300016ddd18ffd65"}]}