Commit 8cb47270 authored by jihgfee's avatar jihgfee

Rename loop_sort -> sort_br_del and updated README

parent c8bd8a41
......@@ -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`
......
......@@ -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
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