"tests/value/git@git.frama-c.com:pub/frama-c.git" did not exist on "2efb5ab90b5d2cd993da5d2a721ee5dc540cac1f"
Merge branch 'jan/eacsl-tls-fix' into 'master'
[e-acsl] fix TLS segment start adress and size Closes #1147 See merge request frama-c/frama-c!4550
Showing
- src/plugins/e-acsl/doc/Changelog 6 additions, 0 deletionssrc/plugins/e-acsl/doc/Changelog
- src/plugins/e-acsl/share/e-acsl/observation_model/bittree_model/e_acsl_bittree_observation_model.c 44 additions, 22 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_omodel_debug.c 11 additions, 0 deletions...rvation_model/bittree_model/e_acsl_bittree_omodel_debug.c
- src/plugins/e-acsl/share/e-acsl/observation_model/internals/e_acsl_safe_locations.c 32 additions, 49 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, 24 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 48 additions, 21 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 12 additions, 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 5 additions, 0 deletions...observation_model/segment_model/e_acsl_segment_tracking.c
- src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.c 0 additions, 3 deletions...servation_model/segment_model/e_acsl_shadow_concurrency.c
- src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.c 54 additions, 219 deletions...sl/observation_model/segment_model/e_acsl_shadow_layout.c
- src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.h 1 addition, 13 deletions...sl/observation_model/segment_model/e_acsl_shadow_layout.h
- src/plugins/e-acsl/src/analyses/memory_tracking.ml 48 additions, 0 deletionssrc/plugins/e-acsl/src/analyses/memory_tracking.ml
- src/plugins/e-acsl/src/analyses/memory_tracking.mli 8 additions, 0 deletionssrc/plugins/e-acsl/src/analyses/memory_tracking.mli
- src/plugins/e-acsl/src/code_generator/translate_predicates.ml 62 additions, 45 deletions...plugins/e-acsl/src/code_generator/translate_predicates.ml
- src/plugins/e-acsl/src/main.ml 1 addition, 0 deletionssrc/plugins/e-acsl/src/main.ml
- src/plugins/e-acsl/tests/bts/oracle/gen_issue-eacsl-91.c 0 additions, 3 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_issue-eacsl-91.c
- src/plugins/e-acsl/tests/concurrency/oracle/gen_parallel_threads.c 0 additions, 96 deletions...ns/e-acsl/tests/concurrency/oracle/gen_parallel_threads.c
- src/plugins/e-acsl/tests/concurrency/oracle/gen_sequential_threads.c 0 additions, 24 deletions.../e-acsl/tests/concurrency/oracle/gen_sequential_threads.c
- src/plugins/e-acsl/tests/concurrency/oracle/gen_threads_debug.c 0 additions, 96 deletions...ugins/e-acsl/tests/concurrency/oracle/gen_threads_debug.c
- src/plugins/e-acsl/tests/concurrency/oracle/gen_threads_safe_locations.c 26 additions, 130 deletions...csl/tests/concurrency/oracle/gen_threads_safe_locations.c
Loading
Please register or sign in to comment