From 0f8cc086793dd4b79801af85ef78dc8d46d2998b Mon Sep 17 00:00:00 2001 From: pes20 Date: Sat, 1 Aug 2020 14:24:03 +0100 Subject: tweak overview pic --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index bc8dff94..06f2bf74 100644 --- a/README.md +++ b/README.md @@ -27,7 +27,7 @@ models; see the most recent papers and the ARMv8.5-A model for descriptions of the current state.

- +

This repository contains the implementation of Sail, together with -- cgit v1.2.3