diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-07-31 14:53:38 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-07-31 14:53:38 +0200 |
commit | 5547231519be37243ad0cb5f1a320547052c5775 (patch) | |
tree | 19bfa25df0ce8cdb10fbb4f9eb2b6f98ef4d849e /cparser/tests | |
parent | 7abffab74d41c0d63631bf52bf65a4cb731b15c0 (diff) | |
download | compcert-5547231519be37243ad0cb5f1a320547052c5775.tar.gz compcert-5547231519be37243ad0cb5f1a320547052c5775.zip |
Accept Coq version 8.6.1 as supported
8.6.1 works just fine with the current CompCert.
Diffstat (limited to 'cparser/tests')
0 files changed, 0 insertions, 0 deletions