From fc44af26778a0f027b06b4327fa55aa024b20760 Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Fri, 7 Jun 2024 14:49:20 +0200
Subject: [PATCH] [release] Update license header files
---
bin/abcrown.sh | 2 +-
bin/dummyversion.py | 2 +-
bin/nnenum.sh | 2 +-
config/caisar-detection-data.conf | 2 +-
config/drivers/abcrown.drv | 2 +-
config/drivers/aimos.drv | 2 +-
config/drivers/marabou.drv | 2 +-
config/drivers/nnenum.drv | 2 +-
config/drivers/pyrat.drv | 2 +-
config/drivers/pyrat_vnnlib.drv | 2 +-
config/drivers/saver.drv | 2 +-
config/drivers/vnnlib.gen | 2 +-
docker/Dockerfile.template | 2 +-
docker/Makefile | 2 +-
lib/nir/gentensor.ml | 2 +-
lib/nir/gentensor.mli | 2 +-
lib/nir/ngraph.ml | 2 +-
lib/nir/ngraph.mli | 2 +-
lib/nir/node.ml | 2 +-
lib/nir/node.mli | 2 +-
lib/nir/shape.ml | 2 +-
lib/nir/shape.mli | 2 +-
lib/nir/tensor.ml | 2 +-
lib/nir/tensor.mli | 2 +-
lib/nnet/nnet.ml | 2 +-
lib/nnet/nnet.mli | 2 +-
lib/onnx/reader.ml | 2 +-
lib/onnx/reader.mli | 2 +-
lib/onnx/writer.ml | 2 +-
lib/onnx/writer.mli | 2 +-
lib/ovo/ovo.ml | 2 +-
lib/ovo/ovo.mli | 2 +-
lib/xgboost/bin/parse_xgboost.ml | 2 +-
lib/xgboost/input.ml | 2 +-
lib/xgboost/input.mli | 2 +-
lib/xgboost/parser.ml | 2 +-
lib/xgboost/predict.ml | 2 +-
lib/xgboost/predict.mli | 2 +-
lib/xgboost/tree.ml | 2 +-
lib/xgboost/tree.mli | 2 +-
src/aimos.ml | 2 +-
src/aimos.mli | 2 +-
src/autodetect.ml | 2 +-
src/autodetect.mli | 2 +-
src/convert_xgboost.ml | 2 +-
src/convert_xgboost.mli | 2 +-
src/dataset.ml | 2 +-
src/dataset.mli | 2 +-
src/interpretation/interpreter.ml | 2 +-
src/interpretation/interpreter.mli | 2 +-
src/interpretation/interpreter_theory.ml | 2 +-
src/interpretation/interpreter_theory.mli | 2 +-
src/interpretation/interpreter_types.ml | 2 +-
src/interpretation/interpreter_types.mli | 2 +-
src/json.ml | 2 +-
src/json.mli | 2 +-
src/language.ml | 2 +-
src/language.mli | 2 +-
src/main.ml | 2 +-
src/meta.ml | 2 +-
src/meta.mli | 2 +-
src/printers/marabou.ml | 2 +-
src/printers/pyrat.ml | 2 +-
src/printers/vnnlib.ml | 2 +-
src/proof_strategy.ml | 2 +-
src/proof_strategy.mli | 2 +-
src/prover.ml | 2 +-
src/prover.mli | 2 +-
src/saver.ml | 2 +-
src/saver.mli | 2 +-
src/transformations/native_nn_prover.ml | 2 +-
src/transformations/native_nn_prover.mli | 2 +-
src/transformations/nn2smt.ml | 2 +-
src/transformations/nn2smt.mli | 2 +-
src/transformations/relop.ml | 2 +-
src/transformations/relop.mli | 2 +-
src/transformations/split.ml | 2 +-
src/transformations/split.mli | 2 +-
src/transformations/symbols.ml | 2 +-
src/transformations/symbols.mli | 2 +-
src/transformations/utils.ml | 2 +-
src/transformations/utils.mli | 2 +-
src/verification.ml | 2 +-
src/verification.mli | 2 +-
stdlib/caisar/caisar.mlw | 2 +-
stdlib/caisar/dataset.mlw | 2 +-
stdlib/caisar/model.mlw | 2 +-
stdlib/caisar/robust.mlw | 2 +-
stdlib/caisar/types.mlw | 2 +-
update_headers.sh | 5 +++++
utils/logging.ml | 2 +-
utils/logging.mli | 2 +-
92 files changed, 96 insertions(+), 91 deletions(-)
create mode 100755 update_headers.sh
diff --git a/bin/abcrown.sh b/bin/abcrown.sh
index b9a3024..25b62a5 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 1358d11..c053583 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 fc41079..dfee8fa 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 7eb58a8..775ab20 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 bdab3a5..5a3a5b6 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 c9fa458..4d142e7 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 205174e..f75ac2e 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 8e9a17f..3212db3 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 bbb6cfd..9b88443 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 59efb86..4732ce2 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 f413e3c..d32c447 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 b7d6d02..c68f6d1 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 d19c071..47d4a2f 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 f1dea8e..06d20d4 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 5f22aea..8499662 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 ae60260..1b61793 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 9abfd51..59638bb 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 a96ea8c..35cb5fa 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 36d6ff1..94bb663 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 e23d5a5..f2ff5c6 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 b07e361..20d254e 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 79934bb..86d711a 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 a7a1329..c326c57 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 9b84019..f4487d8 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 9971901..2fdc549 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 6b8a11a..a5cbaad 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 739c0c7..ed5c87f 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 18e8ddb..a9bab77 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 6b8d6f3..0b1eb3f 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 5694511..f573af5 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 90c2f48..71ea181 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 f554517..5e93780 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 e13bfee..8835e2f 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 110f408..fc4364d 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 6b4cae9..8ef740e 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 27af80b..fda1544 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 233cf69..38f9a5d 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 cdf9cdd..8c7759c 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 441784e..6077014 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 21171da..25d5dd9 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 371cdf0..a74f2a2 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 b8ce0a0..28b98dc 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 3c3f38e..3724dca 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 9d70e85..94361db 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 86e1db0..a2ecc45 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 72ba33a..e1049a8 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 2a31952..8851c56 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 af59d53..2297a3c 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 95ce339..a4d1218 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 5375df3..bbfaa17 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 655ef8e..1787610 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 a5fd1ab..32d18a2 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 d4a2f35..d538870 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 26cad8c..8eb1ce8 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 7b4ca71..ac8734f 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 14317fa..5c2dd9a 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 b468c54..6f5e805 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 a296134..828f80c 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 906e971..9407ee1 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 4b6b433..38b8588 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 8a99a5a..507e622 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 f15fdd4..8770a3e 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 b6538ea..aa294ec 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 e6c3929..15702b9 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 cbaaa44..3c09629 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 fc28654..8af15c1 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 c3bbd39..9aaebd4 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 a48110e..c2eb3d4 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 39e18c4..2aef858 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 1aad4ca..a4f5267 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 22a140e..b088f05 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 421cfe4..167e3f2 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 d5ca10c..b06899f 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 0cb0eb9..bbd89c4 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 f89b71e..5451646 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 d5a662f..00abc87 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 88fcbff..f816e5e 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 1592aea..b57333c 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 da11b63..9b65740 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 9e76d2a..7f32f6e 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 fd42046..659bd88 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 7ec56fe..e848c15 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 f087774..30ef4fe 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 71d1b78..f36a447 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 ecae235..2b1c0c0 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 29dd895..9ff53e4 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 62fc630..8a07cb8 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 6328a44..747e0ab 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 4f01692..b99f405 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 0000000..9bd23b9
--- /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 c3f129f..3dfc540 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 d05c477..ecf9d70 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) *)
(* *)
--
GitLab