diff --git a/README.md b/README.md index 2415cf4a65b9626819eeedb998ab6f2c6894f979..98745262236add638c3b9b942d723aac069e1a92 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