Updated copyright years.

sireum · Jan 8, 2025 · 849d2ab · 849d2ab
1 parent 1d7dd4f
commit 849d2ab
Show file tree

Hide file tree

Showing 151 changed files with 151 additions and 151 deletions.
diff --git a/library/jvm/src/main/scala/org/sireum/Asm.scala b/library/jvm/src/main/scala/org/sireum/Asm.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/library/jvm/src/main/scala/org/sireum/Asm_Ext.scala b/library/jvm/src/main/scala/org/sireum/Asm_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/library/jvm/src/main/scala/org/sireum/Coursier.scala b/library/jvm/src/main/scala/org/sireum/Coursier.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/library/jvm/src/main/scala/org/sireum/GitHub.scala b/library/jvm/src/main/scala/org/sireum/GitHub.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/library/jvm/src/main/scala/org/sireum/GitHub_Ext.scala b/library/jvm/src/main/scala/org/sireum/GitHub_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/library/jvm/src/main/scala/org/sireum/Init.scala b/library/jvm/src/main/scala/org/sireum/Init.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/library/jvm/src/main/scala/org/sireum/LibJvmUtil.scala b/library/jvm/src/main/scala/org/sireum/LibJvmUtil.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/library/jvm/src/main/scala/org/sireum/LibJvmUtil_Ext.scala b/library/jvm/src/main/scala/org/sireum/LibJvmUtil_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
  modification, are permitted provided that the following conditions are met:

