Merge pull request #13 from hassansalehe/changing-copyright-year

Changing copyright year
hassansalehe · Jul 10, 2021 · a3d3b44 · a3d3b44
2 parents 15447e8 + e4197b2
commit a3d3b44
Show file tree

Hide file tree

Showing 28 changed files with 30 additions and 30 deletions.
diff --git a/LICENSE.txt b/LICENSE.txt
@@ -1,4 +1,4 @@
-Copyright (c) 2015 - 2018 Hassan Salehe Matar
+Copyright (c) 2015 - 2021 Hassan Salehe Matar
 All rights reserved.
 
 This is BSD License file TaskSanitizer. For details about 

diff --git a/README.md b/README.md
@@ -211,6 +211,6 @@ The following 1 task pairs have conflicts:
 ```
 
 #### Copyright notice
-(c) 2015 - 2018 Hassan Salehe Matar  
+(c) 2015 - 2021 Hassan Salehe Matar  
 All rights reserved.   
 Please read license file LICENSE on usage license.
diff --git a/evaluation.py b/evaluation.py
@@ -1,6 +1,6 @@
 #!/usr/bin/env python
 
-# Copyright (c) 2015 - 2018 Hassan Salehe Matar
+# Copyright (c) 2015 - 2021 Hassan Salehe Matar
 # All rights reserved.
 #
 # This file is part of TaskSanitizer. For details, see

diff --git a/install.sh b/install.sh
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-# Copyright (c) 2015 - 2018 Hassan Salehe Matar
+# Copyright (c) 2015 - 2021 Hassan Salehe Matar
 # All rights reserved.
 #
 # This file is part of TaskSanitizer. For details, see

diff --git a/src/benchmarks/RacyBackgroundExample.cc b/src/benchmarks/RacyBackgroundExample.cc
@@ -1,6 +1,6 @@
 ///////////////////////////////////////////////////////////////////////
 //
-//                  (c) 2015 - 2018 Hassan Salehe Matar
+//                  (c) 2015 - 2021 Hassan Salehe Matar
 //
 //  Description:
 //

diff --git a/src/benchmarks/RacyBanking.cc b/src/benchmarks/RacyBanking.cc
@@ -1,6 +1,6 @@
 ///////////////////////////////////////////////////////////////////////
 //
-//                  (c) 2015 - 2018 Hassan Salehe Matar
+//                  (c) 2015 - 2021 Hassan Salehe Matar
 //
 //  Description:
 //

diff --git a/src/benchmarks/RacyFibonacci.cc b/src/benchmarks/RacyFibonacci.cc
@@ -1,6 +1,6 @@
 ///////////////////////////////////////////////////////////////////////
 //
-//                  (c) 2015 - 2018 Hassan Salehe Matar
+//                  (c) 2015 - 2021 Hassan Salehe Matar
 //
 //  Description:
 //

diff --git a/src/benchmarks/RacyMapReduce.cc b/src/benchmarks/RacyMapReduce.cc
@@ -1,6 +1,6 @@
 ///////////////////////////////////////////////////////////////////////
 //
-//                  (c) 2015 - 2018 Hassan Salehe Matar
+//                  (c) 2015 - 2021 Hassan Salehe Matar
 //
 //  Description:
 //

diff --git a/src/benchmarks/RacyPointerChasing.cc b/src/benchmarks/RacyPointerChasing.cc
@@ -2,7 +2,7 @@
 //
 // RacyPointerChasing.cc
 //
-// Copyright (c) 2015 - 2018 Hassan Salehe Matar
+// Copyright (c) 2015 - 2021 Hassan Salehe Matar
 // All rights reserved.
 //
 //  This code has been influenced by an OpenMP forum:

diff --git a/src/common/CriticalSignatures.h b/src/common/CriticalSignatures.h
@@ -2,7 +2,7 @@
 //  TaskSanitizer: a lightweight determinacy race checking
 //          tool for OpenMP task applications
 //
-//    Copyright (c) 2015 - 2018 Hassan Salehe Matar
+//    Copyright (c) 2015 - 2021 Hassan Salehe Matar
 //      Copying or using this code by any means whatsoever
 //      without consent of the owner is strictly prohibited.
 //

diff --git a/src/common/MemoryActions.h b/src/common/MemoryActions.h
@@ -2,7 +2,7 @@
 //  TaskSanitizer: a lightweight determinacy race checking
 //          tool for OpenMP task applications
 //
-//    Copyright (c) 2015 - 2018 Hassan Salehe Matar
+//    Copyright (c) 2015 - 2021 Hassan Salehe Matar
 //      Copying or using this code by any means whatsoever
 //      without consent of the owner is strictly prohibited.
 //

diff --git a/src/common/action.h b/src/common/action.h
@@ -2,7 +2,7 @@
 //  TaskSanitizer: a lightweight determinacy race checking
 //          tool for OpenMP task applications
 //
-//    Copyright (c) 2015 - 2018 Hassan Salehe Matar
+//    Copyright (c) 2015 - 2021 Hassan Salehe Matar
 //      Copying or using this code by any means whatsoever
 //      without consent of the owner is strictly prohibited.
 //

diff --git a/src/common/defs.h b/src/common/defs.h
@@ -2,7 +2,7 @@
 //  TaskSanitizer: a lightweight determinacy race checking
 //          tool for OpenMP task applications
 //
-//    Copyright (c) 2015 - 2018 Hassan Salehe Matar
+//    Copyright (c) 2015 - 2021 Hassan Salehe Matar
 //      Copying or using this code by any means whatsoever
 //      without consent of the owner is strictly prohibited.
 //

diff --git a/src/common/instruction.h b/src/common/instruction.h
@@ -2,7 +2,7 @@
 //  TaskSanitizer: a lightweight determinacy race checking
 //          tool for OpenMP task applications
 //
-//    Copyright (c) 2015 - 2018 Hassan Salehe Matar
+//    Copyright (c) 2015 - 2021 Hassan Salehe Matar
 //      Copying or using this code by any means whatsoever
 //      without consent of the owner is strictly prohibited.
 //

diff --git a/src/detector/commutativity/CommutativityChecker.cc b/src/detector/commutativity/CommutativityChecker.cc
@@ -2,7 +2,7 @@
 //  TaskSanitizer: a lightweight determinacy race checking
 //          tool for OpenMP task applications
 //
-//    Copyright (c) 2015 - 2018 Hassan Salehe Matar
+//    Copyright (c) 2015 - 2021 Hassan Salehe Matar
 //      Copying or using this code by any means whatsoever
 //      without consent of the owner is strictly prohibited.
 //

diff --git a/src/detector/commutativity/CommutativityChecker.h b/src/detector/commutativity/CommutativityChecker.h
@@ -2,7 +2,7 @@
 //  TaskSanitizer: a lightweight determinacy race checking
 //          tool for OpenMP task applications
 //
-//    Copyright (c) 2015 - 2018 Hassan Salehe Matar
+//    Copyright (c) 2015 - 2021 Hassan Salehe Matar
 //      Copying or using this code by any means whatsoever
 //      without consent of the owner is strictly prohibited.
 //

diff --git a/src/detector/commutativity/CriticalSectionBody.h b/src/detector/commutativity/CriticalSectionBody.h
@@ -2,7 +2,7 @@
 //  TaskSanitizer: a lightweight determinacy race checking
 //          tool for OpenMP task applications
 //
-//    Copyright (c) 2015 - 2018 Hassan Salehe Matar
+//    Copyright (c) 2015 - 2021 Hassan Salehe Matar
 //      Copying or using this code by any means whatsoever
 //      without consent of the owner is strictly prohibited.
 //

diff --git a/src/detector/commutativity/CriticalSections.h b/src/detector/commutativity/CriticalSections.h
@@ -2,7 +2,7 @@
 //  TaskSanitizer: a lightweight determinacy race checking
 //          tool for OpenMP task applications
 //
-//    Copyright (c) 2015 - 2018 Hassan Salehe Matar
+//    Copyright (c) 2015 - 2021 Hassan Salehe Matar
 //      Copying or using this code by any means whatsoever
 //      without consent of the owner is strictly prohibited.
 //

diff --git a/src/detector/determinacy/checker.cc b/src/detector/determinacy/checker.cc
@@ -2,7 +2,7 @@
 //  TaskSanitizer: a lightweight determinacy race checking
 //          tool for OpenMP task applications
 //
-//    Copyright (c) 2015 - 2018 Hassan Salehe Matar
+//    Copyright (c) 2015 - 2021 Hassan Salehe Matar
 //      Copying or using this code by any means whatsoever
 //      without consent of the owner is strictly prohibited.
 //
@@ -51,7 +51,7 @@ void Checker::onTaskCreate(int taskID) {
     // 1.find the parent bag which can be inherited
     SerialBagPtr taskBag = NULL;
     auto inEdge = graph[taskID].inEdges.begin();
-/* Hassan 02.01.2018 modify this code to accommodate chunked tasks.
+/* Hassan 02.01.2021 modify this code to accommodate chunked tasks.
     for (; inEdge != graph[taskID].inEdges.end(); inEdge++) {
 
       // take with outstr 1 and longest
@@ -78,7 +78,7 @@ void Checker::onTaskCreate(int taskID) {
       auto aBag = serial_bags[*inEdge];
       taskBag->HB.insert(aBag->HB.begin(), aBag->HB.end()); // merging...
       taskBag->HB.insert(*inEdge); // parents happen-before me
-/* Hassan 02.01.2018 modify this code to accommodate chunked tasks.
+/* Hassan 02.01.2021 modify this code to accommodate chunked tasks.
       aBag->outBufferCount--; // for inheriting bags
       if (!aBag->outBufferCount)
         serial_bags.erase(*inEdge);

diff --git a/src/detector/determinacy/checker.h b/src/detector/determinacy/checker.h
@@ -2,7 +2,7 @@
 //  TaskSanitizer: a lightweight determinacy race checking
 //          tool for OpenMP task applications
 //
-//    Copyright (c) 2015 - 2018 Hassan Salehe Matar
+//    Copyright (c) 2015 - 2021 Hassan Salehe Matar
 //      Copying or using this code by any means whatsoever
 //      without consent of the owner is strictly prohibited.
 //

diff --git a/src/detector/determinacy/conflict.h b/src/detector/determinacy/conflict.h
@@ -2,7 +2,7 @@
 //  TaskSanitizer: a lightweight determinacy race checking
 //          tool for OpenMP task applications
 //
-//    Copyright (c) 2015 - 2018 Hassan Salehe Matar
+//    Copyright (c) 2015 - 2021 Hassan Salehe Matar
 //      Copying or using this code by any means whatsoever
 //      without consent of the owner is strictly prohibited.
 //

diff --git a/src/detector/determinacy/operationSet.h b/src/detector/determinacy/operationSet.h
@@ -2,7 +2,7 @@
 //  TaskSanitizer: a lightweight determinacy race checking
 //          tool for OpenMP task applications
 //
-//    Copyright (c) 2015 - 2018 Hassan Salehe Matar
+//    Copyright (c) 2015 - 2021 Hassan Salehe Matar
 //      Copying or using this code by any means whatsoever
 //      without consent of the owner is strictly prohibited.
 //

diff --git a/src/detector/determinacy/report.h b/src/detector/determinacy/report.h
@@ -2,7 +2,7 @@
 //  TaskSanitizer: a lightweight determinacy race checking
 //          tool for OpenMP task applications
 //
-//    Copyright (c) 2015 - 2018 Hassan Salehe Matar
+//    Copyright (c) 2015 - 2021 Hassan Salehe Matar
 //      Copying or using this code by any means whatsoever
 //      without consent of the owner is strictly prohibited.
 //

diff --git a/src/functionengine/CallStack.h b/src/functionengine/CallStack.h
@@ -2,7 +2,7 @@
 //
 // CallStack.h
 //
-// Copyright (c) 2015 - 2018 Hassan Salehe Matar
+// Copyright (c) 2015 - 2021 Hassan Salehe Matar
 // All rights reserved.
 //
 // This file is part of TaskSanitizer. For details, see

diff --git a/src/functionengine/FunctionEngine.h b/src/functionengine/FunctionEngine.h
@@ -2,7 +2,7 @@
 //
 // FunctionEngine.h
 //
-// Copyright (c) 2015 - 2018 Hassan Salehe Matar
+// Copyright (c) 2015 - 2021 Hassan Salehe Matar
 // All rights reserved.
 //
 // This file is part of TaskSanitizer. For details, see

diff --git a/src/unittests/critical.cc b/src/unittests/critical.cc
@@ -2,7 +2,7 @@
 //
 // critical.cc
 //
-// Copyright (c) 2017, Hassan Salehe Matar
+// Copyright (c) 2017 - 2021, Hassan Salehe Matar
 // All rights reserved.
 //
 // This file is part of TaskSanitizer. For details, see

diff --git a/tasksan b/tasksan
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-# Copyright (c) 2015 - 2018 Hassan Salehe Matar
+# Copyright (c) 2015 - 2021 Hassan Salehe Matar
 # All rights reserved.
 #
 # This file is part of TaskSanitizer. For details, see

diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
@@ -2,7 +2,7 @@
 ##  TaskSanitizer: a lightweight determinacy race checking
 ##          tool for OpenMP task applications
 ##
-##    Copyright (c) 2015 - 2018 Hassan Salehe Matar
+##    Copyright (c) 2015 - 2021 Hassan Salehe Matar
 ##      Copying or using this code by any means whatsoever
 ##      without consent of the owner is strictly prohibited.
 ##