Merge branch 'dev-copyright-years'. Close #246.

NASA-SW-VnV · Dec 14, 2023 · 415edf6 · 415edf6
2 parents 5cc2353 + c669c87
commit 415edf6
Show file tree

Hide file tree

Showing 20 changed files with 20 additions and 20 deletions.
diff --git a/analyzer/CMakeLists.txt b/analyzer/CMakeLists.txt
@@ -6,7 +6,7 @@
 #
 # Notices:
 #
-# Copyright (c) 2011-2019 United States Government as represented by the
+# Copyright (c) 2011-2023 United States Government as represented by the
 # Administrator of the National Aeronautics and Space Administration.
 # All Rights Reserved.
 #

diff --git a/analyzer/python/ikos/highlight.py b/analyzer/python/ikos/highlight.py
@@ -8,7 +8,7 @@
 #
 # Notices:
 #
-# Copyright (c) 2018-2019 United States Government as represented by the
+# Copyright (c) 2018-2023 United States Government as represented by the
 # Administrator of the National Aeronautics and Space Administration.
 # All Rights Reserved.
 #

diff --git a/analyzer/python/ikos/http.py b/analyzer/python/ikos/http.py
@@ -8,7 +8,7 @@
 #
 # Notices:
 #
-# Copyright (c) 2018-2019 United States Government as represented by the
+# Copyright (c) 2018-2023 United States Government as represented by the
 # Administrator of the National Aeronautics and Space Administration.
 # All Rights Reserved.
 #

diff --git a/analyzer/python/ikos/output_db.py b/analyzer/python/ikos/output_db.py
@@ -8,7 +8,7 @@
 #
 # Notices:
 #
-# Copyright (c) 2018-2019 United States Government as represented by the
+# Copyright (c) 2018-2023 United States Government as represented by the
 # Administrator of the National Aeronautics and Space Administration.
 # All Rights Reserved.
 #

diff --git a/analyzer/python/ikos/report.py b/analyzer/python/ikos/report.py
@@ -8,7 +8,7 @@
 #
 # Notices:
 #
-# Copyright (c) 2011-2019 United States Government as represented by the
+# Copyright (c) 2011-2023 United States Government as represented by the
 # Administrator of the National Aeronautics and Space Administration.
 # All Rights Reserved.
 #

diff --git a/analyzer/python/ikos/scan.py b/analyzer/python/ikos/scan.py
@@ -8,7 +8,7 @@
 #
 # Notices:
 #
-# Copyright (c) 2018-2019 United States Government as represented by the
+# Copyright (c) 2018-2023 United States Government as represented by the
 # Administrator of the National Aeronautics and Space Administration.
 # All Rights Reserved.
 #

diff --git a/analyzer/python/ikos/view.py b/analyzer/python/ikos/view.py
@@ -10,7 +10,7 @@
 #
 # Notices:
 #
-# Copyright (c) 2018-2019 United States Government as represented by the
+# Copyright (c) 2018-2023 United States Government as represented by the
 # Administrator of the National Aeronautics and Space Administration.
 # All Rights Reserved.
 #

diff --git a/analyzer/python/setup.py.in b/analyzer/python/setup.py.in
@@ -8,7 +8,7 @@
 #
 # Notices:
 #
-# Copyright (c) 2017-2019 United States Government as represented by the
+# Copyright (c) 2017-2023 United States Government as represented by the
 # Administrator of the National Aeronautics and Space Administration.
 # All Rights Reserved.
 #

diff --git a/analyzer/script/ikos-config.py.in b/analyzer/script/ikos-config.py.in
@@ -9,7 +9,7 @@
 #
 # Notices:
 #
-# Copyright (c) 2017-2019 United States Government as represented by the
+# Copyright (c) 2017-2023 United States Government as represented by the
 # Administrator of the National Aeronautics and Space Administration.
 # All Rights Reserved.
 #

diff --git a/analyzer/script/ikos-report.py.in b/analyzer/script/ikos-report.py.in
@@ -9,7 +9,7 @@
 #
 # Notices:
 #
-# Copyright (c) 2011-2019 United States Government as represented by the
+# Copyright (c) 2011-2023 United States Government as represented by the
 # Administrator of the National Aeronautics and Space Administration.
 # All Rights Reserved.
 #

