Update copyright year.

rchen20 · rchen20 · commit 679bb70844b6 · 2023-09-22T13:46:51.000-07:00
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -1,6 +1,6 @@
 #
-# Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-# and Kripke project contributors. See the COPYRIGHT file for details.
+# Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+# and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 # 
 # SPDX-License-Identifier: (BSD-3-Clause)
 #
diff --git a/LICENSE b/LICENSE
@@ -1,6 +1,6 @@
 BSD 3-Clause License
 
-Copyright (c) 2022, Lawrence Livermore National Security, LLC
+Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without
diff --git a/README.md b/README.md
@@ -286,7 +286,7 @@ Links
 Release
 =======
 
-Copyright (c) 2014-22, Lawrence Livermore National Security, LLC.
+Copyright (c) 2014-23, Lawrence Livermore National Security, LLC.
 
 Produced at the Lawrence Livermore National Laboratory.
 
diff --git a/RELEASE b/RELEASE
@@ -2,7 +2,7 @@
 
 Kripke: ................................, version 1.2.6
 
-Copyright (c) 2014-22, Lawrence Livermore National Security, LLC. 
+Copyright (c) 2014-23, Lawrence Livermore National Security, LLC. 
 Produced at the Lawrence Livermore National Laboratory.
 All rights reserved. See details in the LICENSE file.
 
diff --git a/scripts/gitlab/build_and_test.sh b/scripts/gitlab/build_and_test.sh
@@ -2,7 +2,7 @@
 
 #
 # Copyright (c) 2014-19, Lawrence Livermore National Security, LLC
-# and Kripke project contributors. See the COPYRIGHT file for details.
+# and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 # 
 # SPDX-License-Identifier: (BSD-3-Clause)
 #
diff --git a/scripts/uberenv/packages/chai/package.py b/scripts/uberenv/packages/chai/package.py
@@ -1,6 +1,6 @@
 #
 # Copyright (c) 2014-19, Lawrence Livermore National Security, LLC
-# and Kripke project contributors. See the COPYRIGHT file for details.
+# and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 # 
 # SPDX-License-Identifier: (BSD-3-Clause)
 #
diff --git a/scripts/uberenv/packages/kripke/package.py b/scripts/uberenv/packages/kripke/package.py
@@ -1,6 +1,6 @@
 #
 # Copyright (c) 2014-19, Lawrence Livermore National Security, LLC
-# and Kripke project contributors. See the COPYRIGHT file for details.
+# and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 # 
 # SPDX-License-Identifier: (BSD-3-Clause)
 #
diff --git a/scripts/uberenv/packages/raja/package.py b/scripts/uberenv/packages/raja/package.py
@@ -1,6 +1,6 @@
 #
 # Copyright (c) 2014-19, Lawrence Livermore National Security, LLC
-# and Kripke project contributors. See the COPYRIGHT file for details.
+# and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 # 
 # SPDX-License-Identifier: (BSD-3-Clause)
 #
diff --git a/scripts/uberenv/packages/umpire/package.py b/scripts/uberenv/packages/umpire/package.py
@@ -1,6 +1,6 @@
 #
 # Copyright (c) 2014-19, Lawrence Livermore National Security, LLC
-# and Kripke project contributors. See the COPYRIGHT file for details.
+# and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 # 
 # SPDX-License-Identifier: (BSD-3-Clause)
 #
