search

PrincetonUniversity / VST

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

Add IGNORECOMPCERTVERSION #658

Closed SkySkimmer closed 1 year ago

SkySkimmer commented 1 year ago

Should help with Coq's benching, see also https://github.com/coq/coq/pull/13448#issuecomment-1407375543