From 31d90720e2fa4ebc3fcb4ff596c479f5a739fcdc Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 3 Feb 2016 16:20:39 +0100
Subject: [PATCH] rename barrier/ -> heap_lang/
---
_CoqProject | 10 +++++-----
{barrier => heap_lang}/heap_lang.v | 0
{barrier => heap_lang}/heap_lang_tactics.v | 0
{barrier => heap_lang}/lifting.v | 0
{barrier => heap_lang}/sugar.v | 0
{barrier => heap_lang}/tests.v | 0
6 files changed, 5 insertions(+), 5 deletions(-)
rename {barrier => heap_lang}/heap_lang.v (100%)
rename {barrier => heap_lang}/heap_lang_tactics.v (100%)
rename {barrier => heap_lang}/lifting.v (100%)
rename {barrier => heap_lang}/sugar.v (100%)
rename {barrier => heap_lang}/tests.v (100%)
diff --git a/_CoqProject b/_CoqProject
index 649a4017e..2ccb23daf 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -63,8 +63,8 @@ iris/hoare.v
iris/language.v
iris/functor.v
iris/tests.v
-barrier/heap_lang.v
-barrier/heap_lang_tactics.v
-barrier/lifting.v
-barrier/sugar.v
-barrier/tests.v
+heap_lang/heap_lang.v
+heap_lang/heap_lang_tactics.v
+heap_lang/lifting.v
+heap_lang/sugar.v
+heap_lang/tests.v
diff --git a/barrier/heap_lang.v b/heap_lang/heap_lang.v
similarity index 100%
rename from barrier/heap_lang.v
rename to heap_lang/heap_lang.v
diff --git a/barrier/heap_lang_tactics.v b/heap_lang/heap_lang_tactics.v
similarity index 100%
rename from barrier/heap_lang_tactics.v
rename to heap_lang/heap_lang_tactics.v
diff --git a/barrier/lifting.v b/heap_lang/lifting.v
similarity index 100%
rename from barrier/lifting.v
rename to heap_lang/lifting.v
diff --git a/barrier/sugar.v b/heap_lang/sugar.v
similarity index 100%
rename from barrier/sugar.v
rename to heap_lang/sugar.v
diff --git a/barrier/tests.v b/heap_lang/tests.v
similarity index 100%
rename from barrier/tests.v
rename to heap_lang/tests.v
--
GitLab