Skip to content

Commit

Permalink
Changelog and Readme
Browse files Browse the repository at this point in the history
  • Loading branch information
dlesbre committed May 22, 2024
1 parent bcd3179 commit 87359e5
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 2 deletions.
1 change: 1 addition & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -42,6 +42,7 @@
`Dissappeared` when using `WeakNode`.
- Fixed a possible assertion error when using `idempotent_subset_domain_forall2`
with `WeakNode`.
- Fix compilation warnings when compiling on ocaml 5.2.

# v0.9.0 - 2024-04-18

Expand Down
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,10 +1,10 @@
# Patricia Tree

[![Latest version](https://img.shields.io/badge/version-0.10.0-yellow)](https://github.com/codex-semantics-library/patricia-tree/releases)
[![OCaml Version](https://img.shields.io/badge/OCaml-4.14_--_5.x-blue?logo=ocaml&logoColor=white)](https://github.com/codex-semantics-library/patricia-tree/blob/main/dune-project)
[![OCaml Version](https://img.shields.io/badge/OCaml-4.14_--_5.2-blue?logo=ocaml&logoColor=white)](https://github.com/codex-semantics-library/patricia-tree/blob/main/dune-project)
[![GitHub License](https://img.shields.io/github/license/codex-semantics-library/patricia-tree)](https://github.com/codex-semantics-library/patricia-tree/blob/main/LICENSE)
[![GitHub Actions Workflow Status](https://img.shields.io/github/actions/workflow/status/codex-semantics-library/patricia-tree/ocaml.yml)](https://github.com/codex-semantics-library/patricia-tree/actions/workflows/ocaml.yml)
[![Documentation](https://img.shields.io/website?url=https%3A%2F%2Fcodex.top%2Fpatricia-tree%2F&up_message=online&down_message=offline&label=documentation)](https://codex.top/patricia-tree/)
[![Documentation](https://img.shields.io/website?url=https%3A%2F%2Fcodex.top%2Fapi%2Fpatricia-tree%2F&up_message=online&down_message=offline&label=documentation)](https://codex.top/api/patricia-tree/)

This is an [OCaml](https://ocaml.org/) library that implements sets and maps as
Patricia Trees, as described in Okasaki and Gill's 1998 paper [*Fast mergeable integer maps*](https://www.semanticscholar.org/paper/Fast-Mergeable-Integer-Maps-Okasaki-Gill/23003be706e5f586f23dd7fa5b2a410cc91b659d).
Expand Down

0 comments on commit 87359e5

Please sign in to comment.