Code

port to Elpi 2.0#719

Code

Merged

gares merged 22 commits intomasterLPCIC/coq-elpi:masterfrom elpi-2.0LPCIC/coq-elpi:elpi-2.0Copy head branch name to clipboardNov 28, 2024

+2,900-2,286

Commits

Commits on Nov 27, 2024

• Adapt to Elpi 2.0

  gares

  committed
  d57d9cd

  Copy full SHA for d57d9cd

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

  gares

  committed
  b6b68e6

  Copy full SHA for b6b68e6

• document Elpi File

  gares

  committed
  4daff29

  Copy full SHA for 4daff29

• support scope in accumulation directives

  gares

  committed
  c91def6

  Copy full SHA for c91def6

• fix test

  gares

  committed
  2576849

  Copy full SHA for 2576849

• fix loc

  gares

  committed
  d90eef2

  Copy full SHA for d90eef2

• fix.#627

  gares

  committed
  600fa19

  Copy full SHA for 600fa19

• test

  gares

  committed
  070ad68

  Copy full SHA for 070ad68

• typecheck Dbs against the command template

  gares

  committed
  7d57168

  Copy full SHA for 7d57168

• Elpi File immediately scopes the program

  gares

  committed
  87235d7

  Copy full SHA for 87235d7

• fix opam file

  gares

  committed
  1c0a7be

  Copy full SHA for 1c0a7be

• fix synterp bug with Program

  gares

  committed
  b99803a

  Copy full SHA for b99803a

• Elpi Accumulate foo File Signature bla

  gares

  committed
  51523b1

  Copy full SHA for 51523b1

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

  gares

  committed
  2001a51

  Copy full SHA for 2001a51

• error header when accumulating to db

  gares

  committed
  91ab416

  Copy full SHA for 91ab416

Commits on Nov 28, 2024

• fix tutorial

  gares

  committed
  7eda888

  Copy full SHA for 7eda888

• nix update

  gares

  committed
  a9342c7

  Copy full SHA for a9342c7

• fix doc wrt ==>

  gares

  committed
  a29a0b9

  Copy full SHA for a29a0b9

• eradicate => warnings

  gares

  committed
  f11d43f

  Copy full SHA for f11d43f

• opam

  gares

  committed
  8727a8d

  Copy full SHA for 8727a8d

• nix

  gares

  committed
  4a2039a

  Copy full SHA for 4a2039a

• improve warning

  gares

  committed
  4bbf233

  Copy full SHA for 4bbf233