From 8cb4727048d8e15442dd4d9970876216e17af734 Mon Sep 17 00:00:00 2001
From: jihgfee <jkas@itu.dk>
Date: Thu, 11 Jul 2019 11:08:46 +0200
Subject: [PATCH] Rename loop_sort -> sort_br_del and updated README
---
README.md | 8 ++++----
_CoqProject | 4 ++--
theories/examples/{loop_sort.v => sort_br_del.v} | 0
3 files changed, 6 insertions(+), 6 deletions(-)
rename theories/examples/{loop_sort.v => sort_br_del.v} (100%)
diff --git a/README.md b/README.md
index 1cfadc6..c6284fb 100644
--- a/README.md
+++ b/README.md
@@ -42,10 +42,10 @@ mechanization in Coq:
* 2. Tour of Actris
* 2.3 Basic, sort: `theories/examples/sort.v`
* 2.4 Higher-Order Functions, sort_func: `theories/examples/sort.v`
- * 2.5 Branching: `theories/examples/loop_sort.v`
- * 2.6 Recursion: `theories/examples/loop_sort.v`
- * 2.7 Delegation: `theories/examples/loop_sort.v`
- * 2.8 Dependent: `theories/examples/sort_elem.v`
+ * 2.5 Branching: `theories/examples/sort_br_del.v`
+ * 2.6 Recursion: `theories/examples/sort_br_del.v`
+ * 2.7 Delegation: `theories/examples/sort_br_del.v`
+ * 2.8 Dependent: `theories/examples/sort_fg.v`
* 3. Manifest sharing via locks
* 3.1 Sample program: `theories/examples/basics.v`
* 3.2 Distributed mapper: `theories/examples/map.v`
diff --git a/_CoqProject b/_CoqProject
index c843c5a..1127464 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -9,9 +9,9 @@ theories/channel/channel.v
theories/channel/proto_model.v
theories/channel/proto_channel.v
theories/channel/proofmode.v
+theories/examples/basics.v
theories/examples/sort.v
-theories/examples/loop_sort.v
+theories/examples/sort_br_del.v
theories/examples/sort_fg.v
theories/examples/map.v
theories/examples/map_reduce.v
-theories/examples/basics.v
diff --git a/theories/examples/loop_sort.v b/theories/examples/sort_br_del.v
similarity index 100%
rename from theories/examples/loop_sort.v
rename to theories/examples/sort_br_del.v
--
GitLab