Vincent Laporte
9e4d58db80
compcert: add support for Coq 8.15.1
2022-03-24 10:17:42 +01:00
Vincent Laporte
c845a272a5
coqPackages.compcert: enable for Coq 8.15
...
and make version 3.9 the default for Coq 8.12
2022-02-16 08:03:02 +01:00
Vincent Laporte
3b1c4a732f
compcert: fix for Coq 8.14.1
2021-12-01 15:43:53 +01:00
Vincent Laporte
5b861824b3
compcert: 3.9 → 3.10
...
Enable for Coq 8.14
Use default version of OCaml (instead of 4.05)
VST is not ready for CompCert 3.10, so it still uses 3.9
2021-11-29 08:45:34 +01:00
Ben Siraphob
c1cb31af6b
coqPackages.VST: 2.7.1 -> 2.8
2021-06-18 10:39:33 +02:00
Théo Zimmermann
2bbf6c8687
Move CompCert into coqPackages. ( #126214 )
...
* compcert: preparation to move in coqPackages
* compcert: move into coqPackages
* compcert: remove version 3.7
As a consequence, also remove VST version 2.6
These were broken.
2021-06-14 14:21:41 +02:00