{"push_id":1114415639,"size":3,"distinct_size":2,"ref":"refs/heads/feat_zipstream_compress","head":"90f30e169698fb4c893f7e8091c9fe517477ff45","before":"7212bb12d278edfb3ea673384681bc8ce78d41a2","commits":[{"sha":"59834093ec8bb92490ccfac85c2e79247d370512","author":{"email":"54669547a225ff20cba8b75a4adca540eef25858@se.inf.tu-dresden.de","name":"Martin Nowack"},"message":"Add cmake 2.8.11 as additional dependency","distinct":false,"url":"https://api.github.com/repos/MartinNowack/klee/commits/59834093ec8bb92490ccfac85c2e79247d370512"},{"sha":"e481f415042b9bcb5af6d057648852a9d8ef7d4e","author":{"email":"da8bfcd6ae0054776e4d61775f3e75c061c41bdc@gmail.com","name":"MartinNowack"},"message":"Merge pull request #392 from MartinNowack/fix_docker_stp\n\nAdd newer cmake 2.8.11 from external ppa repository","distinct":true,"url":"https://api.github.com/repos/MartinNowack/klee/commits/e481f415042b9bcb5af6d057648852a9d8ef7d4e"},{"sha":"90f30e169698fb4c893f7e8091c9fe517477ff45","author":{"email":"54669547a225ff20cba8b75a4adca540eef25858@se.inf.tu-dresden.de","name":"Martin Nowack"},"message":"Support gzip-based compression of raw_outstreams\n\nProvide initial zlib-based compression support\nto deflate log files in gzip format.\n\nUse --compress-log to compress all query log files.\nEvery file gets extended with .gz.","distinct":true,"url":"https://api.github.com/repos/MartinNowack/klee/commits/90f30e169698fb4c893f7e8091c9fe517477ff45"}]}