From a1358ff333c840ac0ac447d6f55d64cc7d077cc4 Mon Sep 17 00:00:00 2001
From: Sylvain Boulmé
- 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):
+
+
+ Our source code is available on our GitLab public repository (see conditions in the LICENSE file).