[eacsl:runtime] Add `eacsl` prefix to C defines
Showing
- src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c 3 additions, 3 deletions...e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.c
- src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.h 5 additions, 5 deletions...e-acsl/share/e-acsl/instrumentation_model/e_acsl_assert.h
- src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.c 15 additions, 15 deletions...acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.c
- src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.h 25 additions, 25 deletions...acsl/share/e-acsl/instrumentation_model/e_acsl_temporal.h
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.c 9 additions, 9 deletionssrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.c
- src/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.h 36 additions, 35 deletionssrc/plugins/e-acsl/share/e-acsl/internals/e_acsl_malloc.h
- src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.c 6 additions, 6 deletions...gins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.c
- src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.h 12 additions, 12 deletions...gins/e-acsl/share/e-acsl/libc_replacements/e_acsl_stdio.h
- src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.c 15 additions, 15 deletions...ins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.c
- src/plugins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.h 22 additions, 23 deletions...ins/e-acsl/share/e-acsl/libc_replacements/e_acsl_string.h
- src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_floating_point.c 7 additions, 7 deletions...acsl/share/e-acsl/numerical_model/e_acsl_floating_point.c
- src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_floating_point.h 8 additions, 8 deletions...acsl/share/e-acsl/numerical_model/e_acsl_floating_point.h
- src/plugins/e-acsl/share/e-acsl/numerical_model/e_acsl_gmp_api.h 58 additions, 58 deletions...gins/e-acsl/share/e-acsl/numerical_model/e_acsl_gmp_api.h
- src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree.c 3 additions, 3 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.h 1 addition, 1 deletion...e/e-acsl/observation_model/bittree_model/e_acsl_bittree.h
- src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_observation_model.c 46 additions, 46 deletions...on_model/bittree_model/e_acsl_bittree_observation_model.c
- src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_timestamp_retrieval.c 1 addition, 1 deletion..._model/bittree_model/e_acsl_bittree_timestamp_retrieval.c
- src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.c 2 additions, 2 deletions...ugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.c
- src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.h 8 additions, 8 deletions...ugins/e-acsl/share/e-acsl/observation_model/e_acsl_heap.h
- src/plugins/e-acsl/share/e-acsl/observation_model/e_acsl_observation_model.c 1 addition, 1 deletion...share/e-acsl/observation_model/e_acsl_observation_model.c
Loading
Please register or sign in to comment