From c448ed8210295063a78c2a5f3a2196118fb371c5 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Mon, 23 Mar 2020 16:09:14 +0100
Subject: [PATCH] [eacsl] Move demo and known bugs in an "examples" folder
---
src/plugins/e-acsl/{ => examples}/demo/.gitignore | 0
src/plugins/e-acsl/{ => examples}/demo/TODO | 0
src/plugins/e-acsl/{ => examples}/demo/alone.sh | 0
src/plugins/e-acsl/{ => examples}/demo/clean.sh | 0
src/plugins/e-acsl/{ => examples}/demo/compile.sh | 0
src/plugins/e-acsl/{ => examples}/demo/custom_assert.c | 0
src/plugins/e-acsl/{ => examples}/demo/demo.c | 0
src/plugins/e-acsl/{ => examples}/demo/demo.sh | 0
src/plugins/e-acsl/{ => examples}/demo/load.sh | 0
src/plugins/e-acsl/{ => examples}/demo/my_e_acsl.c | 0
src/plugins/e-acsl/{ => examples}/demo/pow.c | 0
src/plugins/e-acsl/{ => examples}/demo/run_demo.sh | 0
src/plugins/e-acsl/{ => examples}/demo/run_script.sh | 0
src/plugins/e-acsl/{ => examples}/demo/script.ml | 0
src/plugins/e-acsl/{ => examples}/known_bugs/README | 0
src/plugins/e-acsl/{ => examples}/known_bugs/bts1354_logical_at.i | 0
.../e-acsl/{ => examples}/known_bugs/bts1379_read_address.c | 0
.../e-acsl/{ => examples}/known_bugs/bts1395_recursive_function.i | 0
.../known_bugs/bts1636_memory_leak_literal_strings.i | 0
src/plugins/e-acsl/{ => examples}/known_bugs/let-alias.c | 0
20 files changed, 0 insertions(+), 0 deletions(-)
rename src/plugins/e-acsl/{ => examples}/demo/.gitignore (100%)
rename src/plugins/e-acsl/{ => examples}/demo/TODO (100%)
rename src/plugins/e-acsl/{ => examples}/demo/alone.sh (100%)
rename src/plugins/e-acsl/{ => examples}/demo/clean.sh (100%)
rename src/plugins/e-acsl/{ => examples}/demo/compile.sh (100%)
rename src/plugins/e-acsl/{ => examples}/demo/custom_assert.c (100%)
rename src/plugins/e-acsl/{ => examples}/demo/demo.c (100%)
rename src/plugins/e-acsl/{ => examples}/demo/demo.sh (100%)
rename src/plugins/e-acsl/{ => examples}/demo/load.sh (100%)
rename src/plugins/e-acsl/{ => examples}/demo/my_e_acsl.c (100%)
rename src/plugins/e-acsl/{ => examples}/demo/pow.c (100%)
rename src/plugins/e-acsl/{ => examples}/demo/run_demo.sh (100%)
rename src/plugins/e-acsl/{ => examples}/demo/run_script.sh (100%)
rename src/plugins/e-acsl/{ => examples}/demo/script.ml (100%)
rename src/plugins/e-acsl/{ => examples}/known_bugs/README (100%)
rename src/plugins/e-acsl/{ => examples}/known_bugs/bts1354_logical_at.i (100%)
rename src/plugins/e-acsl/{ => examples}/known_bugs/bts1379_read_address.c (100%)
rename src/plugins/e-acsl/{ => examples}/known_bugs/bts1395_recursive_function.i (100%)
rename src/plugins/e-acsl/{ => examples}/known_bugs/bts1636_memory_leak_literal_strings.i (100%)
rename src/plugins/e-acsl/{ => examples}/known_bugs/let-alias.c (100%)
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
--
GitLab