diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-14 19:11:38 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-14 19:11:38 +0100 |
| commit | 0895388e7ebf9c9f3176d225107e21968919fb97 (patch) | |
| tree | 3ee09d6ec2b77f9c4c312ad4824aa3b945102a0c /powerpc | |
| parent | 88567ce6d247562a9fa9151eaa32f7ad63ea37c0 (diff) | |
| download | compcert-kvx-0895388e7ebf9c9f3176d225107e21968919fb97.tar.gz compcert-kvx-0895388e7ebf9c9f3176d225107e21968919fb97.zip | |
Coq 8.13.0 is supported
However it produces new warnings that should be investigated later.
Diffstat (limited to 'powerpc')
0 files changed, 0 insertions, 0 deletions