{"push_id":557059197,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"8ce680c6506119b9d2ee7a6a280206e533eda960","before":"083018700c4f0b67d8054240191d66de9656acdd","commits":[{"sha":"6ab1e0cb3d338d4a05d1d8cac744ef1c0f4a3d30","author":{"email":"bb7bae37dc36b0b86ed1831b8850104e61936af7@gmail.com","name":"Levent Erkok"},"message":"Track SMT-Lib floating-point logic name change","distinct":true,"url":"https://api.github.com/repos/LeventErkok/sbv/commits/6ab1e0cb3d338d4a05d1d8cac744ef1c0f4a3d30"},{"sha":"19d443fcafe7296689048faae7f794b56191eadc","author":{"email":"bb7bae37dc36b0b86ed1831b8850104e61936af7@gmail.com","name":"Levent Erkok"},"message":"Parse QF_FP float/double literals","distinct":true,"url":"https://api.github.com/repos/LeventErkok/sbv/commits/19d443fcafe7296689048faae7f794b56191eadc"},{"sha":"97292aa8d7d422eea3e04211d15318ac0a6107da","author":{"email":"bb7bae37dc36b0b86ed1831b8850104e61936af7@gmail.com","name":"Levent Erkok"},"message":"Propagate ENum value changes","distinct":true,"url":"https://api.github.com/repos/LeventErkok/sbv/commits/97292aa8d7d422eea3e04211d15318ac0a6107da"},{"sha":"d907bcc7d90c745a796f2c97395e14ce5953d989","author":{"email":"bb7bae37dc36b0b86ed1831b8850104e61936af7@gmail.com","name":"Levent Erkok"},"message":"Use new logic names for QF_FP and QF_FPBV","distinct":true,"url":"https://api.github.com/repos/LeventErkok/sbv/commits/d907bcc7d90c745a796f2c97395e14ce5953d989"},{"sha":"8ce680c6506119b9d2ee7a6a280206e533eda960","author":{"email":"bb7bae37dc36b0b86ed1831b8850104e61936af7@gmail.com","name":"Levent Erkok"},"message":"Adapt output to new Z3 version","distinct":true,"url":"https://api.github.com/repos/LeventErkok/sbv/commits/8ce680c6506119b9d2ee7a6a280206e533eda960"}]}