rename barrier/ -> heap_lang/

31d90720 · Ralf Jung · 9a24440a · 31d90720 · 31d90720 · 31d90720
Commit 31d90720 authored 9 years ago by Ralf Jung
--- 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
--- a/barrier/heap_lang.v
+++ b/barrier/heap_lang.v
--- a/barrier/heap_lang_tactics.v
+++ b/barrier/heap_lang_tactics.v
--- a/barrier/lifting.v
+++ b/barrier/lifting.v
--- a/barrier/sugar.v
+++ b/barrier/sugar.v
--- a/barrier/tests.v
+++ b/barrier/tests.v