Merge pull request #81 from com-github-javabdd/80-update-to-copyright-year-2025

dhendriks · web-flow · commit 6842a693a735 · 2025-08-09T18:41:39.000+02:00
#80 Update copyright year to 2025.
diff --git a/.checkstyle b/.checkstyle
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 
 <!--
-Copyright (c) 2021-2024 John Whaley and com.github.javabdd contributors
+Copyright (c) 2021-2025 John Whaley and com.github.javabdd contributors
 
 See the CONTRIBUTORS file(s) distributed with this work for additional
 information regarding copyright ownership.
diff --git a/.gitattributes b/.gitattributes
@@ -1,5 +1,5 @@
 ##############################################################################
-# Copyright (c) 2020-2024 John Whaley and com.github.javabdd contributors
+# Copyright (c) 2020-2025 John Whaley and com.github.javabdd contributors
 #
 # See the CONTRIBUTORS file(s) distributed with this work for additional
 # information regarding copyright ownership.
diff --git a/.gitignore b/.gitignore
@@ -1,5 +1,5 @@
 ##############################################################################
-# Copyright (c) 2020-2024 John Whaley and com.github.javabdd contributors
+# Copyright (c) 2020-2025 John Whaley and com.github.javabdd contributors
 #
 # See the CONTRIBUTORS file(s) distributed with this work for additional
 # information regarding copyright ownership.
diff --git a/pom.xml b/pom.xml
@@ -1,5 +1,5 @@
 <!--
-Copyright (c) 2020-2024 John Whaley and com.github.javabdd contributors
+Copyright (c) 2020-2025 John Whaley and com.github.javabdd contributors
 
 See the CONTRIBUTORS file(s) distributed with this work for additional
 information regarding copyright ownership.
diff --git a/release-perform b/release-perform
@@ -1,7 +1,7 @@
 #!/usr/bin/bash
 
 ##############################################################################
-# Copyright (c) 2020-2024 John Whaley and com.github.javabdd contributors
+# Copyright (c) 2020-2025 John Whaley and com.github.javabdd contributors
 #
 # See the CONTRIBUTORS file(s) distributed with this work for additional
 # information regarding copyright ownership.
diff --git a/release-prepare b/release-prepare
@@ -1,7 +1,7 @@
 #!/usr/bin/bash
 
 ##############################################################################
-# Copyright (c) 2020-2024 John Whaley and com.github.javabdd contributors
+# Copyright (c) 2020-2025 John Whaley and com.github.javabdd contributors
 #
 # See the CONTRIBUTORS file(s) distributed with this work for additional
 # information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/BDD.java b/src/main/java/com/github/javabdd/BDD.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2003-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2003-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/BDDBitVector.java b/src/main/java/com/github/javabdd/BDDBitVector.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2003-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2003-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/BDDDomain.java b/src/main/java/com/github/javabdd/BDDDomain.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2003-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2003-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/BDDException.java b/src/main/java/com/github/javabdd/BDDException.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2003-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2003-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/BDDFactory.java b/src/main/java/com/github/javabdd/BDDFactory.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2003-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2003-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/BDDFactoryIntImpl.java b/src/main/java/com/github/javabdd/BDDFactoryIntImpl.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2004-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2004-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/BDDPairing.java b/src/main/java/com/github/javabdd/BDDPairing.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2003-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2003-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/BDDVarSet.java b/src/main/java/com/github/javabdd/BDDVarSet.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2004-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2004-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/BitString.java b/src/main/java/com/github/javabdd/BitString.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2001-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2001-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/FindBestOrder.java b/src/main/java/com/github/javabdd/FindBestOrder.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2004-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2004-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/JFactory.java b/src/main/java/com/github/javabdd/JFactory.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2003-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2003-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.
diff --git a/src/main/java/com/github/javabdd/TryVarOrder.java b/src/main/java/com/github/javabdd/TryVarOrder.java
@@ -1,5 +1,5 @@
 //////////////////////////////////////////////////////////////////////////////
-// Copyright (c) 2004-2024 John Whaley and com.github.javabdd contributors
+// Copyright (c) 2004-2025 John Whaley and com.github.javabdd contributors
 //
 // See the CONTRIBUTORS file(s) distributed with this work for additional
 // information regarding copyright ownership.

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`##############################################################################`
`2`		`-# Copyright (c) 2020-2024 John Whaley and com.github.javabdd contributors`
	`2`	`+# Copyright (c) 2020-2025 John Whaley and com.github.javabdd contributors`
`3`	`3`	`#`
`4`	`4`	`# See the CONTRIBUTORS file(s) distributed with this work for additional`
`5`	`5`	`# information regarding copyright ownership.`
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`#!/usr/bin/bash`
`2`	`2`
`3`	`3`	`##############################################################################`
`4`		`-# Copyright (c) 2020-2024 John Whaley and com.github.javabdd contributors`
	`4`	`+# Copyright (c) 2020-2025 John Whaley and com.github.javabdd contributors`
`5`	`5`	`#`
`6`	`6`	`# See the CONTRIBUTORS file(s) distributed with this work for additional`
`7`	`7`	`# information regarding copyright ownership.`