From 3f99a42035389b1953030af8490a5ec18a64394f Mon Sep 17 00:00:00 2001 From: Sylvain Boulmé Date: Mon, 19 Oct 2020 17:00:35 +0200 Subject: link on Cyril's short video --- doc/index-kvx.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc') diff --git a/doc/index-kvx.html b/doc/index-kvx.html index 6906c212..b8850727 100644 --- a/doc/index-kvx.html +++ b/doc/index-kvx.html @@ -34,10 +34,10 @@ a:active {color : Red; text-decoration : underline; } The unmodified parts of this table appear in gray.

- A high-level view of this CompCert backend is provided by this OOSPLA'20 paper (of Six, Boulmé and Monniaux): + A high-level view of this CompCert backend is provided by this OOPSLA'20 paper (of Six, Boulmé and Monniaux):
Certified and Efficient Instruction Scheduling. Application to Interlocked VLIW Processors.

- Our source code is available on our GitLab public repository (see conditions in the LICENSE file). + See also the README.md of our GitLab public repository.

Table of contents

-- cgit