Code

[dt] #272 rebased#274

Code

Merged

gares merged 6 commits intoLPCIC:masterLPCIC/elpi:masterfrom FissoreD:dt_272_rebasedFissoreD/elpi:dt_272_rebasedCopy head branch name to clipboardOct 24, 2024

+163-59

Commits

Commits on Oct 22, 2024

• Fix bug LPCIC#272 (forgot parens...)

  FissoreD

  committed
  d7865f8

Commits on Oct 23, 2024

• Update correctness_HO.ml

  gares

  authored
  df4e7ff

• Merge branch 'master' into dt_272

  gares

  authored
  b8fd586

• [dt] heuristic on list length in paths

  FissoreD

  committed
  cd96e8e

• [dt] ListTailVariableUnif + max_term_width (all tests pass)

  FissoreD

  committed
  5b8c96a

Commits on Oct 24, 2024

• [dt] (rename mkLam -> mkAny) + some comments

  FissoreD

  committed
  888ef24