Code

Better elpitime for benching#645

Code

Merged

gares merged 2 commits intoLPCIC:masterLPCIC/coq-elpi:masterfrom FissoreD:elpitimeFissoreD/coq-elpi:elpitimeCopy head branch name to clipboardJun 28, 2024

+20-12

Commits

Commits on Jun 27, 2024

• More time for benching

  Show description for ade57e8
  FissoreD

  committed
  ade57e8

  Copy full SHA for ade57e8

Commits on Jun 28, 2024

• Update src/coq_elpi_vernacular.ml

  gares

  authored
  feb92fc

  Copy full SHA for feb92fc