Code

Remove Stdlib dependency#767

Code

Merged

gares merged 7 commits intoLPCIC:masterLPCIC/coq-elpi:masterfrom proux01:split-stdlibproux01/coq-elpi:split-stdlibCopy head branch name to clipboardFeb 7, 2025

+1,325-223

Commits

Commits on Feb 6, 2025

• Remove redundant registers

  proux01

  committed
  ce22733

  Copy full SHA for ce22733

• Remove use of Strings in all dune files

  proux01

  committed
  c198f9a

  Copy full SHA for c198f9a

• Rename test_derive_stdlib.v to test_derive_corelib.v

  proux01

  committed
  225636a

  Copy full SHA for 225636a

Commits on Feb 7, 2025

• Remove unused Stdlib dependencies in tests

  proux01

  committed
  de9bba2

  Copy full SHA for de9bba2

• Move tests requiring Stdlib to separate directories

  Show description for 210c7cb
  

  proux01

  and

  gares

  committed
  210c7cb

  Copy full SHA for 210c7cb

• Compile without Stdlib

  Show description for 8a249be
  

  proux01

  and

  gares

  committed
  8a249be

  Copy full SHA for 8a249be

• [CI] Test compilation without stdlib

  proux01

  committed
  7e98f1a

  Copy full SHA for 7e98f1a