diff options
| author | pes20 <Peter.Sewell@cl.cam.ac.uk> | 2020-08-01 20:51:38 +0100 |
|---|---|---|
| committer | pes20 <Peter.Sewell@cl.cam.ac.uk> | 2020-08-01 20:51:38 +0100 |
| commit | 2ab2ddd9f52e2c7d6e561fa55ef058d13bf6568e (patch) | |
| tree | 348c0d6800312d2b2d5d9705a3a6b0aa4f9cb80e | |
| parent | 847657a8ab234c0bf7dd60b55acff0fb766c7cda (diff) | |
| download | sail-riscv-2ab2ddd9f52e2c7d6e561fa55ef058d13bf6568e.zip sail-riscv-2ab2ddd9f52e2c7d6e561fa55ef058d13bf6568e.tar.gz sail-riscv-2ab2ddd9f52e2c7d6e561fa55ef058d13bf6568e.tar.bz2 | |
update README
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -46,7 +46,7 @@ and concurrency semantics. <p> - <img width="850" src="https://www.cl.cam.ac.uk/~pes20/sail/overview-sail.png?"> + <img width="800" src="https://www.cl.cam.ac.uk/~pes20/sail/overview-sail.png?"> <p> Sail is being used for multiple ISA descriptions, including |