From 4a80f261251757849e7d5f62cdcc378a5c33a3d9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Fri, 22 Nov 2019 16:52:18 +0100
Subject: [PATCH] model reorg: move TDMA facts to analysis
---
.../{model/schedule/tdma/tdma_facts.v => analysis/facts/tdma.v} | 2 +-
restructuring/model/schedule/{tdma => }/tdma.v | 0
2 files changed, 1 insertion(+), 1 deletion(-)
rename restructuring/{model/schedule/tdma/tdma_facts.v => analysis/facts/tdma.v} (99%)
rename restructuring/model/schedule/{tdma => }/tdma.v (100%)
diff --git a/restructuring/model/schedule/tdma/tdma_facts.v b/restructuring/analysis/facts/tdma.v
similarity index 99%
rename from restructuring/model/schedule/tdma/tdma_facts.v
rename to restructuring/analysis/facts/tdma.v
index e11594707..d7efce6d6 100644
--- a/restructuring/model/schedule/tdma/tdma_facts.v
+++ b/restructuring/analysis/facts/tdma.v
@@ -1,4 +1,4 @@
-Require Export rt.restructuring.model.schedule.tdma.tdma.
+Require Export rt.restructuring.model.schedule.tdma.
Require Import rt.util.all.
(** In this section, we define the properties of TDMA and prove some basic lemmas. *)
diff --git a/restructuring/model/schedule/tdma/tdma.v b/restructuring/model/schedule/tdma.v
similarity index 100%
rename from restructuring/model/schedule/tdma/tdma.v
rename to restructuring/model/schedule/tdma.v
--
GitLab