diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-05-02 17:31:35 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-05-13 11:21:18 +0200 |
| commit | e44143ad023400c7a8193b7e9fc3b62b9f9614e1 (patch) | |
| tree | e887f1fac6525441ab4ebdb9de56aa3525eeea0d /test/regression | |
| parent | 1d572b330362711c808094333134ba94fcd7b768 (diff) | |
| download | compcert-e44143ad023400c7a8193b7e9fc3b62b9f9614e1.tar.gz compcert-e44143ad023400c7a8193b7e9fc3b62b9f9614e1.zip | |
Support _Generic from ISO C 2011
Entirely handled during elaboration. No impact on the verified part of CompCert.
Diffstat (limited to 'test/regression')
0 files changed, 0 insertions, 0 deletions