package oma

  1. Overview
  2. Docs
An order maintenance data structure

Install 

dune-project
 Dependency

gitlab.inria.fr Readme Changelog Edit opam file Versions (1)

Authors

  1. F
    Frédéric Bour
  2. F
    François Pottier

Maintainers

  1. F
    François Pottier

Sources

archive.tar.gz
md5=26c586ff4e1bfacd2637314b4bb98535
sha512=8f795d4ab5ead677f14e22d1ed78ef22b474da8b972894ce76cccd787e7a1a99bf7853ca6a411420c647fced173806f1ce534eae290e22852828ab3ed3f325b8

doc/CHANGES.html

CHANGES

2024/06/19

  • New functions invalidate_open_interval and invalidate_semi_open_interval.
  • Fix a serious bug in Unsafe.first and Unsafe.last, which would incorrectly return None when the region contains only one point.
  • Fix a serious bug in Unsafe.iter, which would systematically omit the last point of the region.

2024/01/06

  • Initial release.