LICENSE · master · CertiCompil / CompCert-IntrinSec · GitLab

gricad-gitlab sera indisponible mardi 08/04/2025 entre 12h00 et 13h30 pour une opération de maintenance.

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

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

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