Code

Better template-coq printers#1124

Code

Open

MathisBD wants to merge 5 commits intoMetaCoq:coq-8.20MetaCoq/metacoq:coq-8.20from MathisBD:template-printers-8.20MathisBD/metacoq:template-printers-8.20Copy head branch name to clipboard

+562-366

Commits

Commits on Nov 25, 2024

• better template-coq printers

  MathisBD

  committed
  0a5bb9f

  Copy full SHA for 0a5bb9f

• update dependencies

  MathisBD

  committed
  9abf6be

  Copy full SHA for 9abf6be

• update dependencies again

  MathisBD

  committed
  0590c65

  Copy full SHA for 0590c65

Commits on Nov 26, 2024

• fix extraction in erasure-plugin

  MathisBD

  committed
  a7f0743

  Copy full SHA for a7f0743

• fix test-suite

  MathisBD

  committed
  cb047be

  Copy full SHA for cb047be