From 16d8731ff21404a574826c26f6e1872d6cebadb0 Mon Sep 17 00:00:00 2001 From: Julien Girard <julien.girard2@cea.fr> Date: Wed, 21 Jun 2023 09:51:13 +0200 Subject: [PATCH] [release] Update header and displayed version for release 0.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 +- lib/nnet/nnet.ml | 2 +- lib/nnet/nnet.mli | 2 +- lib/onnx/onnx.ml | 2 +- lib/onnx/onnx.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.ml | 2 +- src/interpretation.mli | 2 +- src/json.ml | 2 +- src/json.mli | 2 +- src/language.ml | 2 +- src/language.mli | 2 +- src/logging.ml | 2 +- src/logging.mli | 2 +- src/main.ml | 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/reduction_engine.ml | 2 +- src/reduction_engine.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/simplify_rel.ml | 2 +- src/transformations/simplify_rel.mli | 2 +- src/transformations/split.ml | 2 +- src/transformations/split.mli | 2 +- src/transformations/utils.ml | 2 +- src/transformations/utils.mli | 2 +- src/transformations/vars_on_lhs.ml | 2 +- src/transformations/vars_on_lhs.mli | 2 +- src/verification.ml | 2 +- src/verification.mli | 2 +- 65 files changed, 65 insertions(+), 65 deletions(-) diff --git a/config/caisar-detection-data.conf b/config/caisar-detection-data.conf index 2aeaa83e..2f8003cb 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) 2022 # +# Copyright (C) 2023 # # CEA (Commissariat à l'énergie atomique et aux énergies # # alternatives) # # # diff --git a/config/drivers/abcrown.drv b/config/drivers/abcrown.drv index ca8f21cd..bdab3a58 100644 --- a/config/drivers/abcrown.drv +++ b/config/drivers/abcrown.drv @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/config/drivers/aimos.drv b/config/drivers/aimos.drv index e5a4bed0..c9fa458f 100644 --- a/config/drivers/aimos.drv +++ b/config/drivers/aimos.drv @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/config/drivers/marabou.drv b/config/drivers/marabou.drv index 3b14d16a..dafffbdb 100644 --- a/config/drivers/marabou.drv +++ b/config/drivers/marabou.drv @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/config/drivers/nnenum.drv b/config/drivers/nnenum.drv index 4c7633b2..8e9a17fb 100644 --- a/config/drivers/nnenum.drv +++ b/config/drivers/nnenum.drv @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/config/drivers/pyrat.drv b/config/drivers/pyrat.drv index ecac7d2a..ec19b024 100644 --- a/config/drivers/pyrat.drv +++ b/config/drivers/pyrat.drv @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/config/drivers/pyrat_vnnlib.drv b/config/drivers/pyrat_vnnlib.drv index 12266384..59efb868 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) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/config/drivers/saver.drv b/config/drivers/saver.drv index 730f2d93..f413e3c9 100644 --- a/config/drivers/saver.drv +++ b/config/drivers/saver.drv @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/config/drivers/vnnlib.gen b/config/drivers/vnnlib.gen index 839e7c0b..5a2ae276 100644 --- a/config/drivers/vnnlib.gen +++ b/config/drivers/vnnlib.gen @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/lib/nnet/nnet.ml b/lib/nnet/nnet.ml index f325f33b..b16b6f78 100644 --- a/lib/nnet/nnet.ml +++ b/lib/nnet/nnet.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/lib/nnet/nnet.mli b/lib/nnet/nnet.mli index 4e834f58..61d58ef6 100644 --- a/lib/nnet/nnet.mli +++ b/lib/nnet/nnet.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/lib/onnx/onnx.ml b/lib/onnx/onnx.ml index e0335f76..ffb3c775 100644 --- a/lib/onnx/onnx.ml +++ b/lib/onnx/onnx.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/lib/onnx/onnx.mli b/lib/onnx/onnx.mli index 2310835f..e8d102c6 100644 --- a/lib/onnx/onnx.mli +++ b/lib/onnx/onnx.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/lib/ovo/ovo.ml b/lib/ovo/ovo.ml index b8bf2179..42af2a06 100644 --- a/lib/ovo/ovo.ml +++ b/lib/ovo/ovo.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/lib/ovo/ovo.mli b/lib/ovo/ovo.mli index eb5682f4..f554517d 100644 --- a/lib/ovo/ovo.mli +++ b/lib/ovo/ovo.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* 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 2b17f869..e13bfee6 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) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/lib/xgboost/input.ml b/lib/xgboost/input.ml index 7f2c0cd3..110f4086 100644 --- a/lib/xgboost/input.ml +++ b/lib/xgboost/input.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/lib/xgboost/input.mli b/lib/xgboost/input.mli index 0776b88c..6b4cae97 100644 --- a/lib/xgboost/input.mli +++ b/lib/xgboost/input.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/lib/xgboost/parser.ml b/lib/xgboost/parser.ml index 59dd7c30..840c8991 100644 --- a/lib/xgboost/parser.ml +++ b/lib/xgboost/parser.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/lib/xgboost/predict.ml b/lib/xgboost/predict.ml index 1bbce4be..233cf697 100644 --- a/lib/xgboost/predict.ml +++ b/lib/xgboost/predict.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/lib/xgboost/predict.mli b/lib/xgboost/predict.mli index fc65e8dc..cdf9cddc 100644 --- a/lib/xgboost/predict.mli +++ b/lib/xgboost/predict.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/lib/xgboost/tree.ml b/lib/xgboost/tree.ml index 88451ffa..441784e1 100644 --- a/lib/xgboost/tree.ml +++ b/lib/xgboost/tree.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/lib/xgboost/tree.mli b/lib/xgboost/tree.mli index 7a07b8ee..21171da5 100644 --- a/lib/xgboost/tree.mli +++ b/lib/xgboost/tree.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/aimos.ml b/src/aimos.ml index f51a3b17..07ec27ab 100644 --- a/src/aimos.ml +++ b/src/aimos.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/aimos.mli b/src/aimos.mli index 411b0da5..b8ce0a06 100644 --- a/src/aimos.mli +++ b/src/aimos.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/autodetect.ml b/src/autodetect.ml index 3bc69960..4bf32804 100644 --- a/src/autodetect.ml +++ b/src/autodetect.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/autodetect.mli b/src/autodetect.mli index 540f357f..9d70e85e 100644 --- a/src/autodetect.mli +++ b/src/autodetect.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/convert_xgboost.ml b/src/convert_xgboost.ml index 5e54ede7..c8373f4e 100644 --- a/src/convert_xgboost.ml +++ b/src/convert_xgboost.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/convert_xgboost.mli b/src/convert_xgboost.mli index 2ca5fc81..72ba33a7 100644 --- a/src/convert_xgboost.mli +++ b/src/convert_xgboost.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/dataset.ml b/src/dataset.ml index 8b89cfe8..d08696f5 100644 --- a/src/dataset.ml +++ b/src/dataset.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/dataset.mli b/src/dataset.mli index 4e4cf937..1ad03f6d 100644 --- a/src/dataset.mli +++ b/src/dataset.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/interpretation.ml b/src/interpretation.ml index 7e0bddfc..f35d6e97 100644 --- a/src/interpretation.ml +++ b/src/interpretation.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/interpretation.mli b/src/interpretation.mli index 6252724c..78043815 100644 --- a/src/interpretation.mli +++ b/src/interpretation.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/json.ml b/src/json.ml index 9ed36e5b..d0821751 100644 --- a/src/json.ml +++ b/src/json.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/json.mli b/src/json.mli index 550cb407..14317fae 100644 --- a/src/json.mli +++ b/src/json.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/language.ml b/src/language.ml index 05ad16db..930d45d9 100644 --- a/src/language.ml +++ b/src/language.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/language.mli b/src/language.mli index 579255e5..f1558fba 100644 --- a/src/language.mli +++ b/src/language.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/logging.ml b/src/logging.ml index 049a3d73..7318b5b8 100644 --- a/src/logging.ml +++ b/src/logging.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/logging.mli b/src/logging.mli index 315bbc72..8b03ff2d 100644 --- a/src/logging.mli +++ b/src/logging.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/main.ml b/src/main.ml index 1d69a452..fdd445b4 100644 --- a/src/main.ml +++ b/src/main.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/printers/marabou.ml b/src/printers/marabou.ml index 823782a4..5b888e20 100644 --- a/src/printers/marabou.ml +++ b/src/printers/marabou.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/printers/pyrat.ml b/src/printers/pyrat.ml index d39b7fb2..d80dc5f5 100644 --- a/src/printers/pyrat.ml +++ b/src/printers/pyrat.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/printers/vnnlib.ml b/src/printers/vnnlib.ml index 45680a9b..2372b4d1 100644 --- a/src/printers/vnnlib.ml +++ b/src/printers/vnnlib.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/proof_strategy.ml b/src/proof_strategy.ml index e0fa3156..609e5aae 100644 --- a/src/proof_strategy.ml +++ b/src/proof_strategy.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/proof_strategy.mli b/src/proof_strategy.mli index 3d9717be..6415431d 100644 --- a/src/proof_strategy.mli +++ b/src/proof_strategy.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/prover.ml b/src/prover.ml index bb9ee6ec..0cdbf2c5 100644 --- a/src/prover.ml +++ b/src/prover.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/prover.mli b/src/prover.mli index b993523e..42a049d8 100644 --- a/src/prover.mli +++ b/src/prover.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/reduction_engine.ml b/src/reduction_engine.ml index 9ba8d51b..89119d3d 100644 --- a/src/reduction_engine.ml +++ b/src/reduction_engine.ml @@ -1,7 +1,7 @@ (********************************************************************) (* *) (* The Why3 Verification Platform / The Why3 Development Team *) -(* Copyright 2010-2022 -- Inria - CNRS - Paris-Saclay University *) +(* Copyright 2010-2023 -- Inria - CNRS - Paris-Saclay University *) (* *) (* This software is distributed under the terms of the GNU Lesser *) (* General Public License version 2.1, with the special exception *) diff --git a/src/reduction_engine.mli b/src/reduction_engine.mli index 1d8e3cf3..0668f3e4 100644 --- a/src/reduction_engine.mli +++ b/src/reduction_engine.mli @@ -1,7 +1,7 @@ (********************************************************************) (* *) (* The Why3 Verification Platform / The Why3 Development Team *) -(* Copyright 2010-2022 -- Inria - CNRS - Paris-Saclay University *) +(* Copyright 2010-2023 -- Inria - CNRS - Paris-Saclay University *) (* *) (* This software is distributed under the terms of the GNU Lesser *) (* General Public License version 2.1, with the special exception *) diff --git a/src/saver.ml b/src/saver.ml index 2a7f8e9b..767dda16 100644 --- a/src/saver.ml +++ b/src/saver.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/saver.mli b/src/saver.mli index 489d223b..c7f25e3c 100644 --- a/src/saver.mli +++ b/src/saver.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* 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 8d3d9439..a357e564 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) 2022 *) +(* Copyright (C) 2023 *) (* 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 2978f4fd..2bce53f8 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) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/transformations/nn2smt.ml b/src/transformations/nn2smt.ml index 6c6394ab..cd5b28c7 100644 --- a/src/transformations/nn2smt.ml +++ b/src/transformations/nn2smt.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/transformations/nn2smt.mli b/src/transformations/nn2smt.mli index a667d0f2..6f92b5a3 100644 --- a/src/transformations/nn2smt.mli +++ b/src/transformations/nn2smt.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/transformations/simplify_rel.ml b/src/transformations/simplify_rel.ml index 231676a6..4c1ab436 100644 --- a/src/transformations/simplify_rel.ml +++ b/src/transformations/simplify_rel.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/transformations/simplify_rel.mli b/src/transformations/simplify_rel.mli index 694097b3..6521123f 100644 --- a/src/transformations/simplify_rel.mli +++ b/src/transformations/simplify_rel.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/transformations/split.ml b/src/transformations/split.ml index 84dd760f..c5338da7 100644 --- a/src/transformations/split.ml +++ b/src/transformations/split.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/transformations/split.mli b/src/transformations/split.mli index 6717d02e..9007dd39 100644 --- a/src/transformations/split.mli +++ b/src/transformations/split.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/transformations/utils.ml b/src/transformations/utils.ml index fcb09d67..7d702728 100644 --- a/src/transformations/utils.ml +++ b/src/transformations/utils.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/transformations/utils.mli b/src/transformations/utils.mli index 9a48140a..3c94d06a 100644 --- a/src/transformations/utils.mli +++ b/src/transformations/utils.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/transformations/vars_on_lhs.ml b/src/transformations/vars_on_lhs.ml index 909a4087..684a6612 100644 --- a/src/transformations/vars_on_lhs.ml +++ b/src/transformations/vars_on_lhs.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/transformations/vars_on_lhs.mli b/src/transformations/vars_on_lhs.mli index 694097b3..6521123f 100644 --- a/src/transformations/vars_on_lhs.mli +++ b/src/transformations/vars_on_lhs.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/verification.ml b/src/verification.ml index d2364f15..5b7a808c 100644 --- a/src/verification.ml +++ b/src/verification.ml @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) diff --git a/src/verification.mli b/src/verification.mli index b6da3904..06a39fa8 100644 --- a/src/verification.mli +++ b/src/verification.mli @@ -2,7 +2,7 @@ (* *) (* This file is part of CAISAR. *) (* *) -(* Copyright (C) 2022 *) +(* Copyright (C) 2023 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) -- GitLab