Code

Split file#10

Code

Merged

dlesbre merged 17 commits intomaincodex-semantics-library/patricia-tree:mainfrom split-filecodex-semantics-library/patricia-tree:split-fileCopy head branch name to clipboardJul 17, 2024

+1,499-1,586

Commits

Commits on Jun 27, 2024

• Breakup big file into many smaller ones

  dlesbre

  committed
  b5dbf5c

• Headers and doc

  dlesbre

  committed
  8113164

Commits on Jun 28, 2024

• Restore some documentation

  dlesbre

  committed
  40a3272

Commits on Jul 4, 2024

• Yet more documentation

  dlesbre

  committed
  796042f

• Add mli

  dlesbre

  committed
  ecc2cd9

Commits on Jul 8, 2024

• Sigs

  dlesbre

  committed
  c3acb1a

Commits on Jul 11, 2024

• Newlines in doc

  dlesbre

  committed
  7243830

• Header

  dlesbre

  committed
  ee29cea

Commits on Jul 12, 2024

• Links to codex

  dlesbre

  committed
  00c5b66

• Hash-consed operations merged

  dlesbre

  committed
  8800a36

• Move test to subfolder

  dlesbre

  committed
  039c2de

• github issue

  dlesbre

  committed
  3861e5d

Commits on Jul 17, 2024

• copy module instead of include (ocaml/odoc#1162)

  dlesbre

  committed
  2fcf6e5

• Fix links to Sigs module

  dlesbre

  committed
  24f001d

• Uncommit exception

  dlesbre

  committed
  a640a3f

• Changelog

  dlesbre

  committed
  8a02e3d

• Fix tests

  dlesbre

  committed
  c73be2b