From 84600ce2aa53409e75e5210712092f991680314e Mon Sep 17 00:00:00 2001 From: Dorian Lesbre Date: Wed, 17 Apr 2024 16:22:00 +0200 Subject: [PATCH] Update headers --- dune | 3 ++- dune-project | 20 ++++++++++++++++++++ patriciaTree.ml | 3 ++- patriciaTree.mli | 3 ++- patriciaTreeTest.ml | 3 ++- 5 files changed, 28 insertions(+), 4 deletions(-) diff --git a/dune b/dune index 1c00787..17e5fd7 100644 --- a/dune +++ b/dune @@ -1,5 +1,6 @@ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; This file is part of the Patricia Tree library. ;; +;; This file is part of the Codex semantics library ;; +;; (patricia-tree sub-component). ;; ;; ;; ;; Copyright (C) 2024 ;; ;; CEA (Commissariat à l'énergie atomique et aux énergies ;; diff --git a/dune-project b/dune-project index 4b5e346..d275655 100644 --- a/dune-project +++ b/dune-project @@ -1,4 +1,24 @@ (lang dune 2.0) +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;; This file is part of the Codex semantics library ;; +;; (patricia-tree sub-component). ;; +;; ;; +;; Copyright (C) 2024 ;; +;; CEA (Commissariat à l'énergie atomique et aux énergies ;; +;; alternatives) ;; +;; ;; +;; You can redistribute it and/or modify it under the terms of the GNU ;; +;; Lesser General Public License as published by the Free Software ;; +;; Foundation, version 2.1. ;; +;; ;; +;; It is distributed in the hope that it will be useful, ;; +;; but WITHOUT ANY WARRANTY; without even the implied warranty of ;; +;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ;; +;; GNU Lesser General Public License for more details. ;; +;; ;; +;; See the GNU Lesser General Public License version 2.1 ;; +;; for more details (enclosed in the file LICENSE). ;; +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; This file is part of the Patricia Tree library. ;; diff --git a/patriciaTree.ml b/patriciaTree.ml index 80f88ed..bfcce2c 100644 --- a/patriciaTree.ml +++ b/patriciaTree.ml @@ -1,5 +1,6 @@ (**************************************************************************) -(* This file is part of the Patricia Tree library. *) +(* This file is part of the Codex semantics library *) +(* (patricia-tree sub-component). *) (* *) (* Copyright (C) 2024 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) diff --git a/patriciaTree.mli b/patriciaTree.mli index 478aad2..3c5b98f 100644 --- a/patriciaTree.mli +++ b/patriciaTree.mli @@ -1,5 +1,6 @@ (**************************************************************************) -(* This file is part of the Patricia Tree library. *) +(* This file is part of the Codex semantics library *) +(* (patricia-tree sub-component). *) (* *) (* Copyright (C) 2024 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) diff --git a/patriciaTreeTest.ml b/patriciaTreeTest.ml index f7626a9..843bbdc 100644 --- a/patriciaTreeTest.ml +++ b/patriciaTreeTest.ml @@ -1,5 +1,6 @@ (**************************************************************************) -(* This file is part of the Patricia Tree library. *) +(* This file is part of the Codex semantics library *) +(* (patricia-tree sub-component). *) (* *) (* Copyright (C) 2024 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)