Renamed map.v -> par_map.v to distinguish from swap_mapper.v

_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

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)

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) *)