diff --git a/src/tricera/params/TriCeraParameters.scala b/src/tricera/params/TriCeraParameters.scala
index 90fced1..a6faee9 100644
--- 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
index 00ab080..9b58611 100644
--- 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
index 6926dc5..e7af4d5 100644
--- 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
index dfa4a4c..eaac6c1 100644
--- 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
index 1923fda..e019a41 100644
--- 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
index d95e024..6418a2a 100644
--- 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
index f1225f3..3f3dd6d 100644
--- 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
index 4540f03..8c4dbd3 100644
--- 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
index 3cf5d34..2301d0c 100644
--- 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
index 58f2419..0d7ad12 100644
--- 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
index 242caea..6f9aca3 100644
--- 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
index f004071..22d3d82 100644
--- 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
index 3282948..7100be5 100644
--- 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
index 8df70be..9ee3515 100644
--- 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
index fba31a8..de9afb7 100644
--- 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: