Code

Fix mtime oseq#97

Code

Merged

c-cube merged 2 commits intosneeuwballen:mastersneeuwballen/zipperposition:masterfrom quicquid:fix-mtime_oseqquicquid/zipperposition:fix-mtime_oseqCopy head branch name to clipboardOct 30, 2023

+26-25

Commits

Commits on Oct 30, 2023

• adapt logtk to mtime 2.0 and oseq 0.5 (raises opam requirement accordingly); remove causes of warning 39 (unused rec) and warning 6 (label omitted) errors

  quicquid

  committed
  de7884e

• adapt zipperposition to deprecated functions/modules (CCArray.create, Pervasives); testTerm: add test_patterns because test_whnf2 was defined twice; fix warning 6 (missing label) and warning 39 (un…

  Show description for 58b4d4d
  quicquid

  committed
  58b4d4d