Move sources to dedicated directory

1 files changed, 17 insertions, 0 deletions

diff --git a/src/urm.mli b/src/urm.mli
new file mode 100644
index 0000000..1949d28
--- /dev/null
+++ b/src/urm.mli
@@ -0,0 +1,17 @@
+(*
+ * UPEM / L3 / Functional programming / Project: URM
+ * Pacien TRAN-GIRARD, Adam NAILI
+ *)
+
+open Common
+
+(* Runs an URM.
+ * Returns all registers when the program halts. *)
+val urm_run : urm -> reg list
+
+(* Runs an URM in trace mode.
+ * Returns all registers when the program halts. *)
+val urm_run_trace : urm -> reg list
+
+(* Makes an URM. *)
+val urm_mk : urmcmd list -> reg list -> urm