diff --git a/lib/Random/random.exec b/lib/Random/random.exec
deleted file mode 100755
index 7b1d5ae64a2428c32e49038e36a4253f2c56db0d..0000000000000000000000000000000000000000
Binary files a/lib/Random/random.exec and /dev/null differ
diff --git a/lib/Random/random.sh~ b/lib/Random/random.sh~
deleted file mode 100644
index 07a6da3163aef4c06ba5fc7a484bc88f5787ee5d..0000000000000000000000000000000000000000
--- a/lib/Random/random.sh~
+++ /dev/null
@@ -1,4 +0,0 @@
-if [ -z ${C_COMPILER} ]; then C_COMPILER=gcc; fi
-$C_COMPILER -o random.exec \
-	Random/utils_random_ext.c Random/lustre_consts.c Random/utils_random.c  Random/utils_random_loop.c
-
diff --git a/lib/Random/utils_random_ext.c~ b/lib/Random/utils_random_ext.c~
deleted file mode 100644
index 482555db736c1ad6869ab927b57ae4964e507f72..0000000000000000000000000000000000000000
--- a/lib/Random/utils_random_ext.c~
+++ /dev/null
@@ -1,5 +0,0 @@
-#include "utils_random.h"
-void utils_c_rand_step(_integer x,_integer *res){
-  assert (0 < x );
-  *res = (rand() % x);
-}
diff --git a/Makefile b/salut/Makefile
similarity index 100%
rename from Makefile
rename to salut/Makefile
diff --git a/README.md b/salut/README.md
similarity index 100%
rename from README.md
rename to salut/README.md
diff --git a/lib/Random/lustre_consts.c b/salut/lib/Random/lustre_consts.c
similarity index 100%
rename from lib/Random/lustre_consts.c
rename to salut/lib/Random/lustre_consts.c
diff --git a/lib/Random/lustre_consts.h b/salut/lib/Random/lustre_consts.h
similarity index 100%
rename from lib/Random/lustre_consts.h
rename to salut/lib/Random/lustre_consts.h
diff --git a/lib/Random/lustre_types.h b/salut/lib/Random/lustre_types.h
similarity index 100%
rename from lib/Random/lustre_types.h
rename to salut/lib/Random/lustre_types.h
diff --git a/lib/Random/random.sh b/salut/lib/Random/random.sh
similarity index 100%
rename from lib/Random/random.sh
rename to salut/lib/Random/random.sh
diff --git a/lib/Random/utils_random.c b/salut/lib/Random/utils_random.c
similarity index 100%
rename from lib/Random/utils_random.c
rename to salut/lib/Random/utils_random.c
diff --git a/lib/Random/utils_random.h b/salut/lib/Random/utils_random.h
similarity index 100%
rename from lib/Random/utils_random.h
rename to salut/lib/Random/utils_random.h
diff --git a/lib/Random/utils_random_ext.c b/salut/lib/Random/utils_random_ext.c
similarity index 100%
rename from lib/Random/utils_random_ext.c
rename to salut/lib/Random/utils_random_ext.c
diff --git a/lib/Random/utils_random_ext.h b/salut/lib/Random/utils_random_ext.h
similarity index 100%
rename from lib/Random/utils_random_ext.h
rename to salut/lib/Random/utils_random_ext.h
diff --git a/lib/Random/utils_random_loop.c b/salut/lib/Random/utils_random_loop.c
similarity index 100%
rename from lib/Random/utils_random_loop.c
rename to salut/lib/Random/utils_random_loop.c
diff --git a/lib/UsrIntBinary.lus b/salut/lib/UsrIntBinary.lus
similarity index 100%
rename from lib/UsrIntBinary.lus
rename to salut/lib/UsrIntBinary.lus
diff --git a/lib/UsrIntBinary5.lus b/salut/lib/UsrIntBinary5.lus
similarity index 100%
rename from lib/UsrIntBinary5.lus
rename to salut/lib/UsrIntBinary5.lus
diff --git a/lib/UsrIntCounters.lus b/salut/lib/UsrIntCounters.lus
similarity index 100%
rename from lib/UsrIntCounters.lus
rename to salut/lib/UsrIntCounters.lus
diff --git a/lib/UsrIntCounters5.lus b/salut/lib/UsrIntCounters5.lus
similarity index 100%
rename from lib/UsrIntCounters5.lus
rename to salut/lib/UsrIntCounters5.lus
diff --git a/lib/bit-blast/Makefile b/salut/lib/bit-blast/Makefile
similarity index 100%
rename from lib/bit-blast/Makefile
rename to salut/lib/bit-blast/Makefile
diff --git a/lib/bit-blast/README.md b/salut/lib/bit-blast/README.md
similarity index 100%
rename from lib/bit-blast/README.md
rename to salut/lib/bit-blast/README.md
diff --git a/lib/bit-blast/UsrIntChs.ec b/salut/lib/bit-blast/UsrIntChs.ec
similarity index 100%
rename from lib/bit-blast/UsrIntChs.ec
rename to salut/lib/bit-blast/UsrIntChs.ec
diff --git a/lib/bit-blast/UsrIntLt.ec b/salut/lib/bit-blast/UsrIntLt.ec
similarity index 100%
rename from lib/bit-blast/UsrIntLt.ec
rename to salut/lib/bit-blast/UsrIntLt.ec
diff --git a/lib/bit-blast/UsrIntLt.oc b/salut/lib/bit-blast/UsrIntLt.oc
similarity index 100%
rename from lib/bit-blast/UsrIntLt.oc
rename to salut/lib/bit-blast/UsrIntLt.oc
diff --git a/lib/bit-blast/a.out b/salut/lib/bit-blast/a.out
similarity index 100%
rename from lib/bit-blast/a.out
rename to salut/lib/bit-blast/a.out
diff --git a/lib/bit-blast/binary.lus b/salut/lib/bit-blast/binary.lus
similarity index 100%
rename from lib/bit-blast/binary.lus
rename to salut/lib/bit-blast/binary.lus
diff --git a/lib/bit-blast/binary11.lus b/salut/lib/bit-blast/binary11.lus
similarity index 100%
rename from lib/bit-blast/binary11.lus
rename to salut/lib/bit-blast/binary11.lus
diff --git a/lib/bit-blast/binary12.lus b/salut/lib/bit-blast/binary12.lus
similarity index 100%
rename from lib/bit-blast/binary12.lus
rename to salut/lib/bit-blast/binary12.lus
diff --git a/lib/bit-blast/binary3.lus b/salut/lib/bit-blast/binary3.lus
similarity index 100%
rename from lib/bit-blast/binary3.lus
rename to salut/lib/bit-blast/binary3.lus
diff --git a/lib/bit-blast/binary4.lus b/salut/lib/bit-blast/binary4.lus
similarity index 100%
rename from lib/bit-blast/binary4.lus
rename to salut/lib/bit-blast/binary4.lus
diff --git a/lib/bit-blast/binary5.lus b/salut/lib/bit-blast/binary5.lus
similarity index 100%
rename from lib/bit-blast/binary5.lus
rename to salut/lib/bit-blast/binary5.lus
diff --git a/lib/bit-blast/binary6.lus b/salut/lib/bit-blast/binary6.lus
similarity index 100%
rename from lib/bit-blast/binary6.lus
rename to salut/lib/bit-blast/binary6.lus
diff --git a/lib/bit-blast/binary7.lus b/salut/lib/bit-blast/binary7.lus
similarity index 100%
rename from lib/bit-blast/binary7.lus
rename to salut/lib/bit-blast/binary7.lus
diff --git a/lib/bit-blast/binary8.lus b/salut/lib/bit-blast/binary8.lus
similarity index 100%
rename from lib/bit-blast/binary8.lus
rename to salut/lib/bit-blast/binary8.lus
diff --git a/lib/bit-blast/gen_binary b/salut/lib/bit-blast/gen_binary
similarity index 100%
rename from lib/bit-blast/gen_binary
rename to salut/lib/bit-blast/gen_binary
diff --git a/lib/bit-blast/gen_binary.ml b/salut/lib/bit-blast/gen_binary.ml
similarity index 100%
rename from lib/bit-blast/gen_binary.ml
rename to salut/lib/bit-blast/gen_binary.ml
diff --git a/lib/bit-blast/signed_binary5.lus b/salut/lib/bit-blast/signed_binary5.lus
similarity index 100%
rename from lib/bit-blast/signed_binary5.lus
rename to salut/lib/bit-blast/signed_binary5.lus
diff --git a/lib/bit-blast/signed_binary6.lus b/salut/lib/bit-blast/signed_binary6.lus
similarity index 100%
rename from lib/bit-blast/signed_binary6.lus
rename to salut/lib/bit-blast/signed_binary6.lus
diff --git a/lib/bit-blast/test.lus b/salut/lib/bit-blast/test.lus
similarity index 100%
rename from lib/bit-blast/test.lus
rename to salut/lib/bit-blast/test.lus
diff --git a/lib/bit-blast/unsigned_binary5.lus b/salut/lib/bit-blast/unsigned_binary5.lus
similarity index 100%
rename from lib/bit-blast/unsigned_binary5.lus
rename to salut/lib/bit-blast/unsigned_binary5.lus
diff --git a/lib/bit-blast/unsigned_binary6.lus b/salut/lib/bit-blast/unsigned_binary6.lus
similarity index 100%
rename from lib/bit-blast/unsigned_binary6.lus
rename to salut/lib/bit-blast/unsigned_binary6.lus
diff --git a/lib/bitset.lus b/salut/lib/bitset.lus
similarity index 100%
rename from lib/bitset.lus
rename to salut/lib/bitset.lus
diff --git a/lib/bool_arrays.lus b/salut/lib/bool_arrays.lus
similarity index 100%
rename from lib/bool_arrays.lus
rename to salut/lib/bool_arrays.lus
diff --git a/lib/sas.lus b/salut/lib/sas.lus
similarity index 100%
rename from lib/sas.lus
rename to salut/lib/sas.lus
diff --git a/lib/use_random.lus b/salut/lib/use_random.lus
similarity index 100%
rename from lib/use_random.lus
rename to salut/lib/use_random.lus
diff --git a/lib/utils.lus b/salut/lib/utils.lus
similarity index 100%
rename from lib/utils.lus
rename to salut/lib/utils.lus
diff --git a/src/Makefile b/salut/src/Makefile
similarity index 100%
rename from src/Makefile
rename to salut/src/Makefile
diff --git a/src/dot2lus.ml b/salut/src/dot2lus.ml
similarity index 100%
rename from src/dot2lus.ml
rename to salut/src/dot2lus.ml
diff --git a/src/dune b/salut/src/dune
similarity index 100%
rename from src/dune
rename to salut/src/dune
diff --git a/test/Cycle_unison/Makefile b/salut/test/Cycle_unison/Makefile
similarity index 100%
rename from test/Cycle_unison/Makefile
rename to salut/test/Cycle_unison/Makefile
diff --git a/test/Cycle_unison/Sh/do_org_lines.sh b/salut/test/Cycle_unison/Sh/do_org_lines.sh
similarity index 100%
rename from test/Cycle_unison/Sh/do_org_lines.sh
rename to salut/test/Cycle_unison/Sh/do_org_lines.sh
diff --git a/test/Cycle_unison/Sh/search_config.sh b/salut/test/Cycle_unison/Sh/search_config.sh
similarity index 100%
rename from test/Cycle_unison/Sh/search_config.sh
rename to salut/test/Cycle_unison/Sh/search_config.sh
diff --git a/test/Cycle_unison/check_cycles.lus b/salut/test/Cycle_unison/check_cycles.lus
similarity index 100%
rename from test/Cycle_unison/check_cycles.lus
rename to salut/test/Cycle_unison/check_cycles.lus
diff --git a/test/Cycle_unison/config.ml b/salut/test/Cycle_unison/config.ml
similarity index 100%
rename from test/Cycle_unison/config.ml
rename to salut/test/Cycle_unison/config.ml
diff --git a/test/Cycle_unison/state.lus b/salut/test/Cycle_unison/state.lus
similarity index 100%
rename from test/Cycle_unison/state.lus
rename to salut/test/Cycle_unison/state.lus
diff --git a/test/Cycle_unison/state.ml b/salut/test/Cycle_unison/state.ml
similarity index 100%
rename from test/Cycle_unison/state.ml
rename to salut/test/Cycle_unison/state.ml
diff --git a/test/Cycle_unison/unison.lus b/salut/test/Cycle_unison/unison.lus
similarity index 100%
rename from test/Cycle_unison/unison.lus
rename to salut/test/Cycle_unison/unison.lus
diff --git a/test/Cycle_unison/unison.ml b/salut/test/Cycle_unison/unison.ml
similarity index 100%
rename from test/Cycle_unison/unison.ml
rename to salut/test/Cycle_unison/unison.ml
diff --git a/test/Makefile b/salut/test/Makefile
similarity index 100%
rename from test/Makefile
rename to salut/test/Makefile
diff --git a/test/Makefile.dot b/salut/test/Makefile.dot
similarity index 100%
rename from test/Makefile.dot
rename to salut/test/Makefile.dot
diff --git a/test/Makefile.inc b/salut/test/Makefile.inc
similarity index 100%
rename from test/Makefile.inc
rename to salut/test/Makefile.inc
diff --git a/test/README.org b/salut/test/README.org
similarity index 100%
rename from test/README.org
rename to salut/test/README.org
diff --git a/test/bfs-spanning-tree/Makefile b/salut/test/bfs-spanning-tree/Makefile
similarity index 100%
rename from test/bfs-spanning-tree/Makefile
rename to salut/test/bfs-spanning-tree/Makefile
diff --git a/test/bfs-spanning-tree/bfs_spanning_tree_oracle.lus b/salut/test/bfs-spanning-tree/bfs_spanning_tree_oracle.lus
similarity index 100%
rename from test/bfs-spanning-tree/bfs_spanning_tree_oracle.lus
rename to salut/test/bfs-spanning-tree/bfs_spanning_tree_oracle.lus
diff --git a/test/bfs-spanning-tree/config.ml b/salut/test/bfs-spanning-tree/config.ml
similarity index 100%
rename from test/bfs-spanning-tree/config.ml
rename to salut/test/bfs-spanning-tree/config.ml
diff --git a/test/bfs-spanning-tree/p.lus b/salut/test/bfs-spanning-tree/p.lus
similarity index 100%
rename from test/bfs-spanning-tree/p.lus
rename to salut/test/bfs-spanning-tree/p.lus
diff --git a/test/bfs-spanning-tree/p.ml b/salut/test/bfs-spanning-tree/p.ml
similarity index 100%
rename from test/bfs-spanning-tree/p.ml
rename to salut/test/bfs-spanning-tree/p.ml
diff --git a/test/bfs-spanning-tree/root.lus b/salut/test/bfs-spanning-tree/root.lus
similarity index 100%
rename from test/bfs-spanning-tree/root.lus
rename to salut/test/bfs-spanning-tree/root.lus
diff --git a/test/bfs-spanning-tree/root.ml b/salut/test/bfs-spanning-tree/root.ml
similarity index 100%
rename from test/bfs-spanning-tree/root.ml
rename to salut/test/bfs-spanning-tree/root.ml
diff --git a/test/bfs-spanning-tree/state.lus b/salut/test/bfs-spanning-tree/state.lus
similarity index 100%
rename from test/bfs-spanning-tree/state.lus
rename to salut/test/bfs-spanning-tree/state.lus
diff --git a/test/bfs-spanning-tree/state.ml b/salut/test/bfs-spanning-tree/state.ml
similarity index 100%
rename from test/bfs-spanning-tree/state.ml
rename to salut/test/bfs-spanning-tree/state.ml
diff --git a/test/bfs-spanning-tree/verify.lus b/salut/test/bfs-spanning-tree/verify.lus
similarity index 100%
rename from test/bfs-spanning-tree/verify.lus
rename to salut/test/bfs-spanning-tree/verify.lus
diff --git a/test/coloring/Makefile b/salut/test/coloring/Makefile
similarity index 100%
rename from test/coloring/Makefile
rename to salut/test/coloring/Makefile
diff --git a/test/coloring/coloring_oracle.lus b/salut/test/coloring/coloring_oracle.lus
similarity index 100%
rename from test/coloring/coloring_oracle.lus
rename to salut/test/coloring/coloring_oracle.lus
diff --git a/test/coloring/config.ml b/salut/test/coloring/config.ml
similarity index 100%
rename from test/coloring/config.ml
rename to salut/test/coloring/config.ml
diff --git a/test/coloring/p.lus b/salut/test/coloring/p.lus
similarity index 100%
rename from test/coloring/p.lus
rename to salut/test/coloring/p.lus
diff --git a/test/coloring/p.ml b/salut/test/coloring/p.ml
similarity index 100%
rename from test/coloring/p.ml
rename to salut/test/coloring/p.ml
diff --git a/test/coloring/state.lus b/salut/test/coloring/state.lus
similarity index 100%
rename from test/coloring/state.lus
rename to salut/test/coloring/state.lus
diff --git a/test/coloring/state.ml b/salut/test/coloring/state.ml
similarity index 100%
rename from test/coloring/state.ml
rename to salut/test/coloring/state.ml
diff --git a/test/coloring/verify.lus b/salut/test/coloring/verify.lus
similarity index 100%
rename from test/coloring/verify.lus
rename to salut/test/coloring/verify.lus
diff --git a/test/dijkstra-ring/Makefile b/salut/test/dijkstra-ring/Makefile
similarity index 100%
rename from test/dijkstra-ring/Makefile
rename to salut/test/dijkstra-ring/Makefile
diff --git a/test/dijkstra-ring/config.ml b/salut/test/dijkstra-ring/config.ml
similarity index 100%
rename from test/dijkstra-ring/config.ml
rename to salut/test/dijkstra-ring/config.ml
diff --git a/test/dijkstra-ring/cost.lus b/salut/test/dijkstra-ring/cost.lus
similarity index 100%
rename from test/dijkstra-ring/cost.lus
rename to salut/test/dijkstra-ring/cost.lus
diff --git a/test/dijkstra-ring/dijkstra_ring_oracle.lus b/salut/test/dijkstra-ring/dijkstra_ring_oracle.lus
similarity index 100%
rename from test/dijkstra-ring/dijkstra_ring_oracle.lus
rename to salut/test/dijkstra-ring/dijkstra_ring_oracle.lus
diff --git a/test/dijkstra-ring/p.lus b/salut/test/dijkstra-ring/p.lus
similarity index 100%
rename from test/dijkstra-ring/p.lus
rename to salut/test/dijkstra-ring/p.lus
diff --git a/test/dijkstra-ring/p.ml b/salut/test/dijkstra-ring/p.ml
similarity index 100%
rename from test/dijkstra-ring/p.ml
rename to salut/test/dijkstra-ring/p.ml
diff --git a/test/dijkstra-ring/root.lus b/salut/test/dijkstra-ring/root.lus
similarity index 100%
rename from test/dijkstra-ring/root.lus
rename to salut/test/dijkstra-ring/root.lus
diff --git a/test/dijkstra-ring/root.ml b/salut/test/dijkstra-ring/root.ml
similarity index 100%
rename from test/dijkstra-ring/root.ml
rename to salut/test/dijkstra-ring/root.ml
diff --git a/test/dijkstra-ring/state.lus b/salut/test/dijkstra-ring/state.lus
similarity index 100%
rename from test/dijkstra-ring/state.lus
rename to salut/test/dijkstra-ring/state.lus
diff --git a/test/dijkstra-ring/state.ml b/salut/test/dijkstra-ring/state.ml
similarity index 100%
rename from test/dijkstra-ring/state.ml
rename to salut/test/dijkstra-ring/state.ml
diff --git a/test/dijkstra-ring/verify.lus b/salut/test/dijkstra-ring/verify.lus
similarity index 100%
rename from test/dijkstra-ring/verify.lus
rename to salut/test/dijkstra-ring/verify.lus
diff --git a/test/kclustering/Makefile b/salut/test/kclustering/Makefile
similarity index 100%
rename from test/kclustering/Makefile
rename to salut/test/kclustering/Makefile
diff --git a/test/kclustering/config.ml b/salut/test/kclustering/config.ml
similarity index 100%
rename from test/kclustering/config.ml
rename to salut/test/kclustering/config.ml
diff --git a/test/kclustering/cost.lus b/salut/test/kclustering/cost.lus
similarity index 100%
rename from test/kclustering/cost.lus
rename to salut/test/kclustering/cost.lus
diff --git a/test/kclustering/kclustering_oracle.lus b/salut/test/kclustering/kclustering_oracle.lus
similarity index 100%
rename from test/kclustering/kclustering_oracle.lus
rename to salut/test/kclustering/kclustering_oracle.lus
diff --git a/test/kclustering/p.lus b/salut/test/kclustering/p.lus
similarity index 100%
rename from test/kclustering/p.lus
rename to salut/test/kclustering/p.lus
diff --git a/test/kclustering/p.ml b/salut/test/kclustering/p.ml
similarity index 100%
rename from test/kclustering/p.ml
rename to salut/test/kclustering/p.ml
diff --git a/test/kclustering/state.lus b/salut/test/kclustering/state.lus
similarity index 100%
rename from test/kclustering/state.lus
rename to salut/test/kclustering/state.lus
diff --git a/test/kclustering/state.ml b/salut/test/kclustering/state.ml
similarity index 100%
rename from test/kclustering/state.ml
rename to salut/test/kclustering/state.ml
diff --git a/test/kclustering/verify.lus b/salut/test/kclustering/verify.lus
similarity index 100%
rename from test/kclustering/verify.lus
rename to salut/test/kclustering/verify.lus
diff --git a/test/rsp_tree/Makefile b/salut/test/rsp_tree/Makefile
similarity index 100%
rename from test/rsp_tree/Makefile
rename to salut/test/rsp_tree/Makefile
diff --git a/test/rsp_tree/config.ml b/salut/test/rsp_tree/config.ml
similarity index 100%
rename from test/rsp_tree/config.ml
rename to salut/test/rsp_tree/config.ml
diff --git a/test/rsp_tree/p.lus b/salut/test/rsp_tree/p.lus
similarity index 100%
rename from test/rsp_tree/p.lus
rename to salut/test/rsp_tree/p.lus
diff --git a/test/rsp_tree/p.ml b/salut/test/rsp_tree/p.ml
similarity index 100%
rename from test/rsp_tree/p.ml
rename to salut/test/rsp_tree/p.ml
diff --git a/test/rsp_tree/root.lus b/salut/test/rsp_tree/root.lus
similarity index 100%
rename from test/rsp_tree/root.lus
rename to salut/test/rsp_tree/root.lus
diff --git a/test/rsp_tree/root.ml b/salut/test/rsp_tree/root.ml
similarity index 100%
rename from test/rsp_tree/root.ml
rename to salut/test/rsp_tree/root.ml
diff --git a/test/rsp_tree/rsp_tree_oracle.lus b/salut/test/rsp_tree/rsp_tree_oracle.lus
similarity index 100%
rename from test/rsp_tree/rsp_tree_oracle.lus
rename to salut/test/rsp_tree/rsp_tree_oracle.lus
diff --git a/test/rsp_tree/state.lus b/salut/test/rsp_tree/state.lus
similarity index 100%
rename from test/rsp_tree/state.lus
rename to salut/test/rsp_tree/state.lus
diff --git a/test/rsp_tree/state.ml b/salut/test/rsp_tree/state.ml
similarity index 100%
rename from test/rsp_tree/state.ml
rename to salut/test/rsp_tree/state.ml
diff --git a/test/rsp_tree/tree4.lus b/salut/test/rsp_tree/tree4.lus
similarity index 100%
rename from test/rsp_tree/tree4.lus
rename to salut/test/rsp_tree/tree4.lus
diff --git a/test/rsp_tree/tree4_oracle.lus b/salut/test/rsp_tree/tree4_oracle.lus
similarity index 100%
rename from test/rsp_tree/tree4_oracle.lus
rename to salut/test/rsp_tree/tree4_oracle.lus
diff --git a/test/rsp_tree/verify.lus b/salut/test/rsp_tree/verify.lus
similarity index 100%
rename from test/rsp_tree/verify.lus
rename to salut/test/rsp_tree/verify.lus
diff --git a/test/unison/Makefile b/salut/test/unison/Makefile
similarity index 100%
rename from test/unison/Makefile
rename to salut/test/unison/Makefile
diff --git a/test/unison/config.ml b/salut/test/unison/config.ml
similarity index 100%
rename from test/unison/config.ml
rename to salut/test/unison/config.ml
diff --git a/test/unison/k.lus b/salut/test/unison/k.lus
similarity index 100%
rename from test/unison/k.lus
rename to salut/test/unison/k.lus
diff --git a/test/unison/state.lus b/salut/test/unison/state.lus
similarity index 100%
rename from test/unison/state.lus
rename to salut/test/unison/state.lus
diff --git a/test/unison/state.ml b/salut/test/unison/state.ml
similarity index 100%
rename from test/unison/state.ml
rename to salut/test/unison/state.ml
diff --git a/test/unison/unison.lus b/salut/test/unison/unison.lus
similarity index 100%
rename from test/unison/unison.lus
rename to salut/test/unison/unison.lus
diff --git a/test/unison/unison.ml b/salut/test/unison/unison.ml
similarity index 100%
rename from test/unison/unison.ml
rename to salut/test/unison/unison.ml
diff --git a/test/unison/unison_oracle.lus b/salut/test/unison/unison_oracle.lus
similarity index 100%
rename from test/unison/unison_oracle.lus
rename to salut/test/unison/unison_oracle.lus
diff --git a/test/unison/verify.lus b/salut/test/unison/verify.lus
similarity index 100%
rename from test/unison/verify.lus
rename to salut/test/unison/verify.lus