From 2528ab7644bb68fea067f6df2c877ea1ac3c77a1 Mon Sep 17 00:00:00 2001
From: jihgfee <jihgfee@gmail.com>
Date: Tue, 27 Oct 2020 16:35:47 +0100
Subject: [PATCH] Renamed map.v -> par_map.v to distinguish from swap_mapper.v
---
_CoqProject | 2 +-
papers/POPL20.md | 2 +-
theories/examples/map_reduce.v | 2 +-
theories/examples/{map.v => par_map.v} | 0
4 files changed, 3 insertions(+), 3 deletions(-)
rename theories/examples/{map.v => par_map.v} (100%)
diff --git a/_CoqProject b/_CoqProject
index 348e6fa..dad39bb 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -20,7 +20,7 @@ theories/examples/basics.v
theories/examples/sort.v
theories/examples/sort_br_del.v
theories/examples/sort_fg.v
-theories/examples/map.v
+theories/examples/par_map.v
theories/examples/map_reduce.v
theories/examples/swap_mapper.v
theories/examples/subprotocols.v
diff --git a/papers/POPL20.md b/papers/POPL20.md
index 8a2b722..258bc90 100644
--- a/papers/POPL20.md
+++ b/papers/POPL20.md
@@ -16,7 +16,7 @@ Tour of Actris
- Dependent: [theories/examples/sort_fg.v](../theories/examples/sort_fg.v)
Manifest sharing via locks
- Sample program: [theories/examples/basics.v](../theories/examples/basics.v)
- - Distributed mapper: [theories/examples/map.v](../theories/examples/map.v)
+ - Distributed mapper: [theories/examples/par_map.v](../theories/examples/par_map.v)
Case study: map reduce:
- Utilities for shuffling/grouping: [theories/utils/group.v](../theories/utils/group.v)
- Implementation and verification: [theories/examples/map_reduce.v](../theories/examples/map_reduce.v)
diff --git a/theories/examples/map_reduce.v b/theories/examples/map_reduce.v
index 7e1ccfb..ce0b913 100644
--- a/theories/examples/map_reduce.v
+++ b/theories/examples/map_reduce.v
@@ -2,7 +2,7 @@
specification thereof, and its proofs. *)
From actris.channel Require Import proofmode.
From actris.utils Require Import llist compare contribution group.
-From actris.examples Require Import map sort_fg.
+From actris.examples Require Import par_map sort_fg.
From iris.algebra Require Import gmultiset.
(** * Functional version of map reduce (aka the specification) *)
diff --git a/theories/examples/map.v b/theories/examples/par_map.v
similarity index 100%
rename from theories/examples/map.v
rename to theories/examples/par_map.v
--
GitLab