Merge branch 'feature/add-miniz' into 'master'
[miniz] new case study See merge request !8
Showing
- Makefile 1 addition, 0 deletionsMakefile
- README.md 1 addition, 0 deletionsREADME.md
- miniz/.frama-c/GNUmakefile 46 additions, 0 deletionsminiz/.frama-c/GNUmakefile
- miniz/.frama-c/miniz.eva/alarms.csv 27 additions, 0 deletionsminiz/.frama-c/miniz.eva/alarms.csv
- miniz/.frama-c/miniz.eva/metrics.log 51 additions, 0 deletionsminiz/.frama-c/miniz.eva/metrics.log
- miniz/.frama-c/miniz.eva/nonterm.log 16 additions, 0 deletionsminiz/.frama-c/miniz.eva/nonterm.log
- miniz/.frama-c/miniz.eva/warnings.log 0 additions, 0 deletionsminiz/.frama-c/miniz.eva/warnings.log
- miniz/.frama-c/miniz.parse/framac.ast 6108 additions, 0 deletionsminiz/.frama-c/miniz.parse/framac.ast
- miniz/.frama-c/miniz.parse/metrics.log 65 additions, 0 deletionsminiz/.frama-c/miniz.parse/metrics.log
- miniz/.frama-c/miniz.parse/warnings.log 0 additions, 0 deletionsminiz/.frama-c/miniz.parse/warnings.log
- miniz/.frama-c/path.mk 1 addition, 0 deletionsminiz/.frama-c/path.mk
- miniz/CMakeLists.txt 235 additions, 0 deletionsminiz/CMakeLists.txt
- miniz/ChangeLog.md 176 additions, 0 deletionsminiz/ChangeLog.md
- miniz/LICENSE 22 additions, 0 deletionsminiz/LICENSE
- miniz/amalgamate.sh 55 additions, 0 deletionsminiz/amalgamate.sh
- miniz/examples/example1.c 105 additions, 0 deletionsminiz/examples/example1.c
- miniz/examples/example2.c 164 additions, 0 deletionsminiz/examples/example2.c
- miniz/examples/example3.c 269 additions, 0 deletionsminiz/examples/example3.c
- miniz/examples/example4.c 102 additions, 0 deletionsminiz/examples/example4.c
- miniz/examples/example5.c 327 additions, 0 deletionsminiz/examples/example5.c
Loading
Please register or sign in to comment