diff options
| author | pes20 | 2020-08-01 20:59:03 +0100 |
|---|---|---|
| committer | pes20 | 2020-08-01 20:59:03 +0100 |
| commit | bc5b4f2597fc6f06c031d639fdc0585850e37959 (patch) | |
| tree | 8f340aa135ac0c46efbfb6f8a336588a6f5506a8 | |
| parent | b2c9b16148e4587128e8be52df8c3c2b356f57ba (diff) | |
update README
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -30,7 +30,7 @@ models; see the most recent papers and the ARMv8.5-A model for descriptions of the current state. <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> This repository contains the implementation of Sail, together with |