From a1358ff333c840ac0ac447d6f55d64cc7d077cc4 Mon Sep 17 00:00:00 2001 From: Sylvain Boulmé Date: Wed, 27 May 2020 20:40:39 +0200 Subject: source url in the doc --- doc/index-kvx.html | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'doc') diff --git a/doc/index-kvx.html b/doc/index-kvx.html index 1a206014..4660c1d1 100644 --- a/doc/index-kvx.html +++ b/doc/index-kvx.html @@ -34,8 +34,10 @@ a:active {color : Red; text-decoration : underline; } The unmodified parts of this table appear in gray.

- A high-level view of this backend of CompCert is provided by this HAL preprint of Six, Boulmé and Monniaux (2019): - Certified Compiler Backends for VLIW Processors (Highly Modular Postpass-Scheduling in the CompCert Certified Compiler). + A high-level view of this backend of CompCert is provided by this HAL preprint of Six, Boulmé and Monniaux (2019): +
Certified Compiler Backends for VLIW Processors (Highly Modular Postpass-Scheduling in the CompCert Certified Compiler)
+
+ Our source code is available on our GitLab public repository (see conditions in the LICENSE file).

Table of contents

-- cgit