Merge branch 'feature/basile/eacsl-thread-aware' into 'master'
[eacsl] Ajout du support de la concurrence See merge request frama-c/frama-c!3445
Showing
- src/plugins/e-acsl/Makefile.in 9 additions, 4 deletionssrc/plugins/e-acsl/Makefile.in
- src/plugins/e-acsl/doc/Changelog 3 additions, 2 deletionssrc/plugins/e-acsl/doc/Changelog
- src/plugins/e-acsl/doc/userman/changes.tex 6 additions, 0 deletionssrc/plugins/e-acsl/doc/userman/changes.tex
- src/plugins/e-acsl/doc/userman/provides.tex 95 additions, 0 deletionssrc/plugins/e-acsl/doc/userman/provides.tex
- src/plugins/e-acsl/headers/header_spec.txt 9 additions, 0 deletionssrc/plugins/e-acsl/headers/header_spec.txt
- src/plugins/e-acsl/man/e-acsl-gcc.sh.1 11 additions, 5 deletionssrc/plugins/e-acsl/man/e-acsl-gcc.sh.1
- src/plugins/e-acsl/scripts/e-acsl-gcc.sh 115 additions, 9 deletionssrc/plugins/e-acsl/scripts/e-acsl-gcc.sh
- src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp 1 addition, 1 deletionsrc/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp
- src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c 1 addition, 0 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c
- src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c 6 additions, 0 deletions...e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c
- src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal_timestamp.h 6 additions, 2 deletions.../e-acsl/instrumentation_model/e_acsl_temporal_timestamp.h
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_concurrency.h 158 additions, 0 deletions...lugins/e-acsl/share/e-acsl/internals/e_acsl_concurrency.h
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.c 2 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.c
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.c 10 additions, 2 deletionssrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.c
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.h 7 additions, 3 deletionssrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.h
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.c 1 addition, 9 deletions...ins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.c
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.c 606 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.c
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.h 43 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_error.h
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_io.c 141 additions, 44 deletionssrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_io.c
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_io.h 26 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_rtl_io.h
Loading
Please register or sign in to comment