Skip to content

Commit

Permalink
Bump copyright years (#246).
Browse files Browse the repository at this point in the history 
The copyright years of IKOS only go up to 2019.

This commit bumps the upper bound of the Copyright years in all the copyright
notices for all files modified since IKOS 3.1 was released.
  • Loading branch information
@ivanperez-keera
ivanperez-keera committed Dec 14, 2023
1 parent 5cc2353 commit c669c87
Show file tree
Hide file tree
Showing 20 changed files with 20 additions and 20 deletions.
2 changes: 1 addition & 1 deletion analyzer/CMakeLists.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
#
Expand Down
2 changes: 1 addition & 1 deletion analyzer/python/ikos/highlight.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
#
Expand Down
2 changes: 1 addition & 1 deletion analyzer/python/ikos/http.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
#
Expand Down
2 changes: 1 addition & 1 deletion analyzer/python/ikos/output_db.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
#
Expand Down
2 changes: 1 addition & 1 deletion analyzer/python/ikos/report.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
#
Expand Down
2 changes: 1 addition & 1 deletion analyzer/python/ikos/scan.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
#
Expand Down
2 changes: 1 addition & 1 deletion analyzer/python/ikos/view.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
#
Expand Down
2 changes: 1 addition & 1 deletion analyzer/python/setup.py.in
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
#
Expand Down
2 changes: 1 addition & 1 deletion analyzer/script/ikos-config.py.in
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
#
Expand Down
2 changes: 1 addition & 1 deletion analyzer/script/ikos-report.py.in
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
#
Expand Down
2 changes: 1 addition & 1 deletion analyzer/script/ikos-scan-c++.py.in
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
#
Expand Down
2 changes: 1 addition & 1 deletion analyzer/script/ikos-scan-cc.py.in
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
#
Expand Down
2 changes: 1 addition & 1 deletion analyzer/script/ikos-scan-extract.py.in
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
#
Expand Down
2 changes: 1 addition & 1 deletion analyzer/script/ikos-scan.py.in
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
#
Expand Down
2 changes: 1 addition & 1 deletion analyzer/script/ikos-view.py.in
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
#
Expand Down
2 changes: 1 addition & 1 deletion analyzer/script/ikos.py.in
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
#
Expand Down
2 changes: 1 addition & 1 deletion ar/include/ikos/ar/semantic/data_layout.hpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
*
Expand Down
2 changes: 1 addition & 1 deletion ar/src/pass/add_partitioning_variables.cpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
*
Expand Down
2 changes: 1 addition & 1 deletion cmake/FindSQLite3.cmake
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
#
Expand Down
2 changes: 1 addition & 1 deletion script/bootstrap
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
#
Expand Down

0 comments on commit c669c87

Please sign in to comment.