From 3f99a42035389b1953030af8490a5ec18a64394f Mon Sep 17 00:00:00 2001
From: Sylvain Boulmé
- 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):
- 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.