Merge branch 'feature/basile/rename-mmodel' into 'master'
[eacsl] Rename "mmodel" occurrences to "mtracking" See merge request frama-c/frama-c!2829
No related branches found
No related tags found
Showing
- src/plugins/e-acsl/Makefile.in 8 additions, 8 deletionssrc/plugins/e-acsl/Makefile.in
- src/plugins/e-acsl/doc/Changelog 4 additions, 0 deletionssrc/plugins/e-acsl/doc/Changelog
- src/plugins/e-acsl/doc/userman/limitations.tex 4 additions, 4 deletionssrc/plugins/e-acsl/doc/userman/limitations.tex
- src/plugins/e-acsl/doc/userman/provides.tex 1 addition, 1 deletionsrc/plugins/e-acsl/doc/userman/provides.tex
- src/plugins/e-acsl/examples/known_bugs/let-alias.c 1 addition, 1 deletionsrc/plugins/e-acsl/examples/known_bugs/let-alias.c
- src/plugins/e-acsl/headers/header_spec.txt 6 additions, 6 deletionssrc/plugins/e-acsl/headers/header_spec.txt
- src/plugins/e-acsl/man/e-acsl-gcc.sh.1 1 addition, 1 deletionsrc/plugins/e-acsl/man/e-acsl-gcc.sh.1
- src/plugins/e-acsl/scripts/e-acsl-gcc.comp 2 additions, 2 deletionssrc/plugins/e-acsl/scripts/e-acsl-gcc.comp
- src/plugins/e-acsl/scripts/e-acsl-gcc.sh 15 additions, 6 deletionssrc/plugins/e-acsl/scripts/e-acsl-gcc.sh
- src/plugins/e-acsl/src/analyses/memory_tracking.ml 19 additions, 19 deletionssrc/plugins/e-acsl/src/analyses/memory_tracking.ml
- src/plugins/e-acsl/src/analyses/memory_tracking.mli 4 additions, 4 deletionssrc/plugins/e-acsl/src/analyses/memory_tracking.mli
- src/plugins/e-acsl/src/code_generator/global_observer.ml 2 additions, 2 deletionssrc/plugins/e-acsl/src/code_generator/global_observer.ml
- src/plugins/e-acsl/src/code_generator/injector.ml 9 additions, 9 deletionssrc/plugins/e-acsl/src/code_generator/injector.ml
- src/plugins/e-acsl/src/code_generator/literal_observer.ml 1 addition, 1 deletionsrc/plugins/e-acsl/src/code_generator/literal_observer.ml
- src/plugins/e-acsl/src/code_generator/memory_observer.ml 1 addition, 1 deletionsrc/plugins/e-acsl/src/code_generator/memory_observer.ml
- src/plugins/e-acsl/src/code_generator/memory_observer.mli 1 addition, 1 deletionsrc/plugins/e-acsl/src/code_generator/memory_observer.mli
- src/plugins/e-acsl/src/code_generator/memory_translate.ml 0 additions, 0 deletionssrc/plugins/e-acsl/src/code_generator/memory_translate.ml
- src/plugins/e-acsl/src/code_generator/memory_translate.mli 0 additions, 0 deletionssrc/plugins/e-acsl/src/code_generator/memory_translate.mli
- src/plugins/e-acsl/src/code_generator/temporal.ml 6 additions, 6 deletionssrc/plugins/e-acsl/src/code_generator/temporal.ml
- src/plugins/e-acsl/src/code_generator/translate.ml 10 additions, 9 deletionssrc/plugins/e-acsl/src/code_generator/translate.ml
Loading
Please register or sign in to comment