LICENSE · master · CertiCompil / CompCert-IntrinSec · GitLab

Due to inactivity, this project is scheduled to be deleted on 2037-01-22. Why is this scheduled?

Update the list of dual-licensed files · b46c0c01
Xavier Leroy authored May 04, 2020
```
Closes: #351
```
b46c0c01

This project is licensed under the GNU General Public License v2.0 or later. Learn more