Commit 3a8b5260 authored by Ralf Jung's avatar Ralf Jung

link things

parent d91b5618
......@@ -88,7 +88,7 @@ The directory structure is as follows.
[lang/expr_semantics.v](theories/lang/expr_semantics.v).
- The semantics of Stacked Borrows itself is in
[lang/bor_semantics.v](theories/lang/bor_semantics.v). The following table
matches the definitions in the technical [appendix] with the Coq definitions.
matches the definitions in the technical [appendix] with the Coq definitions and their [Miri implementation][Implementation].
| Definitions in [appendix] | Coq definitions in `bor_semantics.v` | [Implementation] in Miri |
|--------------------------------|--------------------------------------|--------------------------|
......
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