[zlib] new case study
Showing
- Makefile 1 addition, 0 deletionsMakefile
- README.md 1 addition, 0 deletionsREADME.md
- zlib/.frama-c/GNUmakefile 45 additions, 0 deletionszlib/.frama-c/GNUmakefile
- zlib/.frama-c/path.mk 1 addition, 0 deletionszlib/.frama-c/path.mk
- zlib/.frama-c/zlib-example.eva/alarms.csv 2 additions, 0 deletionszlib/.frama-c/zlib-example.eva/alarms.csv
- zlib/.frama-c/zlib-example.eva/metrics.log 99 additions, 0 deletionszlib/.frama-c/zlib-example.eva/metrics.log
- zlib/.frama-c/zlib-example.eva/nonterm.log 27 additions, 0 deletionszlib/.frama-c/zlib-example.eva/nonterm.log
- zlib/.frama-c/zlib-example.eva/warnings.log 1 addition, 0 deletionszlib/.frama-c/zlib-example.eva/warnings.log
- zlib/.frama-c/zlib-example.parse/framac.ast 18435 additions, 0 deletionszlib/.frama-c/zlib-example.parse/framac.ast
- zlib/.frama-c/zlib-example.parse/metrics.log 96 additions, 0 deletionszlib/.frama-c/zlib-example.parse/metrics.log
- zlib/.frama-c/zlib-example.parse/warnings.log 1 addition, 0 deletionszlib/.frama-c/zlib-example.parse/warnings.log
- zlib/CMakeLists.txt 249 additions, 0 deletionszlib/CMakeLists.txt
- zlib/ChangeLog 1515 additions, 0 deletionszlib/ChangeLog
- zlib/FAQ 368 additions, 0 deletionszlib/FAQ
- zlib/INDEX 68 additions, 0 deletionszlib/INDEX
- zlib/Makefile 5 additions, 0 deletionszlib/Makefile
- zlib/Makefile.in 410 additions, 0 deletionszlib/Makefile.in
- zlib/README 115 additions, 0 deletionszlib/README
- zlib/adler32.c 186 additions, 0 deletionszlib/adler32.c
- zlib/compress.c 86 additions, 0 deletionszlib/compress.c
Loading
Please register or sign in to comment