Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
examples
Commits
3ca1fa65
Commit
3ca1fa65
authored
Jun 12, 2018
by
Ralf Jung
Browse files
add attributions to the README
parent
3d5498b7
Pipeline
#9686
passed with stage
in 9 minutes and 29 seconds
Changes
1
Pipelines
3
Hide whitespace changes
Inline
Side-by-side
README.md
View file @
3ca1fa65
...
...
@@ -51,9 +51,10 @@ This repository contains the following case studies:
-
Proof of refinement for a pair of fine-grained/coarse-grained
concurrent stack implementations
*
[
spanning-tree
](
theories/spanning_tree
)
: Proof of a concurrent spanning tree
algorithm.
algorithm
by Amin Timany
.
*
[
concurrent-stacks
](
theories/concurrent_stacks
)
: Proof of an implementation of
concurrent stacks with helping, as described in the
[
report
](
http://iris-project.org/pdfs/2017-case-study-concurrent-stacks-with-helping.pdf
)
.
concurrent stacks with helping by Daniel Gratzer et. al., as described in the
[
report
](
http://iris-project.org/pdfs/2017-case-study-concurrent-stacks-with-helping.pdf
)
.
*
[
lecture-notes
](
theories/lecture_notes
)
: Coq examples for the
[
Iris lecture notes
](
http://iris-project.org/tutorial-material.html
)
.
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment