Code

Fix new compiler#692

Code

Merged

gares merged 13 commits intomasterLPCIC/coq-elpi:masterfrom fix-new-compilerLPCIC/coq-elpi:fix-new-compilerCopy head branch name to clipboardSep 19, 2024

+140-56

Commits

Commits on Sep 13, 2024

• wip

  gares

  committed
  f897ae0

  Copy full SHA for f897ae0

Commits on Sep 17, 2024

• fix

  gares

  committed
  03a95e4

  Copy full SHA for 03a95e4

• [TC] add failing test

  FissoreD

  committed
  d9a9eea

  Copy full SHA for d9a9eea

Commits on Sep 18, 2024

• remove

  gares

  committed
  efe5f3d

  Copy full SHA for efe5f3d

• add test

  gares

  committed
  d8c8601

  Copy full SHA for d8c8601

• remove

  

  gares

  authored and

  FissoreD

  committed
  e549562

  Copy full SHA for e549562

• remove of a rule called with a clause of same predicate name

  FissoreD

  committed
  abdcff4

  Copy full SHA for abdcff4

• Merge pull request #690 from FissoreD/fix-new-compiler

  Show description for 35ef852
  gares

  authored
  35ef852

  Copy full SHA for 35ef852

• Merge branch 'fix-new-compiler' of github.com:LPCIC/coq-elpi into fix-new-compiler

  gares

  committed
  1f36dba

  Copy full SHA for 1f36dba

• to be checked

  gares

  committed
  e1f21a4

  Copy full SHA for e1f21a4

Commits on Sep 19, 2024

• [TC] add test to test_coercion.v

  FissoreD

  committed
  fd2e90f

  Copy full SHA for fd2e90f

• [TC] tc.instance has now the locality of the instal (local!, global! or export)

  FissoreD

  committed
  382381e

  Copy full SHA for 382381e

• [TC] add test on local coercion

  FissoreD

  committed
  9b05f30

  Copy full SHA for 9b05f30