From ca7d8ed37c30a3e21cafea553a08047da963771a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Tue, 14 May 2019 09:54:43 +0200
Subject: [PATCH] Re-organize facts layout

Let's not clutter up the spec with facts files all over the place.
Instead, let's collect the facts files in a separate folder /
hierarchy.
---
 behavior/{schedule/completion_facts.v => facts/completion.v} | 3 ++-
 behavior/{schedule/service_facts.v => facts/service.v}       | 0
 2 files changed, 2 insertions(+), 1 deletion(-)
 rename behavior/{schedule/completion_facts.v => facts/completion.v} (99%)
 rename behavior/{schedule/service_facts.v => facts/service.v} (100%)

diff --git a/behavior/schedule/completion_facts.v b/behavior/facts/completion.v
similarity index 99%
rename from behavior/schedule/completion_facts.v
rename to behavior/facts/completion.v
index 90a870927..0caad7209 100644
--- a/behavior/schedule/completion_facts.v
+++ b/behavior/facts/completion.v
@@ -1,4 +1,5 @@
-From rt.behavior.schedule Require Export schedule service_facts.
+From rt.behavior.schedule Require Export schedule.
+From rt.behavior.facts Require Export service.
 
 (** In this file, we establish basic facts about job completions. *)
 
diff --git a/behavior/schedule/service_facts.v b/behavior/facts/service.v
similarity index 100%
rename from behavior/schedule/service_facts.v
rename to behavior/facts/service.v
-- 
GitLab