Miniz support#548

Merged

kroening merged 7 commits intodiffblue:masterfrom

mgudemann:miniz_support

Mar 8, 2017

Commits on Mar 1, 2017

initial support for miniz
Matthias Güdemann
committed
use amalgamated files from release tarball
Matthias Güdemann
committed
type cleanup in miniz
Matthias Güdemann
committed
update Makefiles / remove all references to libzip/zlib
Matthias Güdemann
committed
regression test with multiple JARs/classpath
Matthias Güdemann
committed
disable unaligned load/store for g++
Matthias Güdemann
committed
auto-fix cpplint errors with generated sed script
Matthias Güdemann
committed