mirage/irmin 2.10.0

on GitHub

CHANGES:

Fixed

• irmin

  • Conversion between proofs and trees are now done in CPS (#1624, @samoht)
  • Better support for s390x to workaround ocaml/ocaml#10857
    (#1694, @icristescu)

• irmin-pack

  • Fix proofs for large inodes by tracking side-effects reads inside the
    inode implementation (#1670, @samoht, @Ngoguey42)
  • Flush branch store without calling Repo.close (#1707, @zshipko)

Added

• irmin

  • Add Tree.produce_proof and Tree.verify_proof to produce and verify
    proofs from complex computations. produce_proof and verify_proof
    takes a callback over tree and instead of a static list of operations
    -- this now means that the full Tree API can now be used in proofs,
    including sub-tree operations, folds and paginated lists
    (#1625, #1663, #1683, @samoht, @Ngoguey42)
  • Add Tree.produce_stream and Tree.verify_stream to produce and
    verify stream proofs (#1684, #1692, #1691, @samoht, @Ngoguey42, @icristescu)

• irmin-pack

  • Verify inode depth invariants (#1665, @samoht)

• irmin-unix

  • Add tezos store type for irmin command-line (#1678, @zshipko)

Changed

• irmin

  • Remove Tree.Proof.of_keys. Use Tree.produce_proof instead
    (#1625, @samoht)
  • Tree.empty now takes a unit argument. (#1566, @craigfe)
  • Tree.length now takes a tree as argument (#1676, @samoht)
  • Tree.Proof.t now uses a more precise datatype to encode value
    invariants (#1688, @samoht)

• irmin-pack

  • irmin-pack: add an option to configure the index function and pick
    the relevant bits in cryptographic a hash by default (#1677, @samoht)

• irmin-git

  • Require at least git.3.7.0 in the codebase (#1637, @dinosaure)