Updated copyright years.

robby-phd · robby-phd · commit 0b385d7c44be · 2025-01-08T11:29:47.000-06:00
diff --git a/LICENSE.md b/LICENSE.md
@@ -1,4 +1,4 @@
-Copyright (c) 2017-2024, Robby, Kansas State University
+Copyright (c) 2017-2025, Robby, Kansas State University
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without
diff --git a/jvm/src/main/scala/org/sireum/logika/NoTransitionSmt2Cache.scala b/jvm/src/main/scala/org/sireum/logika/NoTransitionSmt2Cache.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/jvm/src/main/scala/org/sireum/logika/NoTransitionSmt2Cache_Ext.scala b/jvm/src/main/scala/org/sireum/logika/NoTransitionSmt2Cache_Ext.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/jvm/src/main/scala/org/sireum/logika/Smt2Formatter.scala b/jvm/src/main/scala/org/sireum/logika/Smt2Formatter.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/jvm/src/main/scala/org/sireum/logika/Smt2Formatter_Ext.scala b/jvm/src/main/scala/org/sireum/logika/Smt2Formatter_Ext.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/jvm/src/main/scala/org/sireum/logika/Smt2Impl.scala b/jvm/src/main/scala/org/sireum/logika/Smt2Impl.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/jvm/src/main/scala/org/sireum/logika/Smt2Invoke.scala b/jvm/src/main/scala/org/sireum/logika/Smt2Invoke.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/jvm/src/test/scala/org/sireum/logika/LogikaRcTest.scala b/jvm/src/test/scala/org/sireum/logika/LogikaRcTest.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/jvm/src/test/scala/org/sireum/logika/LogikaTest.scala b/jvm/src/test/scala/org/sireum/logika/LogikaTest.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/jvm/src/test/scala/org/sireum/logika/LogikaTruthTableRcTest.scala b/jvm/src/test/scala/org/sireum/logika/LogikaTruthTableRcTest.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/Config.scala b/shared/src/main/scala/org/sireum/logika/Config.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/Context.scala b/shared/src/main/scala/org/sireum/logika/Context.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/Logika.scala b/shared/src/main/scala/org/sireum/logika/Logika.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/MStateTransformer.scala b/shared/src/main/scala/org/sireum/logika/MStateTransformer.scala
@@ -2,7 +2,7 @@
 // @formatter:off
 
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/ReporterImpl.scala b/shared/src/main/scala/org/sireum/logika/ReporterImpl.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/RewritingSystem.scala b/shared/src/main/scala/org/sireum/logika/RewritingSystem.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/Smt2.scala b/shared/src/main/scala/org/sireum/logika/Smt2.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/Smt2Query.scala b/shared/src/main/scala/org/sireum/logika/Smt2Query.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/State.scala b/shared/src/main/scala/org/sireum/logika/State.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/StateTransformer.scala b/shared/src/main/scala/org/sireum/logika/StateTransformer.scala
@@ -2,7 +2,7 @@
 // @formatter:off
 
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/StepProofContext.scala b/shared/src/main/scala/org/sireum/logika/StepProofContext.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/Task.scala b/shared/src/main/scala/org/sireum/logika/Task.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/Util.scala b/shared/src/main/scala/org/sireum/logika/Util.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/cli.scala b/shared/src/main/scala/org/sireum/logika/cli.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/options/OptionsCli.scala b/shared/src/main/scala/org/sireum/logika/options/OptionsCli.scala
@@ -2,7 +2,7 @@
 // @formatter:off
 
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/options/OptionsUtil.scala b/shared/src/main/scala/org/sireum/logika/options/OptionsUtil.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  ∀ rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/options/options.sc b/shared/src/main/scala/org/sireum/logika/options/options.sc
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/plugin/AdmitPlugin.scala b/shared/src/main/scala/org/sireum/logika/plugin/AdmitPlugin.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Ryan Peroutka, Galois, Inc.
+ Copyright (c) 2017-2025, Ryan Peroutka, Galois, Inc.
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/plugin/AutoPlugin.scala b/shared/src/main/scala/org/sireum/logika/plugin/AutoPlugin.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/plugin/ClaimOfPlugin.scala b/shared/src/main/scala/org/sireum/logika/plugin/ClaimOfPlugin.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/plugin/FoldUnfoldPlugin.scala b/shared/src/main/scala/org/sireum/logika/plugin/FoldUnfoldPlugin.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/plugin/InceptionPlugin.scala b/shared/src/main/scala/org/sireum/logika/plugin/InceptionPlugin.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/plugin/LiftPlugin.scala b/shared/src/main/scala/org/sireum/logika/plugin/LiftPlugin.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/plugin/Plugin.scala b/shared/src/main/scala/org/sireum/logika/plugin/Plugin.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/plugin/PredNatDedPlugin.scala b/shared/src/main/scala/org/sireum/logika/plugin/PredNatDedPlugin.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/plugin/PropNatDedPlugin.scala b/shared/src/main/scala/org/sireum/logika/plugin/PropNatDedPlugin.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/plugin/RewritePlugin.scala b/shared/src/main/scala/org/sireum/logika/plugin/RewritePlugin.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Ryan Peroutka, Galois, Inc.
+ Copyright (c) 2017-2025, Ryan Peroutka, Galois, Inc.
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/plugin/SameDiffPlugin.scala b/shared/src/main/scala/org/sireum/logika/plugin/SameDiffPlugin.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/plugin/Smt2Plugin.scala b/shared/src/main/scala/org/sireum/logika/plugin/Smt2Plugin.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/plugin/SubstitutionPlugin.scala b/shared/src/main/scala/org/sireum/logika/plugin/SubstitutionPlugin.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Ryan Peroutka, Galois, Inc.
+ Copyright (c) 2017-2025, Ryan Peroutka, Galois, Inc.
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/shared/src/main/scala/org/sireum/logika/plugin/ValIntroElimPlugin.scala b/shared/src/main/scala/org/sireum/logika/plugin/ValIntroElimPlugin.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2024, Robby, Kansas State University
+ Copyright (c) 2017-2025, Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
