Updated copyright years.

robby-phd · robby-phd · commit 3dcae341dc44 · 2026-02-02T08:01:23.000-06:00
diff --git a/ast/shared/src/main/scala/org/sireum/lang/ast/AST.scala b/ast/shared/src/main/scala/org/sireum/lang/ast/AST.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/ast/shared/src/main/scala/org/sireum/lang/ast/CoreExp.scala b/ast/shared/src/main/scala/org/sireum/lang/ast/CoreExp.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/ast/shared/src/main/scala/org/sireum/lang/ast/CoreExpTransformer.scala b/ast/shared/src/main/scala/org/sireum/lang/ast/CoreExpTransformer.scala
@@ -2,7 +2,7 @@
 // @formatter:off
 
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/ast/shared/src/main/scala/org/sireum/lang/ast/IR.scala b/ast/shared/src/main/scala/org/sireum/lang/ast/IR.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/ast/shared/src/main/scala/org/sireum/lang/ast/IRTransformer.scala b/ast/shared/src/main/scala/org/sireum/lang/ast/IRTransformer.scala
@@ -2,7 +2,7 @@
 // @formatter:off
 
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/ast/shared/src/main/scala/org/sireum/lang/ast/MCoreExpTransformer.scala b/ast/shared/src/main/scala/org/sireum/lang/ast/MCoreExpTransformer.scala
@@ -2,7 +2,7 @@
 // @formatter:off
 
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/ast/shared/src/main/scala/org/sireum/lang/ast/MIRTransformer.scala b/ast/shared/src/main/scala/org/sireum/lang/ast/MIRTransformer.scala
@@ -2,7 +2,7 @@
 // @formatter:off
 
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/ast/shared/src/main/scala/org/sireum/lang/ast/MTransformer.scala b/ast/shared/src/main/scala/org/sireum/lang/ast/MTransformer.scala
@@ -2,7 +2,7 @@
 // @formatter:off
 
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/ast/shared/src/main/scala/org/sireum/lang/ast/SlangLl2PrettyPrinter.scala b/ast/shared/src/main/scala/org/sireum/lang/ast/SlangLl2PrettyPrinter.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/ast/shared/src/main/scala/org/sireum/lang/ast/Transformer.scala b/ast/shared/src/main/scala/org/sireum/lang/ast/Transformer.scala
@@ -2,7 +2,7 @@
 // @formatter:off
 
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/ast/shared/src/main/scala/org/sireum/lang/ast/Typed.scala b/ast/shared/src/main/scala/org/sireum/lang/ast/Typed.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/ast/shared/src/main/scala/org/sireum/lang/ast/Util.scala b/ast/shared/src/main/scala/org/sireum/lang/ast/Util.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/eval/jvm/src/test/scala/org/sireum/lang/eval/EvaluatorTest.scala b/eval/jvm/src/test/scala/org/sireum/lang/eval/EvaluatorTest.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/eval/shared/src/main/scala/org/sireum/lang/eval/Evaluator.scala b/eval/shared/src/main/scala/org/sireum/lang/eval/Evaluator.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/eval/shared/src/main/scala/org/sireum/lang/eval/State.scala b/eval/shared/src/main/scala/org/sireum/lang/eval/State.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/eval/shared/src/main/scala/org/sireum/lang/eval/Util.scala b/eval/shared/src/main/scala/org/sireum/lang/eval/Util.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/eval/shared/src/main/scala/org/sireum/lang/eval/Util_Ext.scala b/eval/shared/src/main/scala/org/sireum/lang/eval/Util_Ext.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/frontend/shared/src/main/scala/org/sireum/lang/$SlangFiles.scala b/frontend/shared/src/main/scala/org/sireum/lang/$SlangFiles.scala
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2017-2025, Robby, Kansas State University
+ * Copyright (c) 2017-2026,Robby, Kansas State University
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
diff --git a/frontend/shared/src/main/scala/org/sireum/lang/CoreExpTranslator.scala b/frontend/shared/src/main/scala/org/sireum/lang/CoreExpTranslator.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/frontend/shared/src/main/scala/org/sireum/lang/FrontEnd.scala b/frontend/shared/src/main/scala/org/sireum/lang/FrontEnd.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/frontend/shared/src/main/scala/org/sireum/lang/IRTranslator.scala b/frontend/shared/src/main/scala/org/sireum/lang/IRTranslator.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/frontend/shared/src/main/scala/org/sireum/lang/IRTranslatorFreshAtomic.scala b/frontend/shared/src/main/scala/org/sireum/lang/IRTranslatorFreshAtomic.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/frontend/shared/src/main/scala/org/sireum/lang/cli.scala b/frontend/shared/src/main/scala/org/sireum/lang/cli.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/frontend/shared/src/test/scala/org/sireum/lang/LibraryTypeCheckingTest.scala b/frontend/shared/src/test/scala/org/sireum/lang/LibraryTypeCheckingTest.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/frontend/shared/src/test/scala/org/sireum/lang/SlangCodebaseTest.scala b/frontend/shared/src/test/scala/org/sireum/lang/SlangCodebaseTest.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/frontend/shared/src/test/scala/org/sireum/lang/SlangFrontEndRcTest.scala b/frontend/shared/src/test/scala/org/sireum/lang/SlangFrontEndRcTest.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/frontend/shared/src/test/scala/org/sireum/lang/SlangFrontEndTest.scala b/frontend/shared/src/test/scala/org/sireum/lang/SlangFrontEndTest.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/frontend/shared/src/test/scala/org/sireum/lang/TypeCheckerTest.scala b/frontend/shared/src/test/scala/org/sireum/lang/TypeCheckerTest.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/parser/jvm/src/main/scala/org/sireum/lang/parser/SlangLl2ParserUtil.scala b/parser/jvm/src/main/scala/org/sireum/lang/parser/SlangLl2ParserUtil.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/parser/jvm/src/test/scala/org/sireum/lang/parser/SlangLl2ParserTest.scala b/parser/jvm/src/test/scala/org/sireum/lang/parser/SlangLl2ParserTest.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/parser/shared/src/main/resources/SlangLl2.g b/parser/shared/src/main/resources/SlangLl2.g
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/parser/shared/src/main/resources/SlangLl2.g4 b/parser/shared/src/main/resources/SlangLl2.g4
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/parser/shared/src/main/resources/SlangTruthTable.g b/parser/shared/src/main/resources/SlangTruthTable.g
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/parser/shared/src/main/scala/org/sireum/lang/parser/Enclosing.scala b/parser/shared/src/main/scala/org/sireum/lang/parser/Enclosing.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/parser/shared/src/main/scala/org/sireum/lang/parser/Parser.scala b/parser/shared/src/main/scala/org/sireum/lang/parser/Parser.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/parser/shared/src/main/scala/org/sireum/lang/parser/Parser_Ext.scala b/parser/shared/src/main/scala/org/sireum/lang/parser/Parser_Ext.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/parser/shared/src/main/scala/org/sireum/lang/parser/SlangParser.scala b/parser/shared/src/main/scala/org/sireum/lang/parser/SlangParser.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/parser/shared/src/main/scala/org/sireum/lang/parser/SlangTruthTableLl1Parser.scala b/parser/shared/src/main/scala/org/sireum/lang/parser/SlangTruthTableLl1Parser.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/parser/shared/src/main/scala/org/sireum/lang/parser/SlangTruthTableParser.scala b/parser/shared/src/main/scala/org/sireum/lang/parser/SlangTruthTableParser.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/parser/shared/src/main/scala/scala/meta/InputUtil.scala b/parser/shared/src/main/scala/scala/meta/InputUtil.scala
@@ -1,5 +1,5 @@
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/tipe/shared/src/main/scala/org/sireum/lang/symbol/GlobalDeclarationResolver.scala b/tipe/shared/src/main/scala/org/sireum/lang/symbol/GlobalDeclarationResolver.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/tipe/shared/src/main/scala/org/sireum/lang/symbol/Info.scala b/tipe/shared/src/main/scala/org/sireum/lang/symbol/Info.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/tipe/shared/src/main/scala/org/sireum/lang/symbol/Resolver.scala b/tipe/shared/src/main/scala/org/sireum/lang/symbol/Resolver.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/tipe/shared/src/main/scala/org/sireum/lang/symbol/SequentResolver.scala b/tipe/shared/src/main/scala/org/sireum/lang/symbol/SequentResolver.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/tipe/shared/src/main/scala/org/sireum/lang/tipe/CustomMessagePack.scala b/tipe/shared/src/main/scala/org/sireum/lang/tipe/CustomMessagePack.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/tipe/shared/src/main/scala/org/sireum/lang/tipe/JSON.scala b/tipe/shared/src/main/scala/org/sireum/lang/tipe/JSON.scala
@@ -2,7 +2,7 @@
 // @formatter:off
 
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/tipe/shared/src/main/scala/org/sireum/lang/tipe/MsgPack.scala b/tipe/shared/src/main/scala/org/sireum/lang/tipe/MsgPack.scala
@@ -2,7 +2,7 @@
 // @formatter:off
 
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/tipe/shared/src/main/scala/org/sireum/lang/tipe/PostTipeAttrChecker.scala b/tipe/shared/src/main/scala/org/sireum/lang/tipe/PostTipeAttrChecker.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/tipe/shared/src/main/scala/org/sireum/lang/tipe/TypeChecker.scala b/tipe/shared/src/main/scala/org/sireum/lang/tipe/TypeChecker.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/tipe/shared/src/main/scala/org/sireum/lang/tipe/TypeHierarchy.scala b/tipe/shared/src/main/scala/org/sireum/lang/tipe/TypeHierarchy.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
diff --git a/tipe/shared/src/main/scala/org/sireum/lang/tipe/TypeOutliner.scala b/tipe/shared/src/main/scala/org/sireum/lang/tipe/TypeOutliner.scala
@@ -1,6 +1,6 @@
 // #Sireum
 /*
- Copyright (c) 2017-2025, Robby, Kansas State University
+ Copyright (c) 2017-2026,Robby, Kansas State University
  All rights reserved.
 
  Redistribution and use in source and binary forms, with or without