diff --git a/analyzer/script/ikos-scan-c++.py.in b/analyzer/script/ikos-scan-c++.py.in
@@ -9,7 +9,7 @@
 #
 # Notices:
 #
-# Copyright (c) 2018-2019 United States Government as represented by the
+# Copyright (c) 2018-2023 United States Government as represented by the
 # Administrator of the National Aeronautics and Space Administration.
 # All Rights Reserved.
 #

diff --git a/analyzer/script/ikos-scan-cc.py.in b/analyzer/script/ikos-scan-cc.py.in
@@ -9,7 +9,7 @@
 #
 # Notices:
 #
-# Copyright (c) 2018-2019 United States Government as represented by the
+# Copyright (c) 2018-2023 United States Government as represented by the
 # Administrator of the National Aeronautics and Space Administration.
 # All Rights Reserved.
 #

diff --git a/analyzer/script/ikos-scan-extract.py.in b/analyzer/script/ikos-scan-extract.py.in
@@ -9,7 +9,7 @@
 #
 # Notices:
 #
-# Copyright (c) 2019 United States Government as represented by the
+# Copyright (c) 2019-2023 United States Government as represented by the
 # Administrator of the National Aeronautics and Space Administration.
 # All Rights Reserved.
 #

diff --git a/analyzer/script/ikos-scan.py.in b/analyzer/script/ikos-scan.py.in
@@ -9,7 +9,7 @@
 #
 # Notices:
 #
-# Copyright (c) 2018-2019 United States Government as represented by the
+# Copyright (c) 2018-2023 United States Government as represented by the
 # Administrator of the National Aeronautics and Space Administration.
 # All Rights Reserved.
 #

diff --git a/analyzer/script/ikos-view.py.in b/analyzer/script/ikos-view.py.in
@@ -9,7 +9,7 @@
 #
 # Notices:
 #
-# Copyright (c) 2018-2019 United States Government as represented by the
+# Copyright (c) 2018-2023 United States Government as represented by the
 # Administrator of the National Aeronautics and Space Administration.
 # All Rights Reserved.
 #

diff --git a/analyzer/script/ikos.py.in b/analyzer/script/ikos.py.in
@@ -9,7 +9,7 @@
 #
 # Notices:
 #
-# Copyright (c) 2011-2019 United States Government as represented by the
+# Copyright (c) 2011-2023 United States Government as represented by the
 # Administrator of the National Aeronautics and Space Administration.
 # All Rights Reserved.
 #

diff --git a/ar/include/ikos/ar/semantic/data_layout.hpp b/ar/include/ikos/ar/semantic/data_layout.hpp
@@ -11,7 +11,7 @@
  *
  * Notices:
  *
- * Copyright (c) 2017-2019 United States Government as represented by the
+ * Copyright (c) 2017-2023 United States Government as represented by the
  * Administrator of the National Aeronautics and Space Administration.
  * All Rights Reserved.
  *

diff --git a/ar/src/pass/add_partitioning_variables.cpp b/ar/src/pass/add_partitioning_variables.cpp
@@ -13,7 +13,7 @@
  *
  * Notices:
  *
- * Copyright (c) 2019 United States Government as represented by the
+ * Copyright (c) 2019-2023 United States Government as represented by the
  * Administrator of the National Aeronautics and Space Administration.
  * All Rights Reserved.
  *

diff --git a/cmake/FindSQLite3.cmake b/cmake/FindSQLite3.cmake
@@ -8,7 +8,7 @@
 #
 # Notices:
 #
-# Copyright (c) 2018-2019 United States Government as represented by the
+# Copyright (c) 2018-2023 United States Government as represented by the
 # Administrator of the National Aeronautics and Space Administration.
 # All Rights Reserved.
 #

diff --git a/script/bootstrap b/script/bootstrap
@@ -10,7 +10,7 @@
 #
 # Notices:
 #
-# Copyright (c) 2011-2019 United States Government as represented by the
+# Copyright (c) 2011-2023 United States Government as represented by the
 # Administrator of the National Aeronautics and Space Administration.
 # All Rights Reserved.
 #