From 39b00a80b58803546c60856b30d452741db79a23 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Tue, 18 May 2021 00:27:14 +0200
Subject: status update

---
 scheduling/BTLroadmap.md | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'scheduling/BTLroadmap.md')

diff --git a/scheduling/BTLroadmap.md b/scheduling/BTLroadmap.md
index dde2090c..bd70e273 100644
--- a/scheduling/BTLroadmap.md
+++ b/scheduling/BTLroadmap.md
@@ -54,8 +54,12 @@ Branch factorization should also be possible in BTL -> RTL pass. Example: revert
 **CURRENT STATUS** 
 
 - verifier: implemented and proved w.r.t match_iblock specification.
-- BTL -> RTL: done.
-- RTL -> BTL: started.
+- Proof:
+  - BTL -> RTL: done.
+  - RTL -> BTL: done.
+- Oracles:
+  - BTL -> RTL: TODO.
+  - RTL -> BTL: started.
 
 **TODO**
 
-- 
cgit