PrincetonUniversity/VST

Broken with Coq master

SkySkimmer opened this issue · 3 comments

andrew-appel commented

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

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

andrew-appel commented

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