aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-05-15 17:13:19 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-05-15 17:13:19 +0200
commit72becdf730fb3b5ae2502d1eb19b7c61f047728d (patch)
tree6f6d98a84979cc45355ca4460a1eb2004ef21a97 /test
parentbf58adcc2f4d73d55cbc90f6eff0f96fe7d30c45 (diff)
downloadcompcert-kvx-72becdf730fb3b5ae2502d1eb19b7c61f047728d.tar.gz
compcert-kvx-72becdf730fb3b5ae2502d1eb19b7c61f047728d.zip
remet les trucs dans les bons répertoires
Diffstat (limited to 'test')
-rw-r--r--test/monniaux/lustrev6-carlightV2/carlightV2_carlight.c (renamed from test/monniaux/lustrev6-carlightV2/lustre-carlightV2/carlightV2_carlight.c)0
-rw-r--r--test/monniaux/lustrev6-carlightV2/carlightV2_carlight.h (renamed from test/monniaux/lustrev6-carlightV2/lustre-carlightV2/carlightV2_carlight.h)0
-rw-r--r--test/monniaux/lustrev6-carlightV2/carlightV2_carlight_loop.c (renamed from test/monniaux/lustrev6-carlightV2/lustre-carlightV2/carlightV2_carlight_loop.c)0
-rw-r--r--test/monniaux/lustrev6-carlightV2/lustre_consts.c (renamed from test/monniaux/lustrev6-carlightV2/lustre-carlightV2/lustre_consts.c)0
-rw-r--r--test/monniaux/lustrev6-carlightV2/lustre_consts.h (renamed from test/monniaux/lustrev6-carlightV2/lustre-carlightV2/lustre_consts.h)0
-rw-r--r--test/monniaux/lustrev6-carlightV2/lustre_types.h (renamed from test/monniaux/lustrev6-carlightV2/lustre-carlightV2/lustre_types.h)0
-rw-r--r--test/monniaux/lustrev6-convertible-2cgc/convertible_main.c (renamed from test/monniaux/lustrev6-convertible-2cgc/lustre-convertible-2cgc/convertible_main.c)0
-rw-r--r--test/monniaux/lustrev6-convertible-2cgc/convertible_main.h (renamed from test/monniaux/lustrev6-convertible-2cgc/lustre-convertible-2cgc/convertible_main.h)0
-rw-r--r--test/monniaux/lustrev6-convertible-2cgc/convertible_main_loop.c (renamed from test/monniaux/lustrev6-convertible-2cgc/lustre-convertible-2cgc/convertible_main_loop.c)0
-rw-r--r--test/monniaux/lustrev6-convertible-2cgc/lustre_consts.c (renamed from test/monniaux/lustrev6-convertible-2cgc/lustre-convertible-2cgc/lustre_consts.c)0
-rw-r--r--test/monniaux/lustrev6-convertible-2cgc/lustre_consts.h (renamed from test/monniaux/lustrev6-convertible-2cgc/lustre-convertible-2cgc/lustre_consts.h)0
-rw-r--r--test/monniaux/lustrev6-convertible-2cgc/lustre_types.h (renamed from test/monniaux/lustrev6-convertible-2cgc/lustre-convertible-2cgc/lustre_types.h)0
-rw-r--r--test/monniaux/lustrev6-convertible-en-2cgc/convertible_main.c (renamed from test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/convertible_main.c)0
-rw-r--r--test/monniaux/lustrev6-convertible-en-2cgc/convertible_main.h (renamed from test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/convertible_main.h)0
-rw-r--r--test/monniaux/lustrev6-convertible-en-2cgc/convertible_main_loop.c (renamed from test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/convertible_main_loop.c)0
-rw-r--r--test/monniaux/lustrev6-convertible-en-2cgc/lustre_consts.c (renamed from test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/lustre_consts.c)0
-rw-r--r--test/monniaux/lustrev6-convertible-en-2cgc/lustre_consts.h (renamed from test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/lustre_consts.h)0
-rw-r--r--test/monniaux/lustrev6-convertible-en-2cgc/lustre_types.h (renamed from test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/lustre_types.h)0
-rw-r--r--test/monniaux/lustrev6-convertible/convertible_main.c (renamed from test/monniaux/lustrev6-convertible/lustre-convertible/convertible_main.c)0
-rw-r--r--test/monniaux/lustrev6-convertible/convertible_main.h (renamed from test/monniaux/lustrev6-convertible/lustre-convertible/convertible_main.h)0
-rw-r--r--test/monniaux/lustrev6-convertible/convertible_main_loop.c (renamed from test/monniaux/lustrev6-convertible/lustre-convertible/convertible_main_loop.c)0
-rw-r--r--test/monniaux/lustrev6-convertible/lustre_consts.c (renamed from test/monniaux/lustrev6-convertible/lustre-convertible/lustre_consts.c)0
-rw-r--r--test/monniaux/lustrev6-convertible/lustre_consts.h (renamed from test/monniaux/lustrev6-convertible/lustre-convertible/lustre_consts.h)0
-rw-r--r--test/monniaux/lustrev6-convertible/lustre_types.h (renamed from test/monniaux/lustrev6-convertible/lustre-convertible/lustre_types.h)0
24 files changed, 0 insertions, 0 deletions
diff --git a/test/monniaux/lustrev6-carlightV2/lustre-carlightV2/carlightV2_carlight.c b/test/monniaux/lustrev6-carlightV2/carlightV2_carlight.c
index 206f854a..206f854a 100644
--- a/test/monniaux/lustrev6-carlightV2/lustre-carlightV2/carlightV2_carlight.c
+++ b/test/monniaux/lustrev6-carlightV2/carlightV2_carlight.c
diff --git a/test/monniaux/lustrev6-carlightV2/lustre-carlightV2/carlightV2_carlight.h b/test/monniaux/lustrev6-carlightV2/carlightV2_carlight.h
index c56c8fa1..c56c8fa1 100644
--- a/test/monniaux/lustrev6-carlightV2/lustre-carlightV2/carlightV2_carlight.h
+++ b/test/monniaux/lustrev6-carlightV2/carlightV2_carlight.h
diff --git a/test/monniaux/lustrev6-carlightV2/lustre-carlightV2/carlightV2_carlight_loop.c b/test/monniaux/lustrev6-carlightV2/carlightV2_carlight_loop.c
index a9b4417a..a9b4417a 100644
--- a/test/monniaux/lustrev6-carlightV2/lustre-carlightV2/carlightV2_carlight_loop.c
+++ b/test/monniaux/lustrev6-carlightV2/carlightV2_carlight_loop.c
diff --git a/test/monniaux/lustrev6-carlightV2/lustre-carlightV2/lustre_consts.c b/test/monniaux/lustrev6-carlightV2/lustre_consts.c
index e1a77c9e..e1a77c9e 100644
--- a/test/monniaux/lustrev6-carlightV2/lustre-carlightV2/lustre_consts.c
+++ b/test/monniaux/lustrev6-carlightV2/lustre_consts.c
diff --git a/test/monniaux/lustrev6-carlightV2/lustre-carlightV2/lustre_consts.h b/test/monniaux/lustrev6-carlightV2/lustre_consts.h
index 9d651d25..9d651d25 100644
--- a/test/monniaux/lustrev6-carlightV2/lustre-carlightV2/lustre_consts.h
+++ b/test/monniaux/lustrev6-carlightV2/lustre_consts.h
diff --git a/test/monniaux/lustrev6-carlightV2/lustre-carlightV2/lustre_types.h b/test/monniaux/lustrev6-carlightV2/lustre_types.h
index e1cfb463..e1cfb463 100644
--- a/test/monniaux/lustrev6-carlightV2/lustre-carlightV2/lustre_types.h
+++ b/test/monniaux/lustrev6-carlightV2/lustre_types.h
diff --git a/test/monniaux/lustrev6-convertible-2cgc/lustre-convertible-2cgc/convertible_main.c b/test/monniaux/lustrev6-convertible-2cgc/convertible_main.c
index 285f8941..285f8941 100644
--- a/test/monniaux/lustrev6-convertible-2cgc/lustre-convertible-2cgc/convertible_main.c
+++ b/test/monniaux/lustrev6-convertible-2cgc/convertible_main.c
diff --git a/test/monniaux/lustrev6-convertible-2cgc/lustre-convertible-2cgc/convertible_main.h b/test/monniaux/lustrev6-convertible-2cgc/convertible_main.h
index 63b4ea90..63b4ea90 100644
--- a/test/monniaux/lustrev6-convertible-2cgc/lustre-convertible-2cgc/convertible_main.h
+++ b/test/monniaux/lustrev6-convertible-2cgc/convertible_main.h
diff --git a/test/monniaux/lustrev6-convertible-2cgc/lustre-convertible-2cgc/convertible_main_loop.c b/test/monniaux/lustrev6-convertible-2cgc/convertible_main_loop.c
index 9646b39f..9646b39f 100644
--- a/test/monniaux/lustrev6-convertible-2cgc/lustre-convertible-2cgc/convertible_main_loop.c
+++ b/test/monniaux/lustrev6-convertible-2cgc/convertible_main_loop.c
diff --git a/test/monniaux/lustrev6-convertible-2cgc/lustre-convertible-2cgc/lustre_consts.c b/test/monniaux/lustrev6-convertible-2cgc/lustre_consts.c
index 925cbf0b..925cbf0b 100644
--- a/test/monniaux/lustrev6-convertible-2cgc/lustre-convertible-2cgc/lustre_consts.c
+++ b/test/monniaux/lustrev6-convertible-2cgc/lustre_consts.c
diff --git a/test/monniaux/lustrev6-convertible-2cgc/lustre-convertible-2cgc/lustre_consts.h b/test/monniaux/lustrev6-convertible-2cgc/lustre_consts.h
index a9ba2005..a9ba2005 100644
--- a/test/monniaux/lustrev6-convertible-2cgc/lustre-convertible-2cgc/lustre_consts.h
+++ b/test/monniaux/lustrev6-convertible-2cgc/lustre_consts.h
diff --git a/test/monniaux/lustrev6-convertible-2cgc/lustre-convertible-2cgc/lustre_types.h b/test/monniaux/lustrev6-convertible-2cgc/lustre_types.h
index 83a1c722..83a1c722 100644
--- a/test/monniaux/lustrev6-convertible-2cgc/lustre-convertible-2cgc/lustre_types.h
+++ b/test/monniaux/lustrev6-convertible-2cgc/lustre_types.h
diff --git a/test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/convertible_main.c b/test/monniaux/lustrev6-convertible-en-2cgc/convertible_main.c
index 6a4db4c3..6a4db4c3 100644
--- a/test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/convertible_main.c
+++ b/test/monniaux/lustrev6-convertible-en-2cgc/convertible_main.c
diff --git a/test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/convertible_main.h b/test/monniaux/lustrev6-convertible-en-2cgc/convertible_main.h
index 4785db8a..4785db8a 100644
--- a/test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/convertible_main.h
+++ b/test/monniaux/lustrev6-convertible-en-2cgc/convertible_main.h
diff --git a/test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/convertible_main_loop.c b/test/monniaux/lustrev6-convertible-en-2cgc/convertible_main_loop.c
index 9646b39f..9646b39f 100644
--- a/test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/convertible_main_loop.c
+++ b/test/monniaux/lustrev6-convertible-en-2cgc/convertible_main_loop.c
diff --git a/test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/lustre_consts.c b/test/monniaux/lustrev6-convertible-en-2cgc/lustre_consts.c
index 18d80805..18d80805 100644
--- a/test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/lustre_consts.c
+++ b/test/monniaux/lustrev6-convertible-en-2cgc/lustre_consts.c
diff --git a/test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/lustre_consts.h b/test/monniaux/lustrev6-convertible-en-2cgc/lustre_consts.h
index eaa21a15..eaa21a15 100644
--- a/test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/lustre_consts.h
+++ b/test/monniaux/lustrev6-convertible-en-2cgc/lustre_consts.h
diff --git a/test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/lustre_types.h b/test/monniaux/lustrev6-convertible-en-2cgc/lustre_types.h
index 68127eb6..68127eb6 100644
--- a/test/monniaux/lustrev6-convertible-en-2cgc/lustre-convertible-en-2cgc/lustre_types.h
+++ b/test/monniaux/lustrev6-convertible-en-2cgc/lustre_types.h
diff --git a/test/monniaux/lustrev6-convertible/lustre-convertible/convertible_main.c b/test/monniaux/lustrev6-convertible/convertible_main.c
index 19bc40b9..19bc40b9 100644
--- a/test/monniaux/lustrev6-convertible/lustre-convertible/convertible_main.c
+++ b/test/monniaux/lustrev6-convertible/convertible_main.c
diff --git a/test/monniaux/lustrev6-convertible/lustre-convertible/convertible_main.h b/test/monniaux/lustrev6-convertible/convertible_main.h
index 6be30a78..6be30a78 100644
--- a/test/monniaux/lustrev6-convertible/lustre-convertible/convertible_main.h
+++ b/test/monniaux/lustrev6-convertible/convertible_main.h
diff --git a/test/monniaux/lustrev6-convertible/lustre-convertible/convertible_main_loop.c b/test/monniaux/lustrev6-convertible/convertible_main_loop.c
index 46e94cd1..46e94cd1 100644
--- a/test/monniaux/lustrev6-convertible/lustre-convertible/convertible_main_loop.c
+++ b/test/monniaux/lustrev6-convertible/convertible_main_loop.c
diff --git a/test/monniaux/lustrev6-convertible/lustre-convertible/lustre_consts.c b/test/monniaux/lustrev6-convertible/lustre_consts.c
index 37bd763b..37bd763b 100644
--- a/test/monniaux/lustrev6-convertible/lustre-convertible/lustre_consts.c
+++ b/test/monniaux/lustrev6-convertible/lustre_consts.c
diff --git a/test/monniaux/lustrev6-convertible/lustre-convertible/lustre_consts.h b/test/monniaux/lustrev6-convertible/lustre_consts.h
index 72ee469e..72ee469e 100644
--- a/test/monniaux/lustrev6-convertible/lustre-convertible/lustre_consts.h
+++ b/test/monniaux/lustrev6-convertible/lustre_consts.h
diff --git a/test/monniaux/lustrev6-convertible/lustre-convertible/lustre_types.h b/test/monniaux/lustrev6-convertible/lustre_types.h
index e721c12a..e721c12a 100644
--- a/test/monniaux/lustrev6-convertible/lustre-convertible/lustre_types.h
+++ b/test/monniaux/lustrev6-convertible/lustre_types.h