diff options
| author | Alex Richardson <alexrichardson@google.com> | 2023-05-16 14:26:50 -0700 |
|---|---|---|
| committer | Philipp Tomsich <philipp.tomsich@vrull.eu> | 2023-06-15 16:53:03 +0200 |
| commit | 2ede5ef2e10a893e9e6b4ea2b24a6472557d9685 (patch) | |
| tree | 6ff80e765946512e5c32e60b834769d3fb9c2ad9 /doc | |
| parent | 33ef4a33787edae744bacfb85685a41b24dc5ca8 (diff) | |
| download | sail-riscv-2ede5ef2e10a893e9e6b4ea2b24a6472557d9685.zip sail-riscv-2ede5ef2e10a893e9e6b4ea2b24a6472557d9685.tar.gz sail-riscv-2ede5ef2e10a893e9e6b4ea2b24a6472557d9685.tar.bz2 | |
Run the pre-commit hook on all files
This strips trailing whitespace and fixes line endings. I had to add the
*.dump files to the exclude list to avoid excessive changes, but
ideally these would not be part of the repository since they can just be
generated by running objdump manually.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Status.md | 2 | ||||
| -rw-r--r-- | doc/notes_FD_extensions.md | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/Status.md b/doc/Status.md index 539020a..21c6bc7 100644 --- a/doc/Status.md +++ b/doc/Status.md @@ -19,7 +19,7 @@ The Sail specification currently captures the following ISA features: - Physical Memory Protection (PMP) -For the RVWMO memory consistency model, this Sail ISA semantics is integrated with the RVWMO operational model in [the +For the RVWMO memory consistency model, this Sail ISA semantics is integrated with the RVWMO operational model in [the RMEM tool](https://github.com/rems-project/rmem). The Sail specification is parameterized over the following diff --git a/doc/notes_FD_extensions.md b/doc/notes_FD_extensions.md index 72740cc..2756299 100644 --- a/doc/notes_FD_extensions.md +++ b/doc/notes_FD_extensions.md @@ -14,7 +14,7 @@ This will be merged back into the main original repo after testing. Status (2019-10-24) ------------------- -1. Complete (almost): SAIL coding [Rishiyur Nikhil, Bluespec, Inc.] +1. Complete (almost): SAIL coding [Rishiyur Nikhil, Bluespec, Inc.] Remaining: tweaks to handle illegal rounding modes. 2. In progress: Incorporate Berkeley SoftFloat calls [U.Cambridge] 3. To do: Testing on all ISA tests |