Commit ff98a460 authored by Ralf Jung's avatar Ralf Jung

update README

parent 994dd4d4
...@@ -6,6 +6,8 @@ The technical [appendix] contains a complete coherent ...@@ -6,6 +6,8 @@ The technical [appendix] contains a complete coherent
description of the Stacked Borrows semantics, as well as the definition of our description of the Stacked Borrows semantics, as well as the definition of our
key simulation relation that we used for the Coq formalization. key simulation relation that we used for the Coq formalization.
[appendix]: appendix.pdf
## Rust Counterexamples and Miri ## Rust Counterexamples and Miri
You can run the counterexamples from the paper in Rust by clicking the following links, and then selecting "Run". You can run the counterexamples from the paper in Rust by clicking the following links, and then selecting "Run".
...@@ -151,8 +153,11 @@ The directory structure is as follows. ...@@ -151,8 +153,11 @@ The directory structure is as follows.
`example3` did not appear in the paper but we verified it in `example3` did not appear in the paper but we verified it in
[opt/ex3.v](theories/opt/ex3.v). [opt/ex3.v](theories/opt/ex3.v).
## LICENSE ## Publicly available repositories
This repository follows the BSD license. ===============================
It is publicly accessible at the URL: https://gitlab.mpi-sws.org/FP/stacked-borrows.
[appendix]: appendix.pdf The files contained here were extracted from our [publicly available repository](https://gitlab.mpi-sws.org/FP/stacked-borrows).
The repository is BSD-licensed.
The relevant commit hashes (used when generating the artifact) can be found
in the file [generation_data.txt](generation_data.txt).
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