Commit d91b5618 authored by Ralf Jung's avatar Ralf Jung

fix Miri typo

parent 37d5c503
...@@ -94,7 +94,7 @@ The directory structure is as follows. ...@@ -94,7 +94,7 @@ The directory structure is as follows.
|--------------------------------|--------------------------------------|--------------------------| |--------------------------------|--------------------------------------|--------------------------|
| `Grants` | `grants` | Permission::grants | | `Grants` | `grants` | Permission::grants |
| `FindGranting` | `find_granting` | Stack::find_granting | | `FindGranting` | `find_granting` | Stack::find_granting |
| `FindFirstWIncompat` | `find_first_write_incompatible` | Stack::find_first_write_incompaible | | `FindFirstWIncompat` | `find_first_write_incompatible` | Stack::find_first_write_incompatible |
| `Access` | `access1` | Stack::access | | `Access` | `access1` | Stack::access |
| `MemAccessed(_,_,AccessRead)` | `memory_read` | Stacks::memory_read | | `MemAccessed(_,_,AccessRead)` | `memory_read` | Stacks::memory_read |
| `MemAccessed(_,_,AccessWrite)` | `memory_written` | Stacks::memory_written | | `MemAccessed(_,_,AccessWrite)` | `memory_written` | Stacks::memory_written |
...@@ -106,6 +106,8 @@ The directory structure is as follows. ...@@ -106,6 +106,8 @@ The directory structure is as follows.
- The complete language is then combined in [lang/lang.v](theories/lang/lang.v). - The complete language is then combined in [lang/lang.v](theories/lang/lang.v).
[Implementation]: https://github.com/rust-lang/miri/blob/d4e4fe71e6a9568f5d081d99f1c621c5a4ddd7db/src/stacked_borrows.rs
* [theories/sim](theories/sim): The simulation framework and its adequacy proofs. * [theories/sim](theories/sim): The simulation framework and its adequacy proofs.
- The *local* simulation definition, which is the main simulation relation we - The *local* simulation definition, which is the main simulation relation we
use to prove optimizations, is in [sim/local.v](theories/sim/local.v). use to prove optimizations, is in [sim/local.v](theories/sim/local.v).
...@@ -162,5 +164,3 @@ The repository is BSD-licensed. ...@@ -162,5 +164,3 @@ The repository is BSD-licensed.
The relevant commit hashes (used when generating the artifact) can be found The relevant commit hashes (used when generating the artifact) can be found
in the file [generation_data.txt](generation_data.txt). in the file [generation_data.txt](generation_data.txt).
[Implementation]: https://github.com/rust-lang/miri/blob/8c09bfee2f44754bed46673517ba906f362d951e/src/stacked_borrows.rs
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