Code

Cleanup#212

Code

Merged

gares merged 7 commits intomasterLPCIC/elpi:masterfrom cleanupLPCIC/elpi:cleanupCopy head branch name to clipboardDec 1, 2023

+160-1,130

Commits

Commits on Dec 1, 2023

• runtime: save initial state for sub runtimes

  gares

  committed
  8602b4f

  Copy full SHA for 8602b4f

• API: relocate_term is part of Success

  gares

  committed
  6622564

  Copy full SHA for 6622564

• close changelog

  gares

  committed
  fd1839f

  Copy full SHA for fd1839f

• fix warnings

  gares

  committed
  b06db0f

  Copy full SHA for b06db0f

• fix tests

  gares

  committed
  70908ee

  Copy full SHA for 70908ee

• initialization error resilient to wrong paring loc

  gares

  committed
  98db6de

  Copy full SHA for 98db6de

• no more camlp5

  gares

  committed
  c58068e

  Copy full SHA for c58068e