refactor: rename some files

99969816 · erwan · 22658c12 · 99969816 · 99969816 · 99969816
Commit 99969816 authored 2 years ago by erwan
--- a/Makefile
+++ b/Makefile
+
+
+# build: lib/sasacore/sasaVersion.ml
+build:
+	dune build  @install
+
+install:
+	dune install
+
+reinstall:install
+
+uninstall:
+	dune uninstall
--- a/test/token/Makefile
+++ b/test/token/Makefile
--- a/test/token/ring3.dot
+++ b/test/token/ring3.dot
--- a/test/token/ring3_oracle.lus
+++ b/test/token/ring3_oracle.lus
--- a/test/token/p.lus
+++ b/test/token/p.lus
--- a/test/token/p.ml
+++ b/test/token/p.ml
--- a/test/token/ring4.dot
+++ b/test/token/ring4.dot
--- a/test/token/ring4_oracle.lus
+++ b/test/token/ring4_oracle.lus
--- a/test/token/root.lus
+++ b/test/token/root.lus
--- a/test/token/root.ml
+++ b/test/token/root.ml
--- a/test/token/state.ml
+++ b/test/token/state.ml
--- a/test/token/verify.lus
+++ b/test/token/verify.lus