From 51b34e7e792cae1656ac4f750295bd4f0d63a5b8 Mon Sep 17 00:00:00 2001
From: jihgfee <jihgfee@gmail.com>
Date: Tue, 22 Sep 2020 13:18:58 +0200
Subject: [PATCH] Renamed double.v -> par_recv.v
---
_CoqProject | 2 +-
papers/CPP21.md | 2 +-
theories/logrel/examples/{double.v => par_recv.v} | 0
3 files changed, 2 insertions(+), 2 deletions(-)
rename theories/logrel/examples/{double.v => par_recv.v} (100%)
diff --git a/_CoqProject b/_CoqProject
index dc9ec33..5a389c3 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -39,8 +39,8 @@ theories/logrel/session_typing_rules.v
theories/logrel/napp.v
theories/logrel/lib/mutex.v
theories/logrel/lib/par_start.v
-theories/logrel/examples/double.v
theories/logrel/examples/pair.v
+theories/logrel/examples/par_recv.v
theories/logrel/examples/rec_subtyping.v
theories/logrel/examples/choice_subtyping.v
theories/logrel/examples/mapper.v
diff --git a/papers/CPP21.md b/papers/CPP21.md
index d763a0f..757dd28 100644
--- a/papers/CPP21.md
+++ b/papers/CPP21.md
@@ -15,7 +15,7 @@
## Examples
- The parallel receive example in Section 4 can be found in
- [theories/logrel/examples/double.v](../theories/logrel/examples/double.v):
+ [theories/logrel/examples/par_recv.v](../theories/logrel/examples/par_recv.v):
This program performs two ``racy'' parallel receives on the same channel from
two different threads, using locks to allow the channel to be shared.
- The parallel compute client example in Section 4 can be found in
diff --git a/theories/logrel/examples/double.v b/theories/logrel/examples/par_recv.v
similarity index 100%
rename from theories/logrel/examples/double.v
rename to theories/logrel/examples/par_recv.v
--
GitLab