diff --git a/config/caisar-detection-data.conf b/config/caisar-detection-data.conf index 2aeaa83e563a9f2c8dd778b894c566c0eefd7f74..2f8003cb7a20b00c171f1be8a9288ef8c5f9333b 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 ca8f21cd14af98200c9abc6867808ac2833ed8bb..bdab3a584685d1aae5c90f45ca308b3dbc9b9fd4 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 e5a4bed0c0d184c9bfc57fba0b44e449d7c794b6..c9fa458f5c40f6baf644baf02d27d69217916c7e 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 3b14d16a0c57620bd06bbbd438bf7e99d6b37152..dafffbdb02f5a1c91127b7cb5f86a4bbc21345ab 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 4c7633b23ffab651e67c6bf17b968e54cae6d9a7..8e9a17fb6baa6279f48aeea0856786e0aed70af3 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 ecac7d2a42575d57f16d406541c2c3eb458ea597..ec19b024707e2756840eed529c3a8a7b9310a0db 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 1226638487181a2fc1c0c5e128c92a05f800d1c1..59efb8685e49919137b0e56a378fb043ac006e61 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 730f2d938300b3f32a2ec795177a90f3d0f62fa3..f413e3c9249c46c97abf25d0835868b42d025cc8 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 839e7c0b5f1c82667b567460056f96a07571a9b3..5a2ae276cff87f3caf69ebe8cb0349acd27ebfc6 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 f325f33be7f260afb08f47562f2862331806aa94..b16b6f78202bbbdfc00cc945e38db77858e9e900 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 4e834f58f3a3624f86fc629ec71ba1cae45dd7f9..61d58ef6cf393fc23c041171162cdc670e172f5d 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 e0335f768748a7beca3e22c270d77ed736585a1a..ffb3c775a75d87fb174ea4b8bb2f22d91476c690 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 2310835faf57b870f2e33e1930f347d0b47ebef1..e8d102c6ff56397adcd21f8e7d4a07a94aa443dd 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 b8bf217934cea13f715d73e0ebc51e6672ada663..42af2a06f8fa107f73a2f64400815024f2aec16c 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 eb5682f4067b7c9ccbb25ba0dc258a0bb285bcaf..f554517dad789dc8666056def93e0fe356f259f2 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 2b17f869671209689ab3461519462672e92bbbef..e13bfee6c12119595f5900dc36bc7a348968f1e8 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 7f2c0cd384b4560a04ea2d2b3dc1dce2677429fe..110f408694c7539344e33ff8a2a0a1452a5fbcbf 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 0776b88c088676031a640acaedfe2706e65bd924..6b4cae9795197d050d0687c72bea7e1661d6e3ed 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 59dd7c30b47c3f4e5f39eb20e147e098cee62d1c..840c8991b05d63dd7f6b233b07def7e8843f2430 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 1bbce4beac1b90825c9de11755915dc9aa04a9bd..233cf6976cce4f834841097f294e0b93064b39b1 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 fc65e8dc23feeb4641fef306fb760d133976b5cc..cdf9cddc39a83c6bf18bfaef81d5b1df2e122933 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 88451ffa884624653f0f88fc8534401ae0ecdf18..441784e1517f6443dca15305624a248fd6a744bf 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 7a07b8ee35de5d124da9ad5c562c3c9f0280c232..21171da51f3eb0b3aa6a2a6ed7a812435f3be18d 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 f51a3b178e2c9bf1cb805ecb290dda302f91779f..07ec27abcb88c338e9cd61698fa75f93e94722dd 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 411b0da5afd21b78978fcc8caa8432f5b67dc46c..b8ce0a06bd5c55120bbe209c33f66022619f6477 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 3bc69960bba18c708226726b9fcb9b614745fbe2..4bf32804915a345c2216187f58d47f41e3f2efc7 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 540f357fe60835f3f0843ae15cd5cb34c938e3d5..9d70e85ee92d9927e19c861f29731587008e0b01 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 5e54ede75d076da6e4daaf9e07d93496a85411e6..c8373f4ee4c191ed94833313b7405bd91e1d87aa 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 2ca5fc81f96d302babd47812e2882b29df0276ea..72ba33a7063bf6b454438fba74897b3f07cb9c61 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 8b89cfe8bb9c1d042c0a60dcd52ee02e28d3d467..d08696f5d2ce4c2b4d1b1c13cd8e9e1ca3c86653 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 4e4cf93717bfe88eb1bc167e50926ead009fc885..1ad03f6dc56813f3c9b95d240e242f0e488d251d 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 7e0bddfc54774e270951d169e97df4bbee55f67a..f35d6e976de0c4aabde0e131844439ca74a498c6 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 6252724c03c5cc06c5991f8837e27ae85ef02ccd..7804381528b17e3a450ad74b22f309f1e1a3706c 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 9ed36e5b7fd579bab4bd46f7a5ce2e26d359c25c..d08217519e60046954879770d7ed7eb0d5e7e723 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 550cb407f0b64a5eb4bbd9b4f73ffd28aac88a40..14317faee20442d149f7dd018bafb9db2226eeff 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 05ad16db554996d592a0978cbb52b4ea4ff9bf78..930d45d96733928241162cb021fbb6dcca4ed287 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 579255e573ea75eb655c249fd11ca95eaadd6cd2..f1558fba07149d35809bb4a30cf9c5a79676e9de 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 049a3d73c25fc6294bc48229be5148714f920110..7318b5b8a4d2167bba85c17596b7de1ed3ef9d8a 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 315bbc7251b96f6e0d95c1ddff9f30b951da6733..8b03ff2d74b3d06d63f643c83eade57fa0216e64 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 1d69a452b0c6b5b85a2b44f7f6134adb4e8be495..fdd445b4b57006bba20f40e158802a8eec01a564 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 823782a481186b8ed05bad147c565068ef0cc091..5b888e204bb844ab4006f31418c6d3f6bfa6a4c1 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 d39b7fb22b7e94019ac38d7473d769deab46ed32..d80dc5f54910b78d278facfb0e63a50c31a5ff57 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 45680a9b0371b9e94c53afb0ce8be590a607762d..2372b4d1174ea6257ada65ab42b2a18955b5aa8a 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 e0fa3156946e7f63f4c76878db89e6f34a66660a..609e5aae415791e2d26f1d5eaba6288a1d47a130 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 3d9717be700498eaec69960f83488e035d407d0f..6415431d425819147a4debe62b3c423837c0ac4c 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 bb9ee6ec95178f1d989df85d22d35fc1998b5596..0cdbf2c504720e89aac9b4b2b23221c2cb4bb493 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 b993523e327e11a5e418db531f159e647a0829e4..42a049d863443bb4c4d469974b81e287860523b7 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 9ba8d51b83cadd3fb376d257b2694120758e0776..89119d3d82960ed241fcf4cfc43990d760a0aa5d 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 1d8e3cf386ca0a3b56c952460d92997915988553..0668f3e44105a7aeb4985cc98a44cb2fab6f9883 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 2a7f8e9be9bef9156b1baed742b0319fd30a08cd..767dda166fe711ccc51f372fec61cf2868a8dcd5 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 489d223b6706a28b036cbd1f2535bfe7e01d4a40..c7f25e3c118ff630e09cf419f6eb46c48d4b4f30 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 8d3d9439f341d4593c3436ec7022b68806de12c1..a357e564c34762d5390a44229601411cbcce98bc 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 2978f4fd9e12d191801991e334cd121fd8c69530..2bce53f83afce974b1e51a0d5264df5b8169ac44 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 6c6394aba8f464ab274b9982994d16839f2e7b97..cd5b28c7834e8bbaaf763090df193b92195503aa 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 a667d0f21062a6d300bb290565306344233990cb..6f92b5a3a81702912bf462acecc37ece5385ebe3 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 231676a619012c2e15d4a0a7b9b1cb3c64659757..4c1ab436980c0ffd74899d088d209f9c88d7b3b3 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 694097b3b0dcc9bef16af63c6f16994dd897e63e..6521123f56ad5e99247176780076181183ce3f7d 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 84dd760f780d1e091788b8b8626bb716f112a72a..c5338da72da5d5d0d3264ded9671ec3be1c167d1 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 6717d02ec8a367f9c8ecc7083c365f6659fe06fc..9007dd39730ddf98d6401ae86a737d4d5805d913 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 fcb09d678c3eb7a1960ffe54c8034ad40bdcf74e..7d702728500364025cb874275d076d6c599bf70c 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 9a48140ab2b7ff77da6580c6acde8437e9c4787b..3c94d06a393278bc21bfc72649b654851d5e03f1 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 909a40879b7df4ea394bda20e5ca0e0d439242c5..684a6612ba6bd8f23a84f890b40077bd41dadd8a 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 694097b3b0dcc9bef16af63c6f16994dd897e63e..6521123f56ad5e99247176780076181183ce3f7d 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 d2364f158b21a20df56b4841551a4914d45ae978..5b7a808c35423e8fa57972879c4b9901874553cf 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 b6da390487261aa64221d12fbb7f76e7ff9d9f38..06a39fa83af9597bb2a104420b33098f9a5f6566 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) *) (* *)