diff options
| author | pes20 | 2020-08-01 14:24:03 +0100 |
|---|---|---|
| committer | pes20 | 2020-08-01 14:24:03 +0100 |
| commit | 0f8cc086793dd4b79801af85ef78dc8d46d2998b (patch) | |
| tree | afcf99b451bdab83018b085168c0dc649b8e8c91 /README.md | |
| parent | 8f64b7b5aaa411d2866b78e6e9b0cf504d2043ec (diff) | |
tweak overview pic
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -27,7 +27,7 @@ models; see the most recent papers and the ARMv8.5-A model for descriptions of the current state. <p> - <img src="https://www.cl.cam.ac.uk/~pes20/sail/overview-sail.png"> + <img width="500" src="https://www.cl.cam.ac.uk/~pes20/sail/overview-sail.png"> <p> This repository contains the implementation of Sail, together with |