diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-11-14 09:49:28 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-11-14 09:49:28 +0100 |
| commit | e87f24575e79e7866b132f0a970cf6f82d115b88 (patch) | |
| tree | 5a6ca331c26d1d7535740a6d92ee411d77f12ee5 /Changelog | |
| parent | dc27018744ce01be26a76414fc51f8c4ff44f12b (diff) | |
| download | compcert-kvx-e87f24575e79e7866b132f0a970cf6f82d115b88.tar.gz compcert-kvx-e87f24575e79e7866b132f0a970cf6f82d115b88.zip | |
Support Coq 8.12.1
Diffstat (limited to 'Changelog')
| -rw-r--r-- | Changelog | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -35,7 +35,7 @@ The clightgen tool: logical assertions, which was never used and possibly confusing. Coq and OCaml development: -- Compatibility with Coq 8.12.0, 8.11.2, 8.11.1. +- Compatibility with Coq 8.12.1, 8.12.0, 8.11.2, 8.11.1. - Can use already-installed Flocq and MenhirLib libraries instead of their local copies (options `-use-external-Flocq` and `-use-external-MenhirLib` to the `configure` script). |