package ptmap

All checked builds pass
  1. Overview
  2. Docs
Maps of integers implemented as Patricia trees

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

  1. J
    Jean-Christophe Filliâtre

Maintainers

  1. J
    Jean-Christophe.Filliatre@lri.fr

Sources

ptmap-2.0.5.tbz
sha256=ebd1f8afe8679a226fdcbcdb323788e6f63db57521b151473f2ff8c05c30f3aa
sha512=4a3f20d189d905cb588de3148361495adc40d5892473bf9cd7e49bc98558de29feb51efefb5aab77cad892dd288ad8fa0348832c78cc21e66539768a5a9cab5b

Description

An implementation inspired by Okasaki & Gill's paper 'Fast Mergeable Integer Maps'

Added to opam-repository:

README

Integer map implementation using Patricia trees

Follows "Fast Mergeable Integer Maps" by Chris Okasaki and Andrew Gill (Workshop on ML, 1998)

Note: In 2017, a bug was found in the paper above, which is described in "QuickChecking Patricia Trees" by Jan Midtgaard. This is fixed in the present OCaml code.

Dependencies (4)

  1. dune >= "2.0.0"
  2. seq
  3. stdlib-shims
  4. ocaml

Dev Dependencies

None

Optional Dependencies

None

Used by (5)

  1. coin < "0.1.2"
  2. haxe
  3. hts_shrink < "3.0.1"
  4. saltoIL
  5. uuuu < "0.2.0"

Conflicts

None

Build status

Results of building ptmap with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
2.0.5 (this version) good good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure