diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-05-27 20:40:39 +0200 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-05-27 20:40:39 +0200 |
commit | a1358ff333c840ac0ac447d6f55d64cc7d077cc4 (patch) | |
tree | cef5e448e55d8fd283ffa3e0e0f11f8af6b5f55c | |
parent | 71cd960e0cf7d54fd6dfac59230b520c75fd3c92 (diff) | |
download | compcert-kvx-a1358ff333c840ac0ac447d6f55d64cc7d077cc4.tar.gz compcert-kvx-a1358ff333c840ac0ac447d6f55d64cc7d077cc4.zip |
source url in the doc
-rw-r--r-- | .gitlab-ci.yml | 3 | ||||
-rw-r--r-- | doc/index-kvx.html | 6 |
2 files changed, 7 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9c255aa6..971034bc 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -284,3 +284,6 @@ pages: artifacts: paths: - public + rules: + - if: '$CI_COMMIT_BRANCH == "master"' + when: always 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 <font color=gray>gray</font>. <br> <br> - A high-level view of this backend of CompCert is provided by this HAL preprint of Six, Boulmé and Monniaux (2019): - <a href=https://hal.archives-ouvertes.fr/hal-02185883>Certified Compiler Backends for VLIW Processors (Highly Modular Postpass-Scheduling in the CompCert Certified Compiler)</a>. + A high-level view of this backend of CompCert is provided by this HAL preprint of Six, Boulmé and Monniaux (2019): + <div><a href=https://hal.archives-ouvertes.fr/hal-02185883>Certified Compiler Backends for VLIW Processors (Highly Modular Postpass-Scheduling in the CompCert Certified Compiler)</a></div> + <br> + Our source code is available on our <a href=https://gricad-gitlab.univ-grenoble-alpes.fr/certicompil/compcert-kvx>GitLab public repository</a> (see conditions in the LICENSE file). </p> <font color=gray><H2>Table of contents</H2> |