Code

Unsafe and ewcbvevalnamed#1064

Code

Merged

mattam82 merged 2 commits intocoq-8.17MetaCoq/metacoq:coq-8.17from unsafe-and-ewcbvevalnamedMetaCoq/metacoq:unsafe-and-ewcbvevalnamedCopy head branch name to clipboardMar 6, 2024

+217-83

Commits

Commits on Mar 1, 2024

• WIP improving ewcbvevalnamed, needs to consider cofixes

  mattam82

  committed
  c8946aa

  Copy full SHA for c8946aa

Commits on Mar 6, 2024

• Split unsafe passes, update EWcbvEvalNamed to be more parametric on flags

  mattam82

  committed
  e8e5ede

  Copy full SHA for e8e5ede