Update years in preambles and list of contributors

uuverifiers · Oct 18, 2023 · d178fd9 · d178fd9
1 parent 53a3a9a
commit d178fd9
Show file tree

Hide file tree

Showing 15 changed files with 15 additions and 15 deletions.
diff --git a/src/tricera/params/TriCeraParameters.scala b/src/tricera/params/TriCeraParameters.scala
@@ -94,7 +94,7 @@ class TriCeraParameters extends GlobalParameters {
   private val greeting =
     "TriCera v" + version + ".\n(C) Copyright " +
       "2012-2023 Zafer Esen and Philipp Ruemmer\n" +
-    "Contributors: Pontus Ernstedt, Hossein Hojjat"
+    "Contributors: Pontus Ernstedt, Hossein Hojjat, Oskar Soederberg"
 
   private def parseArgs(args: List[String], shouldExecute : Boolean = true): Boolean =
     args match {

diff --git a/src/tricera/postprocessor/ACSLExpressionProcessor.scala b/src/tricera/postprocessor/ACSLExpressionProcessor.scala
@@ -1,5 +1,5 @@
 /**
- * Copyright (c) 2011-2019 Oskar Soederberg. All rights reserved.
+ * Copyright (c) 2023 Oskar Soederberg. 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/src/tricera/postprocessor/ACSLFunctions.scala b/src/tricera/postprocessor/ACSLFunctions.scala
@@ -1,5 +1,5 @@
 /**
- * Copyright (c) 2011-2019 Oskar Soederberg. All rights reserved.
+ * Copyright (c) 2023 Oskar Soederberg. 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/src/tricera/postprocessor/ADTSimplifier.scala b/src/tricera/postprocessor/ADTSimplifier.scala
@@ -1,5 +1,5 @@
 /**
- * Copyright (c) 2011-2019 Oskar Soederberg. All rights reserved.
+ * Copyright (c) 2023 Oskar Soederberg. 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/src/tricera/postprocessor/AssignmentProcessor.scala b/src/tricera/postprocessor/AssignmentProcessor.scala
@@ -1,5 +1,5 @@
 /**
- * Copyright (c) 2011-2019 Oskar Soederberg. All rights reserved.
+ * Copyright (c) 2023 Oskar Soederberg. 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/src/tricera/postprocessor/ClauseRemover.scala b/src/tricera/postprocessor/ClauseRemover.scala
@@ -1,5 +1,5 @@
 /**
- * Copyright (c) 2011-2019 Oskar Soederberg. All rights reserved.
+ * Copyright (c) 2023 Oskar Soederberg. 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/src/tricera/postprocessor/ContractConditionTools.scala b/src/tricera/postprocessor/ContractConditionTools.scala
@@ -1,5 +1,5 @@
 /**
- * Copyright (c) 2011-2019 Oskar Soederberg. All rights reserved.
+ * Copyright (c) 2023 Oskar Soederberg. 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/src/tricera/postprocessor/ContractConditionType.scala b/src/tricera/postprocessor/ContractConditionType.scala
@@ -1,5 +1,5 @@
 /**
- * Copyright (c) 2011-2019 Oskar Soederberg. All rights reserved.
+ * Copyright (c) 2023 Oskar Soederberg. 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/src/tricera/postprocessor/ContractProcessorUtils.scala b/src/tricera/postprocessor/ContractProcessorUtils.scala
@@ -1,5 +1,5 @@
 /**
- * Copyright (c) 2011-2019 Oskar Soederberg. All rights reserved.
+ * Copyright (c) 2023 Oskar Soederberg. 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/src/tricera/postprocessor/EqualitySwapper.scala b/src/tricera/postprocessor/EqualitySwapper.scala
@@ -1,5 +1,5 @@
 /**
- * Copyright (c) 2011-2019 Oskar Soederberg. All rights reserved.
+ * Copyright (c) 2023 Oskar Soederberg. 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/src/tricera/postprocessor/HeapRepresentation.scala b/src/tricera/postprocessor/HeapRepresentation.scala
@@ -1,5 +1,5 @@
 /**
- * Copyright (c) 2011-2019 Oskar Soederberg. All rights reserved.
+ * Copyright (c) 2023 Oskar Soederberg. 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/src/tricera/postprocessor/PointerPropProcessor.scala b/src/tricera/postprocessor/PointerPropProcessor.scala
@@ -1,5 +1,5 @@
 /**
- * Copyright (c) 2011-2019 Oskar Soederberg. All rights reserved.
+ * Copyright (c) 2023 Oskar Soederberg. 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/src/tricera/postprocessor/PostconditionSimplifier.scala b/src/tricera/postprocessor/PostconditionSimplifier.scala
@@ -1,5 +1,5 @@
 /**
- * Copyright (c) 2011-2019 Oskar Soederberg. All rights reserved.
+ * Copyright (c) 2023 Oskar Soederberg. 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/src/tricera/postprocessor/TheoryOfHeapProcessor.scala b/src/tricera/postprocessor/TheoryOfHeapProcessor.scala
@@ -1,5 +1,5 @@
 /**
- * Copyright (c) 2011-2019 Oskar Soederberg. All rights reserved.
+ * Copyright (c) 2023 Oskar Soederberg. 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/src/tricera/postprocessor/ValSet.scala b/src/tricera/postprocessor/ValSet.scala
@@ -1,5 +1,5 @@
 /**
- * Copyright (c) 2011-2019 Oskar Soederberg. All rights reserved.
+ * Copyright (c) 2023 Oskar Soederberg. All rights reserved.
  * 
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are met: