Code

Miniz support#548

Code

Merged

kroening merged 7 commits intodiffblue:masterdiffblue/cbmc:masterfrom

mgudemann:miniz_supportmgudemann/cbmc:miniz_supportCopy head branch name to clipboard

Mar 8, 2017

Commits

Commits on Mar 1, 2017

• initial support for miniz

  

  Matthias Güdemann

  committed
  7cbf75e

  Copy full SHA for 7cbf75e

• use amalgamated files from release tarball

  

  Matthias Güdemann

  committed
  9a95352

  Copy full SHA for 9a95352

• type cleanup in miniz

  

  Matthias Güdemann

  committed
  f8226f2

  Copy full SHA for f8226f2

• update Makefiles / remove all references to libzip/zlib

  

  Matthias Güdemann

  committed
  122db27

  Copy full SHA for 122db27

• regression test with multiple JARs/classpath

  

  Matthias Güdemann

  committed
  1f79d21

  Copy full SHA for 1f79d21

• disable unaligned load/store for g++

  

  Matthias Güdemann

  committed
  3d85f48

  Copy full SHA for 3d85f48

• auto-fix cpplint errors with generated sed script

  

  Matthias Güdemann

  committed
  6ae2c79

  Copy full SHA for 6ae2c79