From bf443e2f2bf38c30c9b68020c7c43cd7b3e10549 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Mon, 17 May 2021 23:19:16 +0200
Subject: preparing compiler passes and ml oracles

---
 scheduling/BTLtoRTLaux.ml | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 scheduling/BTLtoRTLaux.ml

(limited to 'scheduling/BTLtoRTLaux.ml')

diff --git a/scheduling/BTLtoRTLaux.ml b/scheduling/BTLtoRTLaux.ml
new file mode 100644
index 00000000..3d8d44d0
--- /dev/null
+++ b/scheduling/BTLtoRTLaux.ml
@@ -0,0 +1,5 @@
+open Maps
+open BinNums
+
+let btl2rtl f =
+  ((PTree.empty, Coq_xH), PTree.empty)
-- 
cgit