Code

Port to elpi 2.0#708

Code

Closed

gares wants to merge 14 commits intomasterLPCIC/coq-elpi:masterfrom elpi-new-compilerLPCIC/coq-elpi:elpi-new-compilerCopy head branch name to clipboard

Commits

Commits on Nov 21, 2024

• Adapt to Elpi 2.0

  gares

  committed
  51c26ac

  Copy full SHA for 51c26ac

• new Elpi File to declare txt snippets as files (aka extra deps)

  gares

  committed
  ab61eab

  Copy full SHA for ab61eab

• document Elpi File

  gares

  committed
  7588d1d

  Copy full SHA for 7588d1d

• support scope in accumulation directives

  gares

  committed
  3737125

  Copy full SHA for 3737125

• fix test

  gares

  committed
  d9c31d6

  Copy full SHA for d9c31d6

• fix loc

  gares

  committed
  a47df2d

  Copy full SHA for a47df2d

• fix.#627

  gares

  committed
  04379b5

  Copy full SHA for 04379b5

• test

  gares

  committed
  cab73b7

  Copy full SHA for cab73b7

• typecheck Dbs against the command template

  gares

  committed
  ff4284e

  Copy full SHA for ff4284e

• Elpi File immediately scopes the program

  gares

  committed
  6b198f6

  Copy full SHA for 6b198f6

• fix opam file

  gares

  committed
  0e4eb52

  Copy full SHA for 0e4eb52

Commits on Nov 22, 2024

• fix synterp bug with Program

  gares

  committed
  dccde88

  Copy full SHA for dccde88

Commits on Nov 27, 2024

• Elpi Accumulate foo File Signature bla

  gares

  committed
  d2ca3c7

  Copy full SHA for d2ca3c7

• new quotation {{:pat .... }} where _ means _ (discard)

  gares

  committed
  7964ea4

  Copy full SHA for 7964ea4