diff --git a/Main.hs b/Main.hs index 3ad0186..2705893 100644 --- a/Main.hs +++ b/Main.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/TestMain.hs b/TestMain.hs index e42897c..c8ef7ca 100644 --- a/TestMain.hs +++ b/TestMain.hs @@ -1,6 +1,7 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent +Copyright (C) 2011 Adam Sampson This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/alloy/Data/Generics/Alloy.hs b/alloy/Data/Generics/Alloy.hs index 03a1820..94ea6e5 100644 --- a/alloy/Data/Generics/Alloy.hs +++ b/alloy/Data/Generics/Alloy.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2008 University of Kent +Copyright (C) 2008, 2009, 2011 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/alloy/Data/Generics/Alloy/GenInstances.hs b/alloy/Data/Generics/Alloy/GenInstances.hs index 1cfc433..5656132 100644 --- a/alloy/Data/Generics/Alloy/GenInstances.hs +++ b/alloy/Data/Generics/Alloy/GenInstances.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2008 University of Kent +Copyright (C) 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/alloy/Data/Generics/Alloy/Route.hs b/alloy/Data/Generics/Alloy/Route.hs index f21260e..2ee5e4b 100644 --- a/alloy/Data/Generics/Alloy/Route.hs +++ b/alloy/Data/Generics/Alloy/Route.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2008 University of Kent +Copyright (C) 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/alloy/Data/Generics/Alloy/Schemes.hs b/alloy/Data/Generics/Alloy/Schemes.hs index 0706f05..cf8ea07 100644 --- a/alloy/Data/Generics/Alloy/Schemes.hs +++ b/alloy/Data/Generics/Alloy/Schemes.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2008 University of Kent +Copyright (C) 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/backends/AnalyseAsm.hs b/backends/AnalyseAsm.hs index e3c427b..6ba20f3 100644 --- a/backends/AnalyseAsm.hs +++ b/backends/AnalyseAsm.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/backends/BackendPasses.hs b/backends/BackendPasses.hs index cade0db..79249bb 100644 --- a/backends/BackendPasses.hs +++ b/backends/BackendPasses.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/backends/BackendPassesTest.hs b/backends/BackendPassesTest.hs index e5d4387..d2191da 100644 --- a/backends/BackendPassesTest.hs +++ b/backends/BackendPassesTest.hs @@ -1,6 +1,7 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent +Copyright (C) 2011 Adam Sampson This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/backends/GenerateC.hs b/backends/GenerateC.hs index 11ed5e8..9828440 100644 --- a/backends/GenerateC.hs +++ b/backends/GenerateC.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/backends/GenerateCBased.hs b/backends/GenerateCBased.hs index 2935fa8..e3d9260 100644 --- a/backends/GenerateCBased.hs +++ b/backends/GenerateCBased.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/backends/GenerateCHP.hs b/backends/GenerateCHP.hs index b826cf7..590d1c6 100644 --- a/backends/GenerateCHP.hs +++ b/backends/GenerateCHP.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2008 University of Kent +Copyright (C) 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/backends/GenerateCPPCSP.hs b/backends/GenerateCPPCSP.hs index e11d3ee..0ecaa75 100644 --- a/backends/GenerateCPPCSP.hs +++ b/backends/GenerateCPPCSP.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/backends/GenerateCTest.hs b/backends/GenerateCTest.hs index 1ca135c..2bc1f72 100644 --- a/backends/GenerateCTest.hs +++ b/backends/GenerateCTest.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009, 2010 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/backends/TLP.hs b/backends/TLP.hs index 0bcb824..1cd15fb 100644 --- a/backends/TLP.hs +++ b/backends/TLP.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/checks/ArrayUsageCheck.hs b/checks/ArrayUsageCheck.hs index 6bc821b..51875f2 100644 --- a/checks/ArrayUsageCheck.hs +++ b/checks/ArrayUsageCheck.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007--2009 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/checks/ArrayUsageCheckTest.hs b/checks/ArrayUsageCheckTest.hs index fa9a9bc..cb6d874 100644 --- a/checks/ArrayUsageCheckTest.hs +++ b/checks/ArrayUsageCheckTest.hs @@ -1,6 +1,7 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent +Copyright (C) 2011 Adam Sampson This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/checks/Check.hs b/checks/Check.hs index f4bad8a..9eb3eee 100644 --- a/checks/Check.hs +++ b/checks/Check.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/checks/CheckFramework.hs b/checks/CheckFramework.hs index 5370ab1..9781b4e 100644 --- a/checks/CheckFramework.hs +++ b/checks/CheckFramework.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2008 University of Kent +Copyright (C) 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/checks/CheckTest.hs b/checks/CheckTest.hs index b76cc4f..f258eb1 100644 --- a/checks/CheckTest.hs +++ b/checks/CheckTest.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2008 University of Kent +Copyright (C) 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/checks/UsageCheckAlgorithms.hs b/checks/UsageCheckAlgorithms.hs index 6ac6497..9fd32c8 100644 --- a/checks/UsageCheckAlgorithms.hs +++ b/checks/UsageCheckAlgorithms.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/checks/UsageCheckTest.hs b/checks/UsageCheckTest.hs index 537a3f7..80d67ed 100644 --- a/checks/UsageCheckTest.hs +++ b/checks/UsageCheckTest.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/checks/UsageCheckUtils.hs b/checks/UsageCheckUtils.hs index 8ef638c..737ac69 100644 --- a/checks/UsageCheckUtils.hs +++ b/checks/UsageCheckUtils.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009, 2010 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/common/CommonTest.hs b/common/CommonTest.hs index 0da1dc5..ffa3bca 100644 --- a/common/CommonTest.hs +++ b/common/CommonTest.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/common/Errors.hs b/common/Errors.hs index ab9d55f..78ba3c8 100644 --- a/common/Errors.hs +++ b/common/Errors.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/common/EvalConstants.hs b/common/EvalConstants.hs index 7088a2a..b8b2105 100644 --- a/common/EvalConstants.hs +++ b/common/EvalConstants.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/common/EvalLiterals.hs b/common/EvalLiterals.hs index b2de0da..b86456f 100644 --- a/common/EvalLiterals.hs +++ b/common/EvalLiterals.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/common/Intrinsics.hs b/common/Intrinsics.hs index 60a1cec..3d12664 100644 --- a/common/Intrinsics.hs +++ b/common/Intrinsics.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/common/OccamEDSL.hs b/common/OccamEDSL.hs index c8c4a35..e52464a 100644 --- a/common/OccamEDSL.hs +++ b/common/OccamEDSL.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2008 University of Kent +Copyright (C) 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/common/Pattern.hs b/common/Pattern.hs index 6719e06..9c000fc 100644 --- a/common/Pattern.hs +++ b/common/Pattern.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/common/PrettyShow.hs b/common/PrettyShow.hs index 2dcd7ba..46e47c3 100644 --- a/common/PrettyShow.hs +++ b/common/PrettyShow.hs @@ -1,6 +1,7 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009, 2010 University of Kent +Copyright (C) 2011 Adam Sampson This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/common/ShowCode.hs b/common/ShowCode.hs index a25467e..c6faa58 100644 --- a/common/ShowCode.hs +++ b/common/ShowCode.hs @@ -1,7 +1,7 @@ {-# OPTIONS_GHC -fallow-incoherent-instances #-} {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/common/TestFramework.hs b/common/TestFramework.hs index 342c1e5..003c23a 100644 --- a/common/TestFramework.hs +++ b/common/TestFramework.hs @@ -1,6 +1,7 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent +Copyright (C) 2011 Adam Sampson This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/common/TestHarness.hs b/common/TestHarness.hs index 1a97559..cc008aa 100644 --- a/common/TestHarness.hs +++ b/common/TestHarness.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/common/TestUtils.hs b/common/TestUtils.hs index 01e2d55..9d0417f 100644 --- a/common/TestUtils.hs +++ b/common/TestUtils.hs @@ -1,6 +1,7 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent +Copyright (C) 2011 Adam Sampson This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/common/TreeUtils.hs b/common/TreeUtils.hs index 16e0904..86572f0 100644 --- a/common/TreeUtils.hs +++ b/common/TreeUtils.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2010 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/common/Types.hs b/common/Types.hs index 98c29e8..03e9912 100644 --- a/common/Types.hs +++ b/common/Types.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009, 2010 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/common/Utils.hs b/common/Utils.hs index 5d8a9b6..19137ee 100644 --- a/common/Utils.hs +++ b/common/Utils.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/data/AST.hs b/data/AST.hs index 12f9019..88f4895 100644 --- a/data/AST.hs +++ b/data/AST.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/data/CompState.hs b/data/CompState.hs index 77cb01b..40490eb 100644 --- a/data/CompState.hs +++ b/data/CompState.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/data/Metadata.hs b/data/Metadata.hs index be4be3b..dcca9df 100644 --- a/data/Metadata.hs +++ b/data/Metadata.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/flow/FlowAlgorithms.hs b/flow/FlowAlgorithms.hs index def709d..cb3448b 100644 --- a/flow/FlowAlgorithms.hs +++ b/flow/FlowAlgorithms.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/flow/FlowGraph.hs b/flow/FlowGraph.hs index 80457cc..c9c9603 100644 --- a/flow/FlowGraph.hs +++ b/flow/FlowGraph.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/flow/FlowGraphTest.hs b/flow/FlowGraphTest.hs index bf8edee..214922d 100644 --- a/flow/FlowGraphTest.hs +++ b/flow/FlowGraphTest.hs @@ -1,6 +1,7 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent +Copyright (C) 2011 Adam Sampson This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/flow/FlowUtils.hs b/flow/FlowUtils.hs index 6f2bc50..146ebfc 100644 --- a/flow/FlowUtils.hs +++ b/flow/FlowUtils.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007-2008 University of Kent +Copyright (C) 2007, 2008, 2009, 2011 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/frontends/LexOccam.x b/frontends/LexOccam.x index 101c577..1397e9e 100644 --- a/frontends/LexOccam.x +++ b/frontends/LexOccam.x @@ -1,7 +1,7 @@ { {-# OPTIONS_GHC -fno-warn-unused-imports -fno-warn-missing-signatures #-} {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/frontends/LexRain.x b/frontends/LexRain.x index 2fe4e20..3b685a3 100644 --- a/frontends/LexRain.x +++ b/frontends/LexRain.x @@ -1,7 +1,7 @@ { {-# OPTIONS_GHC -fno-warn-unused-imports -fno-warn-missing-signatures #-} {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/frontends/OccamInferTypes.hs b/frontends/OccamInferTypes.hs index c88efaf..a700343 100644 --- a/frontends/OccamInferTypes.hs +++ b/frontends/OccamInferTypes.hs @@ -1,6 +1,7 @@ {- Tock: a compiler for parallel languages Copyright (C) 2008, 2009 University of Kent +Copyright (C) 2011 Adam Sampson This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/frontends/OccamPasses.hs b/frontends/OccamPasses.hs index 9358423..647ab71 100644 --- a/frontends/OccamPasses.hs +++ b/frontends/OccamPasses.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2008 University of Kent +Copyright (C) 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/frontends/OccamPassesTest.hs b/frontends/OccamPassesTest.hs index 1a01fa0..22674ee 100644 --- a/frontends/OccamPassesTest.hs +++ b/frontends/OccamPassesTest.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2008 University of Kent +Copyright (C) 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/frontends/OccamTypesTest.hs b/frontends/OccamTypesTest.hs index 9c0e333..314e2fe 100644 --- a/frontends/OccamTypesTest.hs +++ b/frontends/OccamTypesTest.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2008 University of Kent +Copyright (C) 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/frontends/ParseOccam.hs b/frontends/ParseOccam.hs index 9cb6ab8..ae5e02d 100644 --- a/frontends/ParseOccam.hs +++ b/frontends/ParseOccam.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009, 2010 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/frontends/ParseRain.hs b/frontends/ParseRain.hs index 01ab6c3..cc7158b 100644 --- a/frontends/ParseRain.hs +++ b/frontends/ParseRain.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/frontends/ParseRainTest.hs b/frontends/ParseRainTest.hs index cf9b749..e4b0ad1 100644 --- a/frontends/ParseRainTest.hs +++ b/frontends/ParseRainTest.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/frontends/PreprocessOccam.hs b/frontends/PreprocessOccam.hs index 64fc4fe..087cf87 100644 --- a/frontends/PreprocessOccam.hs +++ b/frontends/PreprocessOccam.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2009 University of Kent Copyright (C) 2008 Adam Sampson This program is free software; you can redistribute it and/or modify it diff --git a/frontends/PreprocessOccamTest.hs b/frontends/PreprocessOccamTest.hs index 3025607..4d11ae1 100644 --- a/frontends/PreprocessOccamTest.hs +++ b/frontends/PreprocessOccamTest.hs @@ -1,6 +1,7 @@ {- Tock: a compiler for parallel languages Copyright (C) 2008 Adam Sampson +Copyright (C) 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/frontends/RainPasses.hs b/frontends/RainPasses.hs index 1857c4a..f432b82 100644 --- a/frontends/RainPasses.hs +++ b/frontends/RainPasses.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/frontends/RainPassesTest.hs b/frontends/RainPassesTest.hs index defe6b5..9727f60 100644 --- a/frontends/RainPassesTest.hs +++ b/frontends/RainPassesTest.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/frontends/RainTypes.hs b/frontends/RainTypes.hs index e4685bd..28b1b03 100644 --- a/frontends/RainTypes.hs +++ b/frontends/RainTypes.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/frontends/RainTypesTest.hs b/frontends/RainTypesTest.hs index 4ad3c6a..207e0b7 100644 --- a/frontends/RainTypesTest.hs +++ b/frontends/RainTypesTest.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/frontends/StructureOccam.hs b/frontends/StructureOccam.hs index 913b77b..6487a3b 100644 --- a/frontends/StructureOccam.hs +++ b/frontends/StructureOccam.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/frontends/TypeUnification.hs b/frontends/TypeUnification.hs index eafde05..6592b01 100644 --- a/frontends/TypeUnification.hs +++ b/frontends/TypeUnification.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2008 University of Kent +Copyright (C) 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/frontends/UnifyType.hs b/frontends/UnifyType.hs index d56f9a1..938e1c1 100644 --- a/frontends/UnifyType.hs +++ b/frontends/UnifyType.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2008 University of Kent +Copyright (C) 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/pass/Pass.hs b/pass/Pass.hs index ca0c979..416fa1d 100644 --- a/pass/Pass.hs +++ b/pass/Pass.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/pass/PassList.hs b/pass/PassList.hs index a9fbbe3..07dbc80 100644 --- a/pass/PassList.hs +++ b/pass/PassList.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/pass/Properties.hs b/pass/Properties.hs index abce1af..4979b1e 100644 --- a/pass/Properties.hs +++ b/pass/Properties.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/pass/Traversal.hs b/pass/Traversal.hs index 72b0d38..ed4bad5 100644 --- a/pass/Traversal.hs +++ b/pass/Traversal.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2008 University of Kent +Copyright (C) 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/pregen/GenNavAST.hs b/pregen/GenNavAST.hs index 51ce77d..08b0e94 100644 --- a/pregen/GenNavAST.hs +++ b/pregen/GenNavAST.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2008 University of Kent +Copyright (C) 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/pregen/GenOrdAST.hs b/pregen/GenOrdAST.hs index 1216ec3..24350c1 100644 --- a/pregen/GenOrdAST.hs +++ b/pregen/GenOrdAST.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/pregen/GenTagAST.hs b/pregen/GenTagAST.hs index d91c8c0..9086057 100644 --- a/pregen/GenTagAST.hs +++ b/pregen/GenTagAST.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/transformations/ImplicitMobility.hs b/transformations/ImplicitMobility.hs index 7a1ea97..2e3b43e 100644 --- a/transformations/ImplicitMobility.hs +++ b/transformations/ImplicitMobility.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/transformations/PassTest.hs b/transformations/PassTest.hs index 94d2fa7..c4ce424 100644 --- a/transformations/PassTest.hs +++ b/transformations/PassTest.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/transformations/SimplifyAbbrevs.hs b/transformations/SimplifyAbbrevs.hs index 0ece467..5e1bb76 100644 --- a/transformations/SimplifyAbbrevs.hs +++ b/transformations/SimplifyAbbrevs.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2008 University of Kent +Copyright (C) 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/transformations/SimplifyAbbrevsTest.hs b/transformations/SimplifyAbbrevsTest.hs index ca60f70..7815b25 100644 --- a/transformations/SimplifyAbbrevsTest.hs +++ b/transformations/SimplifyAbbrevsTest.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2008 University of Kent +Copyright (C) 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/transformations/SimplifyComms.hs b/transformations/SimplifyComms.hs index 02c795d..8b5730f 100644 --- a/transformations/SimplifyComms.hs +++ b/transformations/SimplifyComms.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/transformations/SimplifyExprs.hs b/transformations/SimplifyExprs.hs index 1c91bed..5bf2213 100644 --- a/transformations/SimplifyExprs.hs +++ b/transformations/SimplifyExprs.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/transformations/SimplifyProcs.hs b/transformations/SimplifyProcs.hs index dd46556..f89c109 100644 --- a/transformations/SimplifyProcs.hs +++ b/transformations/SimplifyProcs.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/transformations/SimplifyTypes.hs b/transformations/SimplifyTypes.hs index bbde7ac..d8e6ccc 100644 --- a/transformations/SimplifyTypes.hs +++ b/transformations/SimplifyTypes.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/transformations/SimplifyTypesTest.hs b/transformations/SimplifyTypesTest.hs index 814b77d..fbdb540 100644 --- a/transformations/SimplifyTypesTest.hs +++ b/transformations/SimplifyTypesTest.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2008 University of Kent +Copyright (C) 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/transformations/Unnest.hs b/transformations/Unnest.hs index 0932063..ea98392 100644 --- a/transformations/Unnest.hs +++ b/transformations/Unnest.hs @@ -1,6 +1,6 @@ {- Tock: a compiler for parallel languages -Copyright (C) 2007, 2008 University of Kent +Copyright (C) 2007, 2008, 2009 University of Kent This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the