Code

Support for Coq 8.20#115

Code

Open

yforster wants to merge 7 commits intomasterCertiCoq/certicoq:masterfrom coq-8.20CertiCoq/certicoq:coq-8.20Copy head branch name to clipboard

+307-130

Commits

Commits on Jan 28, 2025

• port to Coq 8.20

  yforster

  committed
  615d195

  Copy full SHA for 615d195

• fix ml

  yforster

  committed
  8330c24

  Copy full SHA for 8330c24

• strings

  yforster

  committed
  b63c45c

  Copy full SHA for b63c45c

• fix CI

  yforster

  committed
  713034c

  Copy full SHA for 713034c

• use Equations 1.3.1.

  yforster

  committed
  fc022f7

  Copy full SHA for fc022f7

• fix benchmarks

  yforster

  committed
  91fac85

  Copy full SHA for 91fac85

Commits on Jan 29, 2025

• fix bootstrap

  yforster

  committed
  bacd366

  Copy full SHA for bacd366