Merge branch 'feature/basile/eacsl-windows' into 'master'
[eacsl] Add RTL support for Windows Closes e-acsl#129 See merge request frama-c/frama-c!2955
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/contrib/libdlmalloc/dlmalloc.c 11 additions, 1 deletionsrc/plugins/e-acsl/contrib/libdlmalloc/dlmalloc.c
- src/plugins/e-acsl/doc/Changelog 1 addition, 0 deletionssrc/plugins/e-acsl/doc/Changelog
- src/plugins/e-acsl/headers/header_spec.txt 1 addition, 0 deletionssrc/plugins/e-acsl/headers/header_spec.txt
- src/plugins/e-acsl/man/e-acsl-gcc.sh.1 7 additions, 0 deletionssrc/plugins/e-acsl/man/e-acsl-gcc.sh.1
- src/plugins/e-acsl/scripts/e-acsl-gcc.comp 1 addition, 1 deletionsrc/plugins/e-acsl/scripts/e-acsl-gcc.comp
- src/plugins/e-acsl/scripts/e-acsl-gcc.sh 14 additions, 2 deletionssrc/plugins/e-acsl/scripts/e-acsl-gcc.sh
- src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c 8 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_config.h 66 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_config.h
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.c 7 additions, 1 deletionsrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_debug.c
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.c 5 additions, 5 deletions...ins/e-acsl/share/e-acsl/internals/e_acsl_private_assert.c
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.c 7 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.c
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.h 7 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_shexec.h
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.c 5 additions, 2 deletionssrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_trace.c
- src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.c 12 additions, 0 deletions...e/e-acsl/observation_model/bittree_model/e_acsl_bittree.c
- src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_observation_model.c 7 additions, 5 deletions...on_model/bittree_model/e_acsl_bittree_observation_model.c
- src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.c 9 additions, 6 deletions...-acsl/observation_model/internals/e_acsl_safe_locations.c
- src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.h 10 additions, 4 deletions...-acsl/observation_model/internals/e_acsl_safe_locations.h
- src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_observation_model.c 13 additions, 10 deletions...on_model/segment_model/e_acsl_segment_observation_model.c
- src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_omodel_debug.c 1 addition, 0 deletions...rvation_model/segment_model/e_acsl_segment_omodel_debug.c
- src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.c 28 additions, 10 deletions...observation_model/segment_model/e_acsl_segment_tracking.c
Loading
Please register or sign in to comment