Closed palmskog closed 1 month ago
Tested on Coq 8.20+rc1, so the Coq release managers guarantee compatibility with soon-to-appear 8.20.0 (under reasonable assumptions). This enables us to test reverse dependencies of CompCert on 8.20.
cc: @xavierleroy @MSoegtropIMC
Tested on Coq 8.20+rc1, so the Coq release managers guarantee compatibility with soon-to-appear 8.20.0 (under reasonable assumptions). This enables us to test reverse dependencies of CompCert on 8.20.
cc: @xavierleroy @MSoegtropIMC