diff --git a/library/jvm/src/main/scala/org/sireum/Os.scala b/library/jvm/src/main/scala/org/sireum/Os.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/library/jvm/src/main/scala/org/sireum/Os_Ext.scala b/library/jvm/src/main/scala/org/sireum/Os_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/library/jvm/src/main/scala/org/sireum/Scalafmt.scala b/library/jvm/src/main/scala/org/sireum/Scalafmt.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/library/jvm/src/main/scala/org/sireum/Scalafmt_Ext.scala b/library/jvm/src/main/scala/org/sireum/Scalafmt_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/library/jvm/src/main/scala/org/sireum/parser/Antlr3Util.scala b/library/jvm/src/main/scala/org/sireum/parser/Antlr3Util.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/library/jvm/src/main/scala/org/sireum/project/DependencyManager.scala b/library/jvm/src/main/scala/org/sireum/project/DependencyManager.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/library/jvm/src/main/scala/org/sireum/project/ProjectUtil.scala b/library/jvm/src/main/scala/org/sireum/project/ProjectUtil.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/library/jvm/src/test/scala/org/sireum/MemoizeTest.scala b/library/jvm/src/test/scala/org/sireum/MemoizeTest.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/library/jvm/src/test/scala/org/sireum/test/MemoizeFoo.scala b/library/jvm/src/test/scala/org/sireum/test/MemoizeFoo.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/library/shared/src/main/java/org/sireum/NativeUtil.java b/library/shared/src/main/java/org/sireum/NativeUtil.java
@@ -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/library/shared/src/main/scala/org/sireum/$internal/Boxer.scala b/library/shared/src/main/scala/org/sireum/$internal/Boxer.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/library/shared/src/main/scala/org/sireum/$internal/Option.scala b/library/shared/src/main/scala/org/sireum/$internal/Option.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/library/shared/src/main/scala/org/sireum/$internal/PackageTrait.scala b/library/shared/src/main/scala/org/sireum/$internal/PackageTrait.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/library/shared/src/main/scala/org/sireum/Annotations.scala b/library/shared/src/main/scala/org/sireum/Annotations.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/library/shared/src/main/scala/org/sireum/App.scala b/library/shared/src/main/scala/org/sireum/App.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/library/shared/src/main/scala/org/sireum/AssocS.scala b/library/shared/src/main/scala/org/sireum/AssocS.scala
@@ -1,6 +1,6 @@
 // #Sireum #Logika
 /*
- 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/library/shared/src/main/scala/org/sireum/B.scala b/library/shared/src/main/scala/org/sireum/B.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/library/shared/src/main/scala/org/sireum/Bag.scala b/library/shared/src/main/scala/org/sireum/Bag.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/library/shared/src/main/scala/org/sireum/BitsRangeTypes.scala b/library/shared/src/main/scala/org/sireum/BitsRangeTypes.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/library/shared/src/main/scala/org/sireum/BuiltInTypes.scala b/library/shared/src/main/scala/org/sireum/BuiltInTypes.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/library/shared/src/main/scala/org/sireum/BuiltInTypes.slang b/library/shared/src/main/scala/org/sireum/BuiltInTypes.slang
@@ -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/library/shared/src/main/scala/org/sireum/C.scala b/library/shared/src/main/scala/org/sireum/C.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/library/shared/src/main/scala/org/sireum/CircularQueue.scala b/library/shared/src/main/scala/org/sireum/CircularQueue.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/library/shared/src/main/scala/org/sireum/ContractUtil.scala b/library/shared/src/main/scala/org/sireum/ContractUtil.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/library/shared/src/main/scala/org/sireum/Either.scala b/library/shared/src/main/scala/org/sireum/Either.scala
@@ -1,6 +1,6 @@
 // #Sireum #Logika
 /*
- 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/library/shared/src/main/scala/org/sireum/FloatingPoint.scala b/library/shared/src/main/scala/org/sireum/FloatingPoint.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/library/shared/src/main/scala/org/sireum/Graph.scala b/library/shared/src/main/scala/org/sireum/Graph.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/library/shared/src/main/scala/org/sireum/Hash.scala b/library/shared/src/main/scala/org/sireum/Hash.scala
@@ -9,7 +9,7 @@ object Hash {
   @pure def murmur3a(data: ISZ[U8], seed: U32): U32 = {
 
     /*
-     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/library/shared/src/main/scala/org/sireum/HashBag.scala b/library/shared/src/main/scala/org/sireum/HashBag.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/library/shared/src/main/scala/org/sireum/HashMap.scala b/library/shared/src/main/scala/org/sireum/HashMap.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/library/shared/src/main/scala/org/sireum/HashSBag.scala b/library/shared/src/main/scala/org/sireum/HashSBag.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/library/shared/src/main/scala/org/sireum/HashSMap.scala b/library/shared/src/main/scala/org/sireum/HashSMap.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/library/shared/src/main/scala/org/sireum/HashSSet.scala b/library/shared/src/main/scala/org/sireum/HashSSet.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/library/shared/src/main/scala/org/sireum/HashSet.scala b/library/shared/src/main/scala/org/sireum/HashSet.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/library/shared/src/main/scala/org/sireum/IS.scala b/library/shared/src/main/scala/org/sireum/IS.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/library/shared/src/main/scala/org/sireum/IndexMap.scala b/library/shared/src/main/scala/org/sireum/IndexMap.scala
@@ -1,6 +1,6 @@
 // #Sireum #Logika
 /*
- 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/library/shared/src/main/scala/org/sireum/Indexable.scala b/library/shared/src/main/scala/org/sireum/Indexable.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/library/shared/src/main/scala/org/sireum/Json.scala b/library/shared/src/main/scala/org/sireum/Json.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/library/shared/src/main/scala/org/sireum/JsonFun_Ext.scala b/library/shared/src/main/scala/org/sireum/JsonFun_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/library/shared/src/main/scala/org/sireum/LibUtil.scala b/library/shared/src/main/scala/org/sireum/LibUtil.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/library/shared/src/main/scala/org/sireum/Library.scala b/library/shared/src/main/scala/org/sireum/Library.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/library/shared/src/main/scala/org/sireum/Library_Ext.scala b/library/shared/src/main/scala/org/sireum/Library_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/library/shared/src/main/scala/org/sireum/MBox.scala b/library/shared/src/main/scala/org/sireum/MBox.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/library/shared/src/main/scala/org/sireum/MEither.scala b/library/shared/src/main/scala/org/sireum/MEither.scala
@@ -1,6 +1,6 @@
 // #Sireum #Logika
 /*
- 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