package flex-array

All checked builds pass
  1. Overview
  2. Docs
Flexible arrays

Install 

dune-project
 Dependency

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

Authors

  1. J
    Jean-Christophe Filliâtre

Maintainers

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

Sources

flex-array-1.2.0.tbz
sha256=a20a3c025eb7587c19c175ce66c6a3a6046b0e7d44ce1b3bd6d96beffe052c6a
sha512=95d32bbb5ab0fde1a29102ba3abdd1b7746910e91c6a0f4148951ccb24e53487aa630eb0858d4251d6f1dae94f4155425ea43cf2201832daab9419d91b6aa2c7

Description

Flexible arrays are arrays whose size can be changed by adding or removing elements at either end (one at a time).

Added to opam-repository:

README

flex-array

OCaml implementation of flexible arrays

Flexible arrays are arrays whose size can be changed by adding or removing elements at either end (one at a time).

This is an implementation of flexible arrays using Braun trees, following

    Rob Hoogerwoord
A logarithmic implementation of flexible arrays
http://alexandria.tue.nl/repository/notdare/772185.pdf

All operations (get, set, cons, tail, snoc, liat) have logarithmic complexity.

Dependencies (2)

  1. dune >= "2.0.0"
  2. ocaml

Dev Dependencies (1)

  1. alcotest with-test

Optional Dependencies

None

Used by (2)

  1. agrid
  2. atable

Conflicts

None

Build status

Results of building flex-array 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
1.2.0 (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