diff --git a/bin/abcrown.sh b/bin/abcrown.sh
index b9a3024cf4dae50e8d8f0f099b529424c7e48d0b..25b62a5a53be173c580e9098ea1dd7f19b31acac 100755
--- a/bin/abcrown.sh
+++ b/bin/abcrown.sh
@@ -3,7 +3,7 @@
# #
# This file is part of CAISAR. #
# #
-# Copyright (C) 2023 #
+# Copyright (C) 2024 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/bin/dummyversion.py b/bin/dummyversion.py
index 1358d11d6a5bfa7f79b2e5eaa44bf5557029bc94..c05358300bb6397048a7732f042749ec6717ed82 100755
--- a/bin/dummyversion.py
+++ b/bin/dummyversion.py
@@ -3,7 +3,7 @@
# #
# This file is part of CAISAR. #
# #
-# Copyright (C) 2023 #
+# Copyright (C) 2024 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/bin/nnenum.sh b/bin/nnenum.sh
index fc41079d54d7aa3dba8acdabc89a759699b26d56..dfee8fa45054e5f5acb9f1848f7369f1c1389a8c 100755
--- a/bin/nnenum.sh
+++ b/bin/nnenum.sh
@@ -3,7 +3,7 @@
# #
# This file is part of CAISAR. #
# #
-# Copyright (C) 2023 #
+# Copyright (C) 2024 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/config/caisar-detection-data.conf b/config/caisar-detection-data.conf
index 7eb58a8e784beb4d2620006caa45e6fcc6fb12e2..775ab20a93d389875b3339fefaa7163b0d35a633 100644
--- a/config/caisar-detection-data.conf
+++ b/config/caisar-detection-data.conf
@@ -2,7 +2,7 @@
# #
# This file is part of CAISAR. #
# #
-# Copyright (C) 2023 #
+# Copyright (C) 2024 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/config/drivers/abcrown.drv b/config/drivers/abcrown.drv
index bdab3a584685d1aae5c90f45ca308b3dbc9b9fd4..5a3a5b65c18c02f97f9f2d43163f753150061b53 100644
--- a/config/drivers/abcrown.drv
+++ b/config/drivers/abcrown.drv
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/config/drivers/aimos.drv b/config/drivers/aimos.drv
index c9fa458f5c40f6baf644baf02d27d69217916c7e..4d142e79728dbca38b2c0ab2fa4dfe03750d6501 100644
--- a/config/drivers/aimos.drv
+++ b/config/drivers/aimos.drv
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/config/drivers/marabou.drv b/config/drivers/marabou.drv
index 205174e450ab6490804abf914bcf2ae9e15ce58d..f75ac2edfccc7a3aaf3c156f96dabf3e2a67be5f 100644
--- a/config/drivers/marabou.drv
+++ b/config/drivers/marabou.drv
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/config/drivers/nnenum.drv b/config/drivers/nnenum.drv
index 8e9a17fb6baa6279f48aeea0856786e0aed70af3..3212db3c2790b2eb3973c00319f562df1bb9d00b 100644
--- a/config/drivers/nnenum.drv
+++ b/config/drivers/nnenum.drv
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/config/drivers/pyrat.drv b/config/drivers/pyrat.drv
index bbb6cfdf61ae816c8523193734d07320a801c1a9..9b884435032b2f65a0149e43ac5229b5af5c396c 100644
--- a/config/drivers/pyrat.drv
+++ b/config/drivers/pyrat.drv
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/config/drivers/pyrat_vnnlib.drv b/config/drivers/pyrat_vnnlib.drv
index 59efb8685e49919137b0e56a378fb043ac006e61..4732ce20136c87abc3df98c27c3cc2e8790f8946 100644
--- a/config/drivers/pyrat_vnnlib.drv
+++ b/config/drivers/pyrat_vnnlib.drv
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/config/drivers/saver.drv b/config/drivers/saver.drv
index f413e3c9249c46c97abf25d0835868b42d025cc8..d32c44781a35941d893b61474c1e5c91cd3b45a1 100644
--- a/config/drivers/saver.drv
+++ b/config/drivers/saver.drv
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/config/drivers/vnnlib.gen b/config/drivers/vnnlib.gen
index b7d6d0258a56947de13993c3e9f3c35ec8ac8a59..c68f6d176a4591042d97effc88463ff5c58d9766 100644
--- a/config/drivers/vnnlib.gen
+++ b/config/drivers/vnnlib.gen
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/docker/Dockerfile.template b/docker/Dockerfile.template
index d19c0718d008c479207ae1797ad42f76a9b9a2eb..47d4a2f76ac5e41984ee295f8b3a0a867c5d632e 100644
--- a/docker/Dockerfile.template
+++ b/docker/Dockerfile.template
@@ -2,7 +2,7 @@
# #
# This file is part of CAISAR. #
# #
-# Copyright (C) 2023 #
+# Copyright (C) 2024 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/docker/Makefile b/docker/Makefile
index f1dea8e450b60092c6859edf18eaedee6d15beb6..06d20d45cb4b4382cf88e3901b071b22cf467021 100644
--- a/docker/Makefile
+++ b/docker/Makefile
@@ -2,7 +2,7 @@
# #
# This file is part of CAISAR. #
# #
-# Copyright (C) 2023 #
+# Copyright (C) 2024 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/lib/nir/gentensor.ml b/lib/nir/gentensor.ml
index 5f22aea5e9d843cec2f8a7a73254bc9d3b2060af..8499662aba87cafb486fdbef0b007587506c5205 100644
--- a/lib/nir/gentensor.ml
+++ b/lib/nir/gentensor.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/nir/gentensor.mli b/lib/nir/gentensor.mli
index ae602600a4346e601470cdb0e00562274bc28ddc..1b61793cc639a45315854e02792deabde4589c15 100644
--- a/lib/nir/gentensor.mli
+++ b/lib/nir/gentensor.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/nir/ngraph.ml b/lib/nir/ngraph.ml
index 9abfd51034d82b82ff9d98c64e82bc67e6534bc6..59638bb16299c516e71ed8b92cc5009b2708d62c 100644
--- a/lib/nir/ngraph.ml
+++ b/lib/nir/ngraph.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/nir/ngraph.mli b/lib/nir/ngraph.mli
index a96ea8cdf229ef48482adc9524c22612f6ace6b4..35cb5faffcfb25e4d7708bd0bb74b7475f56f15b 100644
--- a/lib/nir/ngraph.mli
+++ b/lib/nir/ngraph.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/nir/node.ml b/lib/nir/node.ml
index 36d6ff1beba8b958252661898e14a2808b1a2dd8..94bb663f3cdb4dca095ad62dce6b50c357ba1345 100644
--- a/lib/nir/node.ml
+++ b/lib/nir/node.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/nir/node.mli b/lib/nir/node.mli
index e23d5a57ffaf9929c7112607eecb1b43a456dacb..f2ff5c6f8e4b2b6f7db3e76c54717c3ef4a961e2 100644
--- a/lib/nir/node.mli
+++ b/lib/nir/node.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/nir/shape.ml b/lib/nir/shape.ml
index b07e361922a9549b1834803fc43b00418abe736e..20d254e281f0ba5dda0f08f8c767ec7b147dd7e0 100644
--- a/lib/nir/shape.ml
+++ b/lib/nir/shape.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/nir/shape.mli b/lib/nir/shape.mli
index 79934bb842614e376ae7799cdf1ac21888b8c108..86d711ab28b086df58b98ee8de230a68397173a7 100644
--- a/lib/nir/shape.mli
+++ b/lib/nir/shape.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/nir/tensor.ml b/lib/nir/tensor.ml
index a7a1329c2e95fbca7e97fa56cf4e467255681ac8..c326c57131355efc4c8e9ddf93930c3968ddbe63 100644
--- a/lib/nir/tensor.ml
+++ b/lib/nir/tensor.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/nir/tensor.mli b/lib/nir/tensor.mli
index 9b84019c2773210e0c2f48178ef04e1c270d8a87..f4487d8fe326023c4c8a0b0d9830f37a39f9eb41 100644
--- a/lib/nir/tensor.mli
+++ b/lib/nir/tensor.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/nnet/nnet.ml b/lib/nnet/nnet.ml
index 997190142668dfad58873cba656099c8bfe459b0..2fdc54927b90c5f71fe1c553698c1badbe0975e9 100644
--- a/lib/nnet/nnet.ml
+++ b/lib/nnet/nnet.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/nnet/nnet.mli b/lib/nnet/nnet.mli
index 6b8a11a2961c2173661ce3a87d4b77025390ee81..a5cbaadd704798c30d60dd2415d68d95d8ba0062 100644
--- a/lib/nnet/nnet.mli
+++ b/lib/nnet/nnet.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/onnx/reader.ml b/lib/onnx/reader.ml
index 739c0c7663655e8baa0cc94b7cd7f4b49360d223..ed5c87f18032e1fe3ca78e0a9b88da0d81096076 100644
--- a/lib/onnx/reader.ml
+++ b/lib/onnx/reader.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/onnx/reader.mli b/lib/onnx/reader.mli
index 18e8ddb1925b31480a1498b27f238de049a3c1f1..a9bab77f44e89444754e6e8856798b2891e2fe03 100644
--- a/lib/onnx/reader.mli
+++ b/lib/onnx/reader.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/onnx/writer.ml b/lib/onnx/writer.ml
index 6b8d6f3eff756c70a96d77dcdc5deea99e86e0fe..0b1eb3f3e66f1b758e6f000ef5d3dc7b90e5e045 100644
--- a/lib/onnx/writer.ml
+++ b/lib/onnx/writer.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/onnx/writer.mli b/lib/onnx/writer.mli
index 56945117a968f34ac5998025664d9f31375d5fa8..f573af5238c339553b44ca5be31a60e7ffaa3cc3 100644
--- a/lib/onnx/writer.mli
+++ b/lib/onnx/writer.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/ovo/ovo.ml b/lib/ovo/ovo.ml
index 90c2f48ef2f4d7e7ef407ee3fa20a792e4e09ca8..71ea18118c0cf3f49c969edb27abe6f21adfe67d 100644
--- a/lib/ovo/ovo.ml
+++ b/lib/ovo/ovo.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/ovo/ovo.mli b/lib/ovo/ovo.mli
index f554517dad789dc8666056def93e0fe356f259f2..5e93780c0629ee732b7e9c56c529f1ae3bb51a92 100644
--- a/lib/ovo/ovo.mli
+++ b/lib/ovo/ovo.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/xgboost/bin/parse_xgboost.ml b/lib/xgboost/bin/parse_xgboost.ml
index e13bfee6c12119595f5900dc36bc7a348968f1e8..8835e2f82c57d31970efcb98dcb4dbd245a40dd7 100644
--- a/lib/xgboost/bin/parse_xgboost.ml
+++ b/lib/xgboost/bin/parse_xgboost.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/xgboost/input.ml b/lib/xgboost/input.ml
index 110f408694c7539344e33ff8a2a0a1452a5fbcbf..fc4364d161e863d1913ceb646061257be3d365fc 100644
--- a/lib/xgboost/input.ml
+++ b/lib/xgboost/input.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/xgboost/input.mli b/lib/xgboost/input.mli
index 6b4cae9795197d050d0687c72bea7e1661d6e3ed..8ef740e49e063696cbad43b2ee0800f68d091a39 100644
--- a/lib/xgboost/input.mli
+++ b/lib/xgboost/input.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/xgboost/parser.ml b/lib/xgboost/parser.ml
index 27af80b1ee76d4d0431efd702c76528c972c3b39..fda1544dfe9a0b101b7e47c97c9028e205045895 100644
--- a/lib/xgboost/parser.ml
+++ b/lib/xgboost/parser.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/xgboost/predict.ml b/lib/xgboost/predict.ml
index 233cf6976cce4f834841097f294e0b93064b39b1..38f9a5dbb3b20504ff45ca317c4e714f40feda2a 100644
--- a/lib/xgboost/predict.ml
+++ b/lib/xgboost/predict.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/xgboost/predict.mli b/lib/xgboost/predict.mli
index cdf9cddc39a83c6bf18bfaef81d5b1df2e122933..8c7759c0102288aa30199f447b8080027d900d57 100644
--- a/lib/xgboost/predict.mli
+++ b/lib/xgboost/predict.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/xgboost/tree.ml b/lib/xgboost/tree.ml
index 441784e1517f6443dca15305624a248fd6a744bf..60770141300e2c51fd6a3a5523b7514423605e04 100644
--- a/lib/xgboost/tree.ml
+++ b/lib/xgboost/tree.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/lib/xgboost/tree.mli b/lib/xgboost/tree.mli
index 21171da51f3eb0b3aa6a2a6ed7a812435f3be18d..25d5dd9fc8af310041b375c9675c779d60cb5585 100644
--- a/lib/xgboost/tree.mli
+++ b/lib/xgboost/tree.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/aimos.ml b/src/aimos.ml
index 371cdf0bff4016cd82d35f110b15facf2de079b3..a74f2a26706c790fb35e7755536eaafb05904f5b 100644
--- a/src/aimos.ml
+++ b/src/aimos.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/aimos.mli b/src/aimos.mli
index b8ce0a06bd5c55120bbe209c33f66022619f6477..28b98dc31d5b0cf597eef6705bf1a5046022f761 100644
--- a/src/aimos.mli
+++ b/src/aimos.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/autodetect.ml b/src/autodetect.ml
index 3c3f38e2927e6dda623156dcdf43477b4b6fc346..3724dca62444b34b21ac469108531bb141a12185 100644
--- a/src/autodetect.ml
+++ b/src/autodetect.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/autodetect.mli b/src/autodetect.mli
index 9d70e85ee92d9927e19c861f29731587008e0b01..94361dba9e2fc2c4eba38a4ae1ebddbd677f41df 100644
--- a/src/autodetect.mli
+++ b/src/autodetect.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/convert_xgboost.ml b/src/convert_xgboost.ml
index 86e1db0a80c79bf210b701505a24eea0d8ba9024..a2ecc45fb94614ee5da9559845ddb3c795b3104b 100644
--- a/src/convert_xgboost.ml
+++ b/src/convert_xgboost.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/convert_xgboost.mli b/src/convert_xgboost.mli
index 72ba33a7063bf6b454438fba74897b3f07cb9c61..e1049a8de3dfdde0d7a6acc267db729ad07a4aaf 100644
--- a/src/convert_xgboost.mli
+++ b/src/convert_xgboost.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/dataset.ml b/src/dataset.ml
index 2a319529d627107d49ad36e4a35822bba8127fd0..8851c5623370d169f2025b1efb8f6af4de5589b4 100644
--- a/src/dataset.ml
+++ b/src/dataset.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/dataset.mli b/src/dataset.mli
index af59d535ddd95b844bb432d771bf42131a6298c8..2297a3cb479efb18a010f8fa90db9118c2e6faa4 100644
--- a/src/dataset.mli
+++ b/src/dataset.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/interpretation/interpreter.ml b/src/interpretation/interpreter.ml
index 95ce3397e5f9559e52fdc1b749077b92d4dcb147..a4d12186bda77a71cf71178319436edb4e02a45b 100644
--- a/src/interpretation/interpreter.ml
+++ b/src/interpretation/interpreter.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/interpretation/interpreter.mli b/src/interpretation/interpreter.mli
index 5375df3cb68d1a1e1dc04668fe2d2c9305f0387b..bbfaa1743a066256231c2a0b22dad1174042da79 100644
--- a/src/interpretation/interpreter.mli
+++ b/src/interpretation/interpreter.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/interpretation/interpreter_theory.ml b/src/interpretation/interpreter_theory.ml
index 655ef8e633da1220906f8f1fa6d68810cdefb5dc..17876102066388f89dc8dfe24edaba4655050783 100644
--- a/src/interpretation/interpreter_theory.ml
+++ b/src/interpretation/interpreter_theory.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/interpretation/interpreter_theory.mli b/src/interpretation/interpreter_theory.mli
index a5fd1ab4884837f1b14fe6188e6d9ae92845085a..32d18a24fc27859b82b8c9a5e4a738bfa373c721 100644
--- a/src/interpretation/interpreter_theory.mli
+++ b/src/interpretation/interpreter_theory.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/interpretation/interpreter_types.ml b/src/interpretation/interpreter_types.ml
index d4a2f3591d12a599baebf5c289537ce0d8b0e955..d538870d9396179fb93f2178445c09437041b2bc 100644
--- a/src/interpretation/interpreter_types.ml
+++ b/src/interpretation/interpreter_types.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/interpretation/interpreter_types.mli b/src/interpretation/interpreter_types.mli
index 26cad8ce043e4903acba467b47b2770c395af363..8eb1ce80f2233dfbc504662229ca5712c459f90b 100644
--- a/src/interpretation/interpreter_types.mli
+++ b/src/interpretation/interpreter_types.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/json.ml b/src/json.ml
index 7b4ca7147fc0fd6edba17dffe40041dfd9b8a6c2..ac8734fb4f56fb3900e0b16e811566ad69d419fa 100644
--- a/src/json.ml
+++ b/src/json.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/json.mli b/src/json.mli
index 14317faee20442d149f7dd018bafb9db2226eeff..5c2dd9a59e03fdf818606aae0339adb08163b2f6 100644
--- a/src/json.mli
+++ b/src/json.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/language.ml b/src/language.ml
index b468c549e8184f01b5d5c0543c836e7709aed45a..6f5e805fc6b6e85c027dfb683509707c31c96c19 100644
--- a/src/language.ml
+++ b/src/language.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/language.mli b/src/language.mli
index a296134bf7b60d37bc2d3fd61c8deb0a1b981da5..828f80c408912dcc7a5fbe419ba05fa6df18d2a4 100644
--- a/src/language.mli
+++ b/src/language.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/main.ml b/src/main.ml
index 906e9712ce9d3c6faf8d1cf8fdd1b2db6a47f708..9407ee17ec35b62ce1577de9983bc983b8f50762 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/meta.ml b/src/meta.ml
index 4b6b433d79c4a4fbe033ef72bf6b0e65ccb8dd13..38b858828719e6c23135fb990b22d8e926e73055 100644
--- a/src/meta.ml
+++ b/src/meta.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/meta.mli b/src/meta.mli
index 8a99a5a8632c457ef0b8a5769df6437e3ee0caef..507e622b90e61b77a87b4651b7a6ab65c8015e70 100644
--- a/src/meta.mli
+++ b/src/meta.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/printers/marabou.ml b/src/printers/marabou.ml
index f15fdd403d6235e5ff0ceb9a82f8c4b3547f37f5..8770a3e00bac927300eb812779413d12022cd186 100644
--- a/src/printers/marabou.ml
+++ b/src/printers/marabou.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/printers/pyrat.ml b/src/printers/pyrat.ml
index b6538ea27bc9f5f5889ac9d79f4c428ad0fa80b3..aa294ec183b1116b1a7e6750c0eff99036f91890 100644
--- a/src/printers/pyrat.ml
+++ b/src/printers/pyrat.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/printers/vnnlib.ml b/src/printers/vnnlib.ml
index e6c39297230ec53d39178e1e059b9d96ab0c0b7a..15702b98bed0f35dce421763fd7515241e51a3f7 100644
--- a/src/printers/vnnlib.ml
+++ b/src/printers/vnnlib.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/proof_strategy.ml b/src/proof_strategy.ml
index cbaaa44e6e6f4116535cf985fbf2c6e4127d8915..3c09629f47b741d7346056af461a1079d7196258 100644
--- a/src/proof_strategy.ml
+++ b/src/proof_strategy.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/proof_strategy.mli b/src/proof_strategy.mli
index fc28654546e422fecbe94796fed77cc52502df45..8af15c19f80362dbde72094b8a44f97366b5eeb9 100644
--- a/src/proof_strategy.mli
+++ b/src/proof_strategy.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/prover.ml b/src/prover.ml
index c3bbd398fe8c24f05f9249cb7bbd084bdebfc108..9aaebd4105fe584a14b2f2140f8fe74eb9e75ff5 100644
--- a/src/prover.ml
+++ b/src/prover.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/prover.mli b/src/prover.mli
index a48110e9fc8d8e44352eb2c512611d92fbc5c236..c2eb3d4b9dd795ac92571b36b2f97a0fc293777d 100644
--- a/src/prover.mli
+++ b/src/prover.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/saver.ml b/src/saver.ml
index 39e18c4761dc39fbb5c88872f26169cbefd7f949..2aef85892a31a804ec036ed168d4898d9adde33c 100644
--- a/src/saver.ml
+++ b/src/saver.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/saver.mli b/src/saver.mli
index 1aad4ca744ea5688dad9863025dba2ef5ea572cf..a4f5267eec15dafeb8ae69ca4c4981f15cbae025 100644
--- a/src/saver.mli
+++ b/src/saver.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/transformations/native_nn_prover.ml b/src/transformations/native_nn_prover.ml
index 22a140e58791d436dedef6a2b50b5bd9977eef29..b088f053b3cf4640e28188abdacd1bdfc8784ed2 100644
--- a/src/transformations/native_nn_prover.ml
+++ b/src/transformations/native_nn_prover.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/transformations/native_nn_prover.mli b/src/transformations/native_nn_prover.mli
index 421cfe4ada32f3b69af4a7d7f4cff2392ec75c2e..167e3f22a47d2a2d854ac4ae9dfe4476aa764909 100644
--- a/src/transformations/native_nn_prover.mli
+++ b/src/transformations/native_nn_prover.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/transformations/nn2smt.ml b/src/transformations/nn2smt.ml
index d5ca10c067b4c1f044ff885aa96b5645680a3b2e..b06899f89263653960bc90774935262beece9a0a 100644
--- a/src/transformations/nn2smt.ml
+++ b/src/transformations/nn2smt.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/transformations/nn2smt.mli b/src/transformations/nn2smt.mli
index 0cb0eb9b33800dc7fbb3ffd5ff858c752b60dfa6..bbd89c493c1a9142f6eb521074868430fe56d48e 100644
--- a/src/transformations/nn2smt.mli
+++ b/src/transformations/nn2smt.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/transformations/relop.ml b/src/transformations/relop.ml
index f89b71e4ca9c2a1e97890bf24d29df26a34fcb69..5451646d96a54074c10db21dbbdb82e4ea66aba8 100644
--- a/src/transformations/relop.ml
+++ b/src/transformations/relop.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/transformations/relop.mli b/src/transformations/relop.mli
index d5a662fe1c59ce676d03ff00133a71373fe2e7a8..00abc87bd44e1f4b97f8ef492bd0b8f8aff08c6d 100644
--- a/src/transformations/relop.mli
+++ b/src/transformations/relop.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/transformations/split.ml b/src/transformations/split.ml
index 88fcbff8b7a15578dd2addafc276895e3b5c21d0..f816e5e44cfb977da7b198b2e402922cbbf0161d 100644
--- a/src/transformations/split.ml
+++ b/src/transformations/split.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/transformations/split.mli b/src/transformations/split.mli
index 1592aea9018ae714730bab6e5059fa6732d67968..b57333c3cf08698ff92bf70de005d7936186602d 100644
--- a/src/transformations/split.mli
+++ b/src/transformations/split.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/transformations/symbols.ml b/src/transformations/symbols.ml
index da11b63faf155bf0c023f0b8e4daf72dc0bbb82f..9b6574034c15ca5c57c21ffa404940fcd9635024 100644
--- a/src/transformations/symbols.ml
+++ b/src/transformations/symbols.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/transformations/symbols.mli b/src/transformations/symbols.mli
index 9e76d2a94ce6ee2e5b962c019dad31d85f26fe0e..7f32f6e3abb7c6924085128245302f90532f2c6a 100644
--- a/src/transformations/symbols.mli
+++ b/src/transformations/symbols.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/transformations/utils.ml b/src/transformations/utils.ml
index fd420463fb4a6fcd52c123701ab52bcb0c63505e..659bd88f41c9f3a9118448922700427e0c66f119 100644
--- a/src/transformations/utils.ml
+++ b/src/transformations/utils.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/transformations/utils.mli b/src/transformations/utils.mli
index 7ec56fe2b5447037dd0028525363722b4e112326..e848c15b043b3a467155dc9586d0430b366ed806 100644
--- a/src/transformations/utils.mli
+++ b/src/transformations/utils.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/verification.ml b/src/verification.ml
index f0877746f5bb288eba55f155699127a188fabdef..30ef4fe66f24201b9225439a23fc714709982c13 100644
--- a/src/verification.ml
+++ b/src/verification.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/verification.mli b/src/verification.mli
index 71d1b7839351e3a3c4c76a7f1be0d78482f87e89..f36a447932322cb8fd014dbcc5328b0020938308 100644
--- a/src/verification.mli
+++ b/src/verification.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/stdlib/caisar/caisar.mlw b/stdlib/caisar/caisar.mlw
index ecae2359d5c639cbe8c76aba4ec1eaff75276f7d..2b1c0c0722a0fc030131ffbdb84669cc9d97fa05 100644
--- a/stdlib/caisar/caisar.mlw
+++ b/stdlib/caisar/caisar.mlw
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/stdlib/caisar/dataset.mlw b/stdlib/caisar/dataset.mlw
index 29dd89515afc570f4317b7f9e5a9fa01ed8fc1a8..9ff53e4622462ebb654a99b897ab83b5f359710c 100644
--- a/stdlib/caisar/dataset.mlw
+++ b/stdlib/caisar/dataset.mlw
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/stdlib/caisar/model.mlw b/stdlib/caisar/model.mlw
index 62fc630513470a5448c63322b45b7f92cad6fd5f..8a07cb813a9b585eadd20dbd2993f791d8f02a0f 100644
--- a/stdlib/caisar/model.mlw
+++ b/stdlib/caisar/model.mlw
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/stdlib/caisar/robust.mlw b/stdlib/caisar/robust.mlw
index 6328a441be486d5cf8beea3f1a7100a5c19ae985..747e0ab636f220a47243465dfd6c3ba742dabf5e 100644
--- a/stdlib/caisar/robust.mlw
+++ b/stdlib/caisar/robust.mlw
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/stdlib/caisar/types.mlw b/stdlib/caisar/types.mlw
index 4f01692fd72d17577eff475c4de0b71efe9171fd..b99f405c60c6ed923909f694122998263e7d2e83 100644
--- a/stdlib/caisar/types.mlw
+++ b/stdlib/caisar/types.mlw
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/update_headers.sh b/update_headers.sh
new file mode 100755
index 0000000000000000000000000000000000000000..9bd23b9513bd556ccb1ca65d5c7665e530fcd1c8
--- /dev/null
+++ b/update_headers.sh
@@ -0,0 +1,5 @@
+#!/usr/bin/env bash
+set -xe
+NEW_DATE=$(date "+%Y")
+OLD_DATE=$(date -d '1 year ago' "+%Y")
+find . \( -type d -name .git -prune \) \( -type d -name ._build -prune \) -o -type f -print0 | xargs -0 sed -i 's/(C) '${OLD_DATE}'/(C) '${NEW_DATE}'/g'
diff --git a/utils/logging.ml b/utils/logging.ml
index c3f129f99bef70369aa905a3a3d200b2c3d9b00e..3dfc54019cd0e7d083729db845a31c30ba570013 100644
--- a/utils/logging.ml
+++ b/utils/logging.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/utils/logging.mli b/utils/logging.mli
index d05c477a90ee8739fc6d08a980bd7a06b68feb3d..ecf9d708b69a4fef1324fb91d53a4f9a64d6f70c 100644
--- a/utils/logging.mli
+++ b/utils/logging.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of CAISAR. *)
(* *)
-(* Copyright (C) 2023 *)
+(* Copyright (C) 2024 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)