diff --git a/src/plugins/e-acsl/demo/.gitignore b/src/plugins/e-acsl/examples/demo/.gitignore
similarity index 100%
rename from src/plugins/e-acsl/demo/.gitignore
rename to src/plugins/e-acsl/examples/demo/.gitignore
diff --git a/src/plugins/e-acsl/demo/TODO b/src/plugins/e-acsl/examples/demo/TODO
similarity index 100%
rename from src/plugins/e-acsl/demo/TODO
rename to src/plugins/e-acsl/examples/demo/TODO
diff --git a/src/plugins/e-acsl/demo/alone.sh b/src/plugins/e-acsl/examples/demo/alone.sh
similarity index 100%
rename from src/plugins/e-acsl/demo/alone.sh
rename to src/plugins/e-acsl/examples/demo/alone.sh
diff --git a/src/plugins/e-acsl/demo/clean.sh b/src/plugins/e-acsl/examples/demo/clean.sh
similarity index 100%
rename from src/plugins/e-acsl/demo/clean.sh
rename to src/plugins/e-acsl/examples/demo/clean.sh
diff --git a/src/plugins/e-acsl/demo/compile.sh b/src/plugins/e-acsl/examples/demo/compile.sh
similarity index 100%
rename from src/plugins/e-acsl/demo/compile.sh
rename to src/plugins/e-acsl/examples/demo/compile.sh
diff --git a/src/plugins/e-acsl/demo/custom_assert.c b/src/plugins/e-acsl/examples/demo/custom_assert.c
similarity index 100%
rename from src/plugins/e-acsl/demo/custom_assert.c
rename to src/plugins/e-acsl/examples/demo/custom_assert.c
diff --git a/src/plugins/e-acsl/demo/demo.c b/src/plugins/e-acsl/examples/demo/demo.c
similarity index 100%
rename from src/plugins/e-acsl/demo/demo.c
rename to src/plugins/e-acsl/examples/demo/demo.c
diff --git a/src/plugins/e-acsl/demo/demo.sh b/src/plugins/e-acsl/examples/demo/demo.sh
similarity index 100%
rename from src/plugins/e-acsl/demo/demo.sh
rename to src/plugins/e-acsl/examples/demo/demo.sh
diff --git a/src/plugins/e-acsl/demo/load.sh b/src/plugins/e-acsl/examples/demo/load.sh
similarity index 100%
rename from src/plugins/e-acsl/demo/load.sh
rename to src/plugins/e-acsl/examples/demo/load.sh
diff --git a/src/plugins/e-acsl/demo/my_e_acsl.c b/src/plugins/e-acsl/examples/demo/my_e_acsl.c
similarity index 100%
rename from src/plugins/e-acsl/demo/my_e_acsl.c
rename to src/plugins/e-acsl/examples/demo/my_e_acsl.c
diff --git a/src/plugins/e-acsl/demo/pow.c b/src/plugins/e-acsl/examples/demo/pow.c
similarity index 100%
rename from src/plugins/e-acsl/demo/pow.c
rename to src/plugins/e-acsl/examples/demo/pow.c
diff --git a/src/plugins/e-acsl/demo/run_demo.sh b/src/plugins/e-acsl/examples/demo/run_demo.sh
similarity index 100%
rename from src/plugins/e-acsl/demo/run_demo.sh
rename to src/plugins/e-acsl/examples/demo/run_demo.sh
diff --git a/src/plugins/e-acsl/demo/run_script.sh b/src/plugins/e-acsl/examples/demo/run_script.sh
similarity index 100%
rename from src/plugins/e-acsl/demo/run_script.sh
rename to src/plugins/e-acsl/examples/demo/run_script.sh
diff --git a/src/plugins/e-acsl/demo/script.ml b/src/plugins/e-acsl/examples/demo/script.ml
similarity index 100%
rename from src/plugins/e-acsl/demo/script.ml
rename to src/plugins/e-acsl/examples/demo/script.ml
diff --git a/src/plugins/e-acsl/known_bugs/README b/src/plugins/e-acsl/examples/known_bugs/README
similarity index 100%
rename from src/plugins/e-acsl/known_bugs/README
rename to src/plugins/e-acsl/examples/known_bugs/README
diff --git a/src/plugins/e-acsl/known_bugs/bts1354_logical_at.i b/src/plugins/e-acsl/examples/known_bugs/bts1354_logical_at.i
similarity index 100%
rename from src/plugins/e-acsl/known_bugs/bts1354_logical_at.i
rename to src/plugins/e-acsl/examples/known_bugs/bts1354_logical_at.i
diff --git a/src/plugins/e-acsl/known_bugs/bts1379_read_address.c b/src/plugins/e-acsl/examples/known_bugs/bts1379_read_address.c
similarity index 100%
rename from src/plugins/e-acsl/known_bugs/bts1379_read_address.c
rename to src/plugins/e-acsl/examples/known_bugs/bts1379_read_address.c
diff --git a/src/plugins/e-acsl/known_bugs/bts1395_recursive_function.i b/src/plugins/e-acsl/examples/known_bugs/bts1395_recursive_function.i
similarity index 100%
rename from src/plugins/e-acsl/known_bugs/bts1395_recursive_function.i
rename to src/plugins/e-acsl/examples/known_bugs/bts1395_recursive_function.i
diff --git a/src/plugins/e-acsl/known_bugs/bts1636_memory_leak_literal_strings.i b/src/plugins/e-acsl/examples/known_bugs/bts1636_memory_leak_literal_strings.i
similarity index 100%
rename from src/plugins/e-acsl/known_bugs/bts1636_memory_leak_literal_strings.i
rename to src/plugins/e-acsl/examples/known_bugs/bts1636_memory_leak_literal_strings.i
diff --git a/src/plugins/e-acsl/known_bugs/let-alias.c b/src/plugins/e-acsl/examples/known_bugs/let-alias.c
similarity index 100%
rename from src/plugins/e-acsl/known_bugs/let-alias.c
rename to src/plugins/e-acsl/examples/known_bugs/let-alias.c