Fastdom: implementation of a dominance algorithm. Fix various bugs in Valmari DFA minimizer. Get rid of "PCG" unused code. Doubledouble: disable FMADD to strictly stick to 64-bits precision.
Balmap: alternative to Stdlib Maps and Sets based on baltree. Dbseq: fast sequence datastructure for DeBruijn-indexed environments. State elimination: convert e-NFA to regular expressions.
Fixed many bugs in and increased expressiveness of Valmari implementation.
Collect a few type-level idioms in the Strong library. Drop support for OCaml 4.03, OCaml 4.04 is now the oldest supported version. Fix compilation with the first released version of OCaml 4.10.
Fix compilation with OCaml 4.10. Add a low-level interface to Dset.
Add a new algorithm Dset: construct two set of resources and compute their difference efficiently.
Important bugfix in the balancing algorithm of Baltree. Use dune binary instead of jbuilder. Remove references to Pervasives for OCaml 4.08 compatibility.
Dune & dune-release port contributed by Rudi Grinberg. Valmari DFA minimization implementation.
Fix support for safe-string / 4.06
HyperLogLog: add serialization, improve estimation quality