Code

Add -ignore-menhir-version#528

Code

Closed

JasonGross wants to merge 1 commit intoAbsInt:masterAbsInt/CompCert:masterfrom JasonGross:allow-unreleased-menhirJasonGross/CompCert:allow-unreleased-menhirCopy head branch name to clipboard

+32-5

Commits

Commits on Oct 18, 2024

• Add -ignore-menhir-version

  JasonGross

  committed
  a03b5e5