[e-acsl] article in progress

src/plugins/e-acsl/doc/memory_model/article.pdf

src/plugins/e-acsl/doc/memory_model/article.tex

...ins/e-acsl/doc/memory_model/experiments/Bsearch/bsearch.c

...mory_model/experiments/Bsearch/test_parameters_Bsearch.pl

...plugins/e-acsl/doc/memory_model/experiments/Bsort/bsort.c

...c/memory_model/experiments/Bsort/test_parameters_bsort.pl

...acsl/doc/memory_model/experiments/BubbleSort/bubblesort.c

...oc/memory_model/experiments/BubbleSort/test_parameters.pl

...plugins/e-acsl/doc/memory_model/experiments/Merge/merge.c

...c/memory_model/experiments/Merge/test_parameters_Merge.pl

...gins/e-acsl/doc/memory_model/experiments/fibonacci/fibo.c

...emory_model/experiments/fibonacci/test_parameters_fibo.pl