Skip to content
Snippets Groups Projects
Commit daf895dc authored by Ralf Jung's avatar Ralf Jung
Browse files

make tutorial a stable link

parent ea2417ba
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
CHANGELOG.md
+ 1
− 1
View file @ daf895dc
...@@ -21,7 +21,7 @@ mechanism. ...@@ -21,7 +21,7 @@ mechanism.
The later credit mechanism is described in detail in the The later credit mechanism is described in detail in the
[ICFP'22 paper](https://plv.mpi-sws.org/later-credits/) and there is a [ICFP'22 paper](https://plv.mpi-sws.org/later-credits/) and there is a
[small tutorial](https://gitlab.mpi-sws.org/iris/iris/-/blob/master/tests/later_credits_paper.v) [small tutorial](https://gitlab.mpi-sws.org/iris/iris/-/blob/iris-4.0.0/tests/later_credits_paper.v)
in the Iris repository. The in the Iris repository. The
[examples](https://gitlab.mpi-sws.org/iris/examples/) repository contains some [examples](https://gitlab.mpi-sws.org/iris/examples/) repository contains some
logically atomic case studies that make use of later credits: the counter with a logically atomic case studies that make use of later credits: the counter with a
......
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