diff --git a/src/Kripke.h b/src/Kripke.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Arch/LPlusTimes.h b/src/Kripke/Arch/LPlusTimes.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Arch/LTimes.h b/src/Kripke/Arch/LTimes.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Arch/Population.h b/src/Kripke/Arch/Population.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Arch/Scattering.h b/src/Kripke/Arch/Scattering.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Arch/Source.h b/src/Kripke/Arch/Source.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Arch/SweepSubdomains.h b/src/Kripke/Arch/SweepSubdomains.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/ArchLayout.h b/src/Kripke/ArchLayout.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Core/BaseVar.cpp b/src/Kripke/Core/BaseVar.cpp
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Core/BaseVar.h b/src/Kripke/Core/BaseVar.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Core/Comm.h b/src/Kripke/Core/Comm.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Core/DataStore.cpp b/src/Kripke/Core/DataStore.cpp
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Core/DataStore.h b/src/Kripke/Core/DataStore.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Core/DomainVar.cpp b/src/Kripke/Core/DomainVar.cpp
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Core/DomainVar.h b/src/Kripke/Core/DomainVar.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Core/Field.h b/src/Kripke/Core/Field.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Core/PartitionSpace.cpp b/src/Kripke/Core/PartitionSpace.cpp
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Core/PartitionSpace.h b/src/Kripke/Core/PartitionSpace.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Core/Set.cpp b/src/Kripke/Core/Set.cpp
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Core/Set.h b/src/Kripke/Core/Set.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Core/VarLayout.h b/src/Kripke/Core/VarLayout.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Generate.cpp b/src/Kripke/Generate.cpp
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Generate.h b/src/Kripke/Generate.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Generate/Data.cpp b/src/Kripke/Generate/Data.cpp
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Generate/Decomp.cpp b/src/Kripke/Generate/Decomp.cpp
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Generate/Energy.cpp b/src/Kripke/Generate/Energy.cpp
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Generate/Quadrature.cpp b/src/Kripke/Generate/Quadrature.cpp
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Generate/Space.cpp b/src/Kripke/Generate/Space.cpp
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/InputVariables.cpp b/src/Kripke/InputVariables.cpp
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/InputVariables.h b/src/Kripke/InputVariables.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Kernel.h b/src/Kripke/Kernel.h
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Kernel/LPlusTimes.cpp b/src/Kripke/Kernel/LPlusTimes.cpp
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Kernel/LTimes.cpp b/src/Kripke/Kernel/LTimes.cpp
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Kernel/Population.cpp b/src/Kripke/Kernel/Population.cpp
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Kernel/Scattering.cpp b/src/Kripke/Kernel/Scattering.cpp
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Kernel/Source.cpp b/src/Kripke/Kernel/Source.cpp
@@ -1,6 +1,6 @@
 //
-// Copyright (c) 2014-22, Lawrence Livermore National Security, LLC
-// and Kripke project contributors. See the COPYRIGHT file for details.
+// Copyright (c) 2014-23, Lawrence Livermore National Security, LLC
+// and Kripke project contributors. See the Kripke/COPYRIGHT file for details.
 //
 // SPDX-License-Identifier: (BSD-3-Clause)
 //
diff --git a/src/Kripke/Kernel/SweepSubdomain.cpp b/src/Kripke/Kernel/SweepSubdomain.cpp
diff --git a/src/Kripke/ParallelComm.cpp b/src/Kripke/ParallelComm.cpp
diff --git a/src/Kripke/ParallelComm.h b/src/Kripke/ParallelComm.h
diff --git a/src/Kripke/ParallelComm/BlockJacobiComm.cpp b/src/Kripke/ParallelComm/BlockJacobiComm.cpp
diff --git a/src/Kripke/ParallelComm/SweepComm.cpp b/src/Kripke/ParallelComm/SweepComm.cpp
diff --git a/src/Kripke/SteadyStateSolver.cpp b/src/Kripke/SteadyStateSolver.cpp
diff --git a/src/Kripke/SteadyStateSolver.h b/src/Kripke/SteadyStateSolver.h
diff --git a/src/Kripke/SweepSolver.cpp b/src/Kripke/SweepSolver.cpp
diff --git a/src/Kripke/SweepSolver.h b/src/Kripke/SweepSolver.h
diff --git a/src/Kripke/Timing.cpp b/src/Kripke/Timing.cpp
diff --git a/src/Kripke/Timing.h b/src/Kripke/Timing.h
diff --git a/src/Kripke/VarTypes.h b/src/Kripke/VarTypes.h
diff --git a/src/kripke.cpp b/src/kripke.cpp

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`#`
`2`		`-# Copyright (c) 2014-22, Lawrence Livermore National Security, LLC`
`3`		`-# and Kripke project contributors. See the COPYRIGHT file for details.`
	`2`	`+# Copyright (c) 2014-23, Lawrence Livermore National Security, LLC`
	`3`	`+# and Kripke project contributors. See the Kripke/COPYRIGHT file for details.`
`4`	`4`	`#`
`5`	`5`	`# SPDX-License-Identifier: (BSD-3-Clause)`
`6`	`6`	`#`
Original file line number	Diff line number	Diff line change
`@@ -2,7 +2,7 @@`
`2`	`2`
`3`	`3`	`#`
`4`	`4`	`# Copyright (c) 2014-19, Lawrence Livermore National Security, LLC`
`5`		`-# and Kripke project contributors. See the COPYRIGHT file for details.`
	`5`	`+# and Kripke project contributors. See the Kripke/COPYRIGHT file for details.`
`6`	`6`	`#`
`7`	`7`	`# SPDX-License-Identifier: (BSD-3-Clause)`
`8`	`8`	`#`