Commit 66004dc

authored

Merge pull request #8563 from tautschnig/miniz-update

Update third-party miniz to 0c30a001bc3c70

2 parents af4e2e4 + 35bf91a commit 66004dcCopy full SHA for 66004dc

4 files changed

+6937

-6078

lines changed

.clang-format-ignore
jbmc/src/miniz
- miniz.cpp
- miniz.h
scripts
- run_diff.sh

4 files changed

+6937

-6078

lines changed

`‎.clang-format-ignore`

+1

-Original file line number
+Diff line change
 jbmc/src/miniz/miniz.cpp
 +jbmc/src/miniz/miniz.h
 src/cprover/wcwidth.c
 unit/catch/catch.hpp

Comments

(0)