search

PrincetonUniversity / VST

Verified Software Toolchain
https://vst.cs.princeton.edu
Other
425 stars 91 forks source link

Broken with Coq master #673

Closed SkySkimmer closed 1 year ago

SkySkimmer commented 1 year ago

eg https://gitlab.com/coq/coq/-/jobs/4025276943

andrew-appel commented 1 year ago

I'll fix this today. The problem is that VST's copy of CompCert is the CompCert 3.12 release, and this needs to be updated from CompCert master branch.

SkySkimmer commented 1 year ago

BTW it seems you don't test coq master in your CI, is that intentional?

andrew-appel commented 1 year ago

Since commit 7d3133f we now test Coq master in VST CI.