diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-09-12 16:18:02 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-09-12 16:18:02 +0200 |
| commit | 1062e38b07d76d88d9bd11155d8500c157784026 (patch) | |
| tree | 8d7d36b6c7497b54b90f36f038f2abd0f970ef38 /backend/Asmexpandaux.ml | |
| parent | 5f283eff34c828655a885ef837700009b2221f9b (diff) | |
| download | compcert-kvx-1062e38b07d76d88d9bd11155d8500c157784026.tar.gz compcert-kvx-1062e38b07d76d88d9bd11155d8500c157784026.zip | |
Tentatively support Coq 8.8.2
It's not out yet, but based on the state of the v8.8 branch of Coq,
it is very likely to be compatible with CompCert.
Diffstat (limited to 'backend/Asmexpandaux.ml')
0 files changed, 0 insertions, 0 deletions