Skip to content

Commit 3bc6e9a

Browse files
dlesbredlesbre
committed
Prepare new version
1 parent 5dcce1c commit 3bc6e9a

19 files changed

+23
-20
lines changed

‎.github/workflows/ocaml.yml

+1
Original file line numberDiff line numberDiff line change
@@ -80,6 +80,7 @@ jobs:
8080
- 4.14.x
8181
- 5.1.x
8282
- 5.2.x
83+
- 5.3.x
8384
exclude:
8485
- os: "ubuntu-latest"
8586
ocaml-compiler: 4.14.x

‎CHANGELOG.md

+3-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
1-
# v0.11.0 - Unreleased
1+
# v0.11.0 - 2025-01-27
22

3+
- Add some `reflexive_equal` and `reflexive_compare` functions
4+
- Add `min_binding_inter` for maps, `min_elt_inter` for sets and their max counterparts
35
- Add `difference` and `symmetric_difference` function to maps (and add `difference` to `WithForeign`)
46
- Add `diff` functions to sets
57
- Internal refactor.

‎dune-project

+2-2
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
;; This file is part of the Codex semantics library ;;
55
;; (patricia-tree sub-component). ;;
66
;; ;;
7-
;; Copyright (C) 2024 ;;
7+
;; Copyright (C) 2024-2025 ;;
88
;; CEA (Commissariat à l'énergie atomique et aux énergies ;;
99
;; alternatives) ;;
1010
;; ;;
@@ -23,7 +23,7 @@
2323

2424
(name patricia-tree)
2525

26-
(version 0.10.0)
26+
(version 0.11.0)
2727

2828
(using mdx 0.2)
2929

‎src/PatriciaTree.ml

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
(* This file is part of the Codex semantics library *)
33
(* (patricia-tree sub-component). *)
44
(* *)
5-
(* Copyright (C) 2024 *)
5+
(* Copyright (C) 2024-2025 *)
66
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
77
(* alternatives) *)
88
(* *)

‎src/PatriciaTree.mli

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
(* This file is part of the Codex semantics library *)
33
(* (patricia-tree sub-component). *)
44
(* *)
5-
(* Copyright (C) 2024 *)
5+
(* Copyright (C) 2024-2025 *)
66
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
77
(* alternatives) *)
88
(* *)

‎src/dune

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
;; This file is part of the Codex semantics library ;;
33
;; (patricia-tree sub-component). ;;
44
;; ;;
5-
;; Copyright (C) 2024 ;;
5+
;; Copyright (C) 2024-2025 ;;
66
;; CEA (Commissariat à l'énergie atomique et aux énergies ;;
77
;; alternatives) ;;
88
;; ;;

‎src/functors.ml

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
(* This file is part of the Codex semantics library *)
33
(* (patricia-tree sub-component). *)
44
(* *)
5-
(* Copyright (C) 2024 *)
5+
(* Copyright (C) 2024-2025 *)
66
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
77
(* alternatives) *)
88
(* *)

‎src/functors.mli

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
(* This file is part of the Codex semantics library *)
33
(* (patricia-tree sub-component). *)
44
(* *)
5-
(* Copyright (C) 2024 *)
5+
(* Copyright (C) 2024-2025 *)
66
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
77
(* alternatives) *)
88
(* *)

‎src/index.mld

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@
22

33
This library contains a single module: {!PatriciaTree}.
44

5-
This is version [0.10.0] of the library. It is known to work with OCaml versions
6-
ranging from [4.14] to [5.2].
5+
This is version [0.11.0] of the library. It is known to work with OCaml versions
6+
ranging from [4.14] to [5.3].
77

88
This is an {{: https://ocaml.org/}OCaml} library that implements sets and maps as
99
Patricia Trees, as described in Okasaki and Gill's 1998 paper

‎src/ints.ml

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
(* This file is part of the Codex semantics library *)
33
(* (patricia-tree sub-component). *)
44
(* *)
5-
(* Copyright (C) 2024 *)
5+
(* Copyright (C) 2024-2025 *)
66
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
77
(* alternatives) *)
88
(* *)

‎src/ints.mli

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
(* This file is part of the Codex semantics library *)
33
(* (patricia-tree sub-component). *)
44
(* *)
5-
(* Copyright (C) 2024 *)
5+
(* Copyright (C) 2024-2025 *)
66
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
77
(* alternatives) *)
88
(* *)

‎src/key_value.ml

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
(* This file is part of the Codex semantics library *)
33
(* (patricia-tree sub-component). *)
44
(* *)
5-
(* Copyright (C) 2024 *)
5+
(* Copyright (C) 2024-2025 *)
66
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
77
(* alternatives) *)
88
(* *)

‎src/key_value.mli

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
(* This file is part of the Codex semantics library *)
33
(* (patricia-tree sub-component). *)
44
(* *)
5-
(* Copyright (C) 2024 *)
5+
(* Copyright (C) 2024-2025 *)
66
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
77
(* alternatives) *)
88
(* *)

‎src/nodes.ml

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
(* This file is part of the Codex semantics library *)
33
(* (patricia-tree sub-component). *)
44
(* *)
5-
(* Copyright (C) 2024 *)
5+
(* Copyright (C) 2024-2025 *)
66
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
77
(* alternatives) *)
88
(* *)

‎src/nodes.mli

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
(* This file is part of the Codex semantics library *)
33
(* (patricia-tree sub-component). *)
44
(* *)
5-
(* Copyright (C) 2024 *)
5+
(* Copyright (C) 2024-2025 *)
66
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
77
(* alternatives) *)
88
(* *)

‎src/signatures.ml

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
(* This file is part of the Codex semantics library *)
33
(* (patricia-tree sub-component). *)
44
(* *)
5-
(* Copyright (C) 2024 *)
5+
(* Copyright (C) 2024-2025 *)
66
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
77
(* alternatives) *)
88
(* *)

‎src/test/dune

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
;; This file is part of the Codex semantics library ;;
33
;; (patricia-tree sub-component). ;;
44
;; ;;
5-
;; Copyright (C) 2024 ;;
5+
;; Copyright (C) 2024-2025 ;;
66
;; CEA (Commissariat à l'énergie atomique et aux énergies ;;
77
;; alternatives) ;;
88
;; ;;

‎src/test/mdx_prelude.ml

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
(* This file is part of the Codex semantics library *)
33
(* (patricia-tree sub-component). *)
44
(* *)
5-
(* Copyright (C) 2024 *)
5+
(* Copyright (C) 2024-2025 *)
66
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
77
(* alternatives) *)
88
(* *)

‎src/test/patriciaTreeTest.ml

+1-1
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
(* This file is part of the Codex semantics library *)
33
(* (patricia-tree sub-component). *)
44
(* *)
5-
(* Copyright (C) 2024 *)
5+
(* Copyright (C) 2024-2025 *)
66
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
77
(* alternatives) *)
88
(* *)

0 commit comments

Comments
 (0)