Skip to content

GitLab

Commit c8bd8a41 authored by jihgfee's avatar jihgfee
Browse files

Bumped map_reduce

parent 445adad8
Hide whitespace changes
Inline Side-by-side
theories/examples/map_reduce.v
View file @ c8bd8a41
From actris.channel Require Import proto_channel proofmode. From actris.channel Require Import proto_channel proofmode.
From iris.heap_lang Require Import proofmode notation. From iris.heap_lang Require Import proofmode notation.
From actris.utils Require Import llist compare contribution group. From actris.utils Require Import llist compare contribution group.
From actris.examples Require Import map sort_fg_client. From actris.examples Require Import map sort_fg.
From iris.algebra Require Import gmultiset. From iris.algebra Require Import gmultiset.
(** Functional version of map reduce (aka the specification) *) (** Functional version of map reduce (aka the specification) *)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment