From 345fd810b36a6603ae6e1e00966263d55e23ba4e Mon Sep 17 00:00:00 2001 From: Ralf Jung <jung@mpi-sws.org> Date: Tue, 19 Nov 2019 13:59:22 +0100 Subject: [PATCH] link to paper website as well --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 2415cf4..9874526 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,7 @@ # STACKED BORROWS - ARTIFACT +This is the git repository for the artifact to the [Stacked Borrows paper](https://plv.mpi-sws.org/rustbelt/stacked-borrows/). + ## Technical Appendix The technical [appendix] contains a complete coherent -- GitLab