Standardise license text capitalisation

joshuakarp · Sep 3, 2020 · 5929cc6 · 5929cc6
1 parent 43f1e87
commit 5929cc6
Show file tree

Hide file tree

Showing 32 changed files with 32 additions and 32 deletions.
diff --git a/src/Global.cpp b/src/Global.cpp
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2018 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2018 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/src/Global.h b/src/Global.h
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2018 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2018 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/src/ast/AlgebraicDataType.h b/src/ast/AlgebraicDataType.h
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2020 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2020 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/src/ast/BooleanConstraint.h b/src/ast/BooleanConstraint.h
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2020 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2020 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/src/ast/BranchDeclaration.h b/src/ast/BranchDeclaration.h
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2020 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2020 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/src/ast/BranchInit.h b/src/ast/BranchInit.h
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2020 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2020 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/src/ast/FunctorDeclaration.h b/src/ast/FunctorDeclaration.h
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2018 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2018 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/src/ast/IntrinsicFunctor.h b/src/ast/IntrinsicFunctor.h
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2020 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2020 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/src/ast/SubroutineArgument.h b/src/ast/SubroutineArgument.h
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2020 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2020 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/src/ast/SubsetType.h b/src/ast/SubsetType.h
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2020 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2020 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/src/ast/UserDefinedFunctor.h b/src/ast/UserDefinedFunctor.h
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2020 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2020 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/src/include/souffle/TypeAttribute.h b/src/include/souffle/TypeAttribute.h
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2020 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2020 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/src/include/souffle/datastructure/EquivalenceRelation.h b/src/include/souffle/datastructure/EquivalenceRelation.h
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2017 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2017 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/src/include/souffle/datastructure/UnionFind.h b/src/include/souffle/datastructure/UnionFind.h
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2017 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2017 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/tests/evaluation/aggregates3/aggregates3.dl b/tests/evaluation/aggregates3/aggregates3.dl
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2019 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2019 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/tests/evaluation/aggregates_complex/aggregates_complex.dl b/tests/evaluation/aggregates_complex/aggregates_complex.dl
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2019 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2019 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/tests/evaluation/aggregates_nested/aggregates_nested.dl b/tests/evaluation/aggregates_nested/aggregates_nested.dl
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2020 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2020 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/tests/evaluation/comp-override2/comp-override2.dl b/tests/evaluation/comp-override2/comp-override2.dl
@@ -26,4 +26,4 @@
 }
 
 .init a = A
-.init b = B
+.init b = B
diff --git a/tests/evaluation/comp-override3/comp-override3.dl b/tests/evaluation/comp-override3/comp-override3.dl
@@ -35,4 +35,4 @@
 }
 
 .init e = E
-.init f = F
+.init f = F
diff --git a/tests/example/amicable/amicable.dl b/tests/example/amicable/amicable.dl
@@ -27,4 +27,4 @@ factor_sum(x, f) :- num(x), f = sum i : factor(x, i).
 // Find pairs of numbers whose factors add up to each other
 .decl amicable(a : number, b : number)
 .output amicable()
-amicable(a, b) :- factor_sum(a, b), factor_sum(b, a), a < b.
+amicable(a, b) :- factor_sum(a, b), factor_sum(b, a), a < b.
diff --git a/tests/example/planar/planar.dl b/tests/example/planar/planar.dl
@@ -82,4 +82,4 @@ planar(x1, y1, x2, y2, x3, y3, x4, y4) :-
 	edge(x1, y1, x2, y2), edge(x3, y3, x4, y4),
 	intersect(x1, y1, x2, y2, x3, y3, x4, y4),
 	!sharedNode(x1, y1, x2, y2, x3, y3, x4, y4),
-	x1 <= x3, y1 <= y3.
+	x1 <= x3, y1 <= y3.
diff --git a/tests/interface/repeat_analysis/driver.cpp b/tests/interface/repeat_analysis/driver.cpp
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2019 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2019 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/tests/profile/lrg_attr_id/lrg_attr_id.dl b/tests/profile/lrg_attr_id/lrg_attr_id.dl
@@ -1,5 +1,5 @@
 //
-// Copyright (c) 2015 Oracle and/or its affiliates. All Rights reserved
+// Copyright (c) 2015 Oracle and/or its affiliates. All rights reserved
 //
 // The Universal Permissive License (UPL), Version 1.0
 //

diff --git a/tests/semantic/adt_invalid_arity/adt_invalid_arity.dl b/tests/semantic/adt_invalid_arity/adt_invalid_arity.dl
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2020 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2020 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/tests/semantic/agg_checks/agg_checks.dl b/tests/semantic/agg_checks/agg_checks.dl
@@ -29,4 +29,4 @@ r("X",Y) :- Y = min Y : r("X",Y).
 
 // nonexistent relation in aggregation body
 r("X",count: { nonexistent(_,_) }).
-r("X",count: { nonexistent(_,_) } * 3).
+r("X",count: { nonexistent(_,_) } * 3).
diff --git a/tests/semantic/agg_nested/agg_nested.dl b/tests/semantic/agg_nested/agg_nested.dl
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2019 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2019 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/tests/semantic/comp_infinite_recursion/comp_infinite_recursion.dl b/tests/semantic/comp_infinite_recursion/comp_infinite_recursion.dl
@@ -2,4 +2,4 @@
     .init x = T
 }
 
-.init a = A<A>
+.init a = A<A>
diff --git a/tests/semantic/comp_override/comp_override.dl b/tests/semantic/comp_override/comp_override.dl
@@ -27,4 +27,4 @@
     .decl Rel(x:number)
     .override Rel
     Rel(1).
-}
+}
diff --git a/tests/semantic/records0/records0.dl b/tests/semantic/records0/records0.dl
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2019 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2019 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt

diff --git a/tests/semantic/rel_stratification2/rel_stratification2.dl b/tests/semantic/rel_stratification2/rel_stratification2.dl
@@ -8,4 +8,4 @@ RelevantNumber(n) :- Input(n), Input(n+1).
 
 .decl Trace(a:number, b:number)
 .output Trace()
-Trace(a, b) :- RelevantNumber(a), RelevantNumber(b), !Input(a+b).
+Trace(a, b) :- RelevantNumber(a), RelevantNumber(b), !Input(a+b).
diff --git a/tests/semantic/string_minmax/string_minmax.dl b/tests/semantic/string_minmax/string_minmax.dl
@@ -6,4 +6,4 @@
     sym_##op(x) :- x = op("a3", "a2", "a0", "a1").
 
 TEST_CASE(max)
-TEST_CASE(min)
+TEST_CASE(min)
diff --git a/tests/syntactic/string/string.dl b/tests/syntactic/string/string.dl
@@ -1,6 +1,6 @@
 /*
  * Souffle - A Datalog Compiler
- * Copyright (c) 2019 The Souffle Developers. All Rights reserved
+ * Copyright (c) 2019 The Souffle Developers. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL
  * - <souffle root>/licenses/SOUFFLE-UPL.txt
-Original file line number
+Diff line change
@@ Expand Up / @@ -27,4 +27,4 @@ @@
         .decl Rel(x:number)
         .override Rel
         Rel(1).
-    }
+    }