search

PrincetonUniversity / VST

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

Adapt to coq/coq#16743 (fix incomplete checking of unsolved holes) #642

Closed SkySkimmer closed 1 year ago

SkySkimmer commented 1 year ago

cf https://github.com/AbsInt/CompCert/pull/465

ppedrot commented 1 year ago

Please merge now.

ppedrot commented 1 year ago

Ping.

ppedrot commented 1 year ago

Pingy-ping, the Coq CI will be broken while this is not merged.