From 999698162663352ed20b076d80175a80c5a515e8 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Wed, 11 May 2022 10:47:59 +0200
Subject: [PATCH] refactor: rename some files
---
Makefile | 13 +++++++++++++
test/{token => dijkstra-ring}/Makefile | 0
test/{token/ring3.dot => dijkstra-ring/diring3.dot} | 0
.../diring3_oracle.lus} | 0
test/{token => dijkstra-ring}/p.lus | 0
test/{token => dijkstra-ring}/p.ml | 0
test/{token => dijkstra-ring}/ring4.dot | 0
test/{token => dijkstra-ring}/ring4_oracle.lus | 0
test/{token => dijkstra-ring}/root.lus | 0
test/{token => dijkstra-ring}/root.ml | 0
test/{token => dijkstra-ring}/state.ml | 0
test/{token => dijkstra-ring}/verify.lus | 0
12 files changed, 13 insertions(+)
create mode 100644 Makefile
rename test/{token => dijkstra-ring}/Makefile (100%)
rename test/{token/ring3.dot => dijkstra-ring/diring3.dot} (100%)
rename test/{token/ring3_oracle.lus => dijkstra-ring/diring3_oracle.lus} (100%)
rename test/{token => dijkstra-ring}/p.lus (100%)
rename test/{token => dijkstra-ring}/p.ml (100%)
rename test/{token => dijkstra-ring}/ring4.dot (100%)
rename test/{token => dijkstra-ring}/ring4_oracle.lus (100%)
rename test/{token => dijkstra-ring}/root.lus (100%)
rename test/{token => dijkstra-ring}/root.ml (100%)
rename test/{token => dijkstra-ring}/state.ml (100%)
rename test/{token => dijkstra-ring}/verify.lus (100%)
diff --git a/Makefile b/Makefile
new file mode 100644
index 00000000..801162c5
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,13 @@
+
+
+# build: lib/sasacore/sasaVersion.ml
+build:
+ dune build @install
+
+install:
+ dune install
+
+reinstall:install
+
+uninstall:
+ dune uninstall
diff --git a/test/token/Makefile b/test/dijkstra-ring/Makefile
similarity index 100%
rename from test/token/Makefile
rename to test/dijkstra-ring/Makefile
diff --git a/test/token/ring3.dot b/test/dijkstra-ring/diring3.dot
similarity index 100%
rename from test/token/ring3.dot
rename to test/dijkstra-ring/diring3.dot
diff --git a/test/token/ring3_oracle.lus b/test/dijkstra-ring/diring3_oracle.lus
similarity index 100%
rename from test/token/ring3_oracle.lus
rename to test/dijkstra-ring/diring3_oracle.lus
diff --git a/test/token/p.lus b/test/dijkstra-ring/p.lus
similarity index 100%
rename from test/token/p.lus
rename to test/dijkstra-ring/p.lus
diff --git a/test/token/p.ml b/test/dijkstra-ring/p.ml
similarity index 100%
rename from test/token/p.ml
rename to test/dijkstra-ring/p.ml
diff --git a/test/token/ring4.dot b/test/dijkstra-ring/ring4.dot
similarity index 100%
rename from test/token/ring4.dot
rename to test/dijkstra-ring/ring4.dot
diff --git a/test/token/ring4_oracle.lus b/test/dijkstra-ring/ring4_oracle.lus
similarity index 100%
rename from test/token/ring4_oracle.lus
rename to test/dijkstra-ring/ring4_oracle.lus
diff --git a/test/token/root.lus b/test/dijkstra-ring/root.lus
similarity index 100%
rename from test/token/root.lus
rename to test/dijkstra-ring/root.lus
diff --git a/test/token/root.ml b/test/dijkstra-ring/root.ml
similarity index 100%
rename from test/token/root.ml
rename to test/dijkstra-ring/root.ml
diff --git a/test/token/state.ml b/test/dijkstra-ring/state.ml
similarity index 100%
rename from test/token/state.ml
rename to test/dijkstra-ring/state.ml
diff --git a/test/token/verify.lus b/test/dijkstra-ring/verify.lus
similarity index 100%
rename from test/token/verify.lus
rename to test/dijkstra-ring/verify.lus
--
GitLab