Merge branch 'feature/basile/eacsl-examples-folder' into 'master'

[eacsl] Move demo and known bugs in an "examples" folder See merge request frama-c/frama-c!2705

Merge branch 'feature/basile/eacsl-examples-folder' into 'master'
bea5a575 · Julien Signoles · ba4a7505 · c448ed82 · bea5a575 · bea5a575
Commit bea5a575 authored 4 years ago by Julien Signoles
--- a/src/plugins/e-acsl/demo/.gitignore
+++ b/src/plugins/e-acsl/demo/.gitignore
--- a/src/plugins/e-acsl/demo/TODO
+++ b/src/plugins/e-acsl/demo/TODO
--- a/src/plugins/e-acsl/demo/alone.sh
+++ b/src/plugins/e-acsl/demo/alone.sh
--- a/src/plugins/e-acsl/demo/clean.sh
+++ b/src/plugins/e-acsl/demo/clean.sh
--- a/src/plugins/e-acsl/demo/compile.sh
+++ b/src/plugins/e-acsl/demo/compile.sh
--- a/src/plugins/e-acsl/demo/custom_assert.c
+++ b/src/plugins/e-acsl/demo/custom_assert.c
--- a/src/plugins/e-acsl/demo/demo.c
+++ b/src/plugins/e-acsl/demo/demo.c
--- a/src/plugins/e-acsl/demo/demo.sh
+++ b/src/plugins/e-acsl/demo/demo.sh
--- a/src/plugins/e-acsl/demo/load.sh
+++ b/src/plugins/e-acsl/demo/load.sh
--- a/src/plugins/e-acsl/demo/my_e_acsl.c
+++ b/src/plugins/e-acsl/demo/my_e_acsl.c
--- a/src/plugins/e-acsl/demo/pow.c
+++ b/src/plugins/e-acsl/demo/pow.c
--- a/src/plugins/e-acsl/demo/run_demo.sh
+++ b/src/plugins/e-acsl/demo/run_demo.sh
--- a/src/plugins/e-acsl/demo/run_script.sh
+++ b/src/plugins/e-acsl/demo/run_script.sh
--- a/src/plugins/e-acsl/demo/script.ml
+++ b/src/plugins/e-acsl/demo/script.ml
--- a/src/plugins/e-acsl/known_bugs/README
+++ b/src/plugins/e-acsl/known_bugs/README
--- a/src/plugins/e-acsl/known_bugs/bts1354_logical_at.i
+++ b/src/plugins/e-acsl/known_bugs/bts1354_logical_at.i
--- a/src/plugins/e-acsl/known_bugs/bts1379_read_address.c
+++ b/src/plugins/e-acsl/known_bugs/bts1379_read_address.c
--- a/src/plugins/e-acsl/known_bugs/bts1395_recursive_function.i
+++ b/src/plugins/e-acsl/known_bugs/bts1395_recursive_function.i
--- a/src/plugins/e-acsl/known_bugs/bts1636_memory_leak_literal_strings.i
+++ b/src/plugins/e-acsl/known_bugs/bts1636_memory_leak_literal_strings.i
--- a/src/plugins/e-acsl/known_bugs/let-alias.c
+++ b/src/plugins/e-acsl/known_bugs/let-alias.c