From 26924e212f5e0397806d9dd9f78367135bfed90e Mon Sep 17 00:00:00 2001 From: Martin McGrane Date: Wed, 29 Jul 2020 13:17:57 +1000 Subject: [PATCH] Update extracted file attributions --- src/ast/transform/Conditional.h | 2 +- src/ast/transform/Fixpoint.h | 2 +- src/ast/transform/FoldAnonymousRecords.cpp | 2 +- src/ast/transform/FoldAnonymousRecords.h | 2 +- src/ast/transform/InlineRelations.h | 2 +- src/ast/transform/MaterializeSingletonAggregation.cpp | 2 +- src/ast/transform/MaterializeSingletonAggregation.h | 2 +- src/ast/transform/MinimiseProgram.h | 2 +- src/ast/transform/NameUnnamedVariables.cpp | 2 +- src/ast/transform/NameUnnamedVariables.h | 2 +- src/ast/transform/NormaliseConstraints.cpp | 2 +- src/ast/transform/NormaliseConstraints.h | 2 +- src/ast/transform/PartitionBodyLiterals.cpp | 2 +- src/ast/transform/PartitionBodyLiterals.h | 2 +- src/ast/transform/Pipeline.h | 2 +- src/ast/transform/Provenance.h | 2 +- src/ast/transform/RemoveBooleanConstraints.cpp | 2 +- src/ast/transform/RemoveBooleanConstraints.h | 2 +- src/ast/transform/RemoveRedundantSums.cpp | 2 +- src/ast/transform/RemoveRedundantSums.h | 2 +- src/ast/transform/RemoveTypecasts.cpp | 2 +- src/ast/transform/RemoveTypecasts.h | 2 +- src/ast/transform/ReorderLiterals.h | 2 +- src/ast/transform/ReplaceSingletonVariables.cpp | 2 +- src/ast/transform/ReplaceSingletonVariables.h | 2 +- src/ast/transform/While.h | 2 +- 26 files changed, 26 insertions(+), 26 deletions(-) diff --git a/src/ast/transform/Conditional.h b/src/ast/transform/Conditional.h index bda2a2adfb7..9e375da3971 100644 --- a/src/ast/transform/Conditional.h +++ b/src/ast/transform/Conditional.h @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/Fixpoint.h b/src/ast/transform/Fixpoint.h index 376729c7939..3dc66acac48 100644 --- a/src/ast/transform/Fixpoint.h +++ b/src/ast/transform/Fixpoint.h @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/FoldAnonymousRecords.cpp b/src/ast/transform/FoldAnonymousRecords.cpp index 8653443d6e5..d29703be883 100644 --- a/src/ast/transform/FoldAnonymousRecords.cpp +++ b/src/ast/transform/FoldAnonymousRecords.cpp @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/FoldAnonymousRecords.h b/src/ast/transform/FoldAnonymousRecords.h index a06f2d750f3..a854bbbb7e4 100644 --- a/src/ast/transform/FoldAnonymousRecords.h +++ b/src/ast/transform/FoldAnonymousRecords.h @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/InlineRelations.h b/src/ast/transform/InlineRelations.h index ac69a59370f..30c95e04b69 100644 --- a/src/ast/transform/InlineRelations.h +++ b/src/ast/transform/InlineRelations.h @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/MaterializeSingletonAggregation.cpp b/src/ast/transform/MaterializeSingletonAggregation.cpp index 1ef9e61039c..f7aaadd23b1 100644 --- a/src/ast/transform/MaterializeSingletonAggregation.cpp +++ b/src/ast/transform/MaterializeSingletonAggregation.cpp @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/MaterializeSingletonAggregation.h b/src/ast/transform/MaterializeSingletonAggregation.h index 0551bc46b11..410eb51d37c 100644 --- a/src/ast/transform/MaterializeSingletonAggregation.h +++ b/src/ast/transform/MaterializeSingletonAggregation.h @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/MinimiseProgram.h b/src/ast/transform/MinimiseProgram.h index ef0bfed11a6..6ad160e45a4 100644 --- a/src/ast/transform/MinimiseProgram.h +++ b/src/ast/transform/MinimiseProgram.h @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/NameUnnamedVariables.cpp b/src/ast/transform/NameUnnamedVariables.cpp index 74fc93ceb25..05e210bd1f7 100644 --- a/src/ast/transform/NameUnnamedVariables.cpp +++ b/src/ast/transform/NameUnnamedVariables.cpp @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/NameUnnamedVariables.h b/src/ast/transform/NameUnnamedVariables.h index 812a4a5bc7c..c79a54baac5 100644 --- a/src/ast/transform/NameUnnamedVariables.h +++ b/src/ast/transform/NameUnnamedVariables.h @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/NormaliseConstraints.cpp b/src/ast/transform/NormaliseConstraints.cpp index bb7170c72d8..5171b246220 100644 --- a/src/ast/transform/NormaliseConstraints.cpp +++ b/src/ast/transform/NormaliseConstraints.cpp @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/NormaliseConstraints.h b/src/ast/transform/NormaliseConstraints.h index a52a29ec185..ab5f1da1772 100644 --- a/src/ast/transform/NormaliseConstraints.h +++ b/src/ast/transform/NormaliseConstraints.h @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/PartitionBodyLiterals.cpp b/src/ast/transform/PartitionBodyLiterals.cpp index 5c5d98ae62e..3f375d4431b 100644 --- a/src/ast/transform/PartitionBodyLiterals.cpp +++ b/src/ast/transform/PartitionBodyLiterals.cpp @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/PartitionBodyLiterals.h b/src/ast/transform/PartitionBodyLiterals.h index dbbd898083c..db6789fb7fc 100644 --- a/src/ast/transform/PartitionBodyLiterals.h +++ b/src/ast/transform/PartitionBodyLiterals.h @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/Pipeline.h b/src/ast/transform/Pipeline.h index 944cdd5e4cc..d089f5fc5b8 100644 --- a/src/ast/transform/Pipeline.h +++ b/src/ast/transform/Pipeline.h @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/Provenance.h b/src/ast/transform/Provenance.h index 1f00ff1d07f..18f163e8b56 100644 --- a/src/ast/transform/Provenance.h +++ b/src/ast/transform/Provenance.h @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/RemoveBooleanConstraints.cpp b/src/ast/transform/RemoveBooleanConstraints.cpp index 1c5ed963c05..df4807a6ef7 100644 --- a/src/ast/transform/RemoveBooleanConstraints.cpp +++ b/src/ast/transform/RemoveBooleanConstraints.cpp @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/RemoveBooleanConstraints.h b/src/ast/transform/RemoveBooleanConstraints.h index b979baf47da..914c5f80b3d 100644 --- a/src/ast/transform/RemoveBooleanConstraints.h +++ b/src/ast/transform/RemoveBooleanConstraints.h @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/RemoveRedundantSums.cpp b/src/ast/transform/RemoveRedundantSums.cpp index 3d96dd10054..7e5b50fd334 100644 --- a/src/ast/transform/RemoveRedundantSums.cpp +++ b/src/ast/transform/RemoveRedundantSums.cpp @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/RemoveRedundantSums.h b/src/ast/transform/RemoveRedundantSums.h index 434a4f051b2..5e3f42225ea 100644 --- a/src/ast/transform/RemoveRedundantSums.h +++ b/src/ast/transform/RemoveRedundantSums.h @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/RemoveTypecasts.cpp b/src/ast/transform/RemoveTypecasts.cpp index feadc6c5ec0..1750737caff 100644 --- a/src/ast/transform/RemoveTypecasts.cpp +++ b/src/ast/transform/RemoveTypecasts.cpp @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/RemoveTypecasts.h b/src/ast/transform/RemoveTypecasts.h index 78952c7edc8..1f39e508ca3 100644 --- a/src/ast/transform/RemoveTypecasts.h +++ b/src/ast/transform/RemoveTypecasts.h @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/ReorderLiterals.h b/src/ast/transform/ReorderLiterals.h index 4a956a6cbe8..043eb46caf2 100644 --- a/src/ast/transform/ReorderLiterals.h +++ b/src/ast/transform/ReorderLiterals.h @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/ReplaceSingletonVariables.cpp b/src/ast/transform/ReplaceSingletonVariables.cpp index 42f5c51ce91..2758cddd705 100644 --- a/src/ast/transform/ReplaceSingletonVariables.cpp +++ b/src/ast/transform/ReplaceSingletonVariables.cpp @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/ReplaceSingletonVariables.h b/src/ast/transform/ReplaceSingletonVariables.h index 1ae1a002e99..a4b175f612e 100644 --- a/src/ast/transform/ReplaceSingletonVariables.h +++ b/src/ast/transform/ReplaceSingletonVariables.h @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt diff --git a/src/ast/transform/While.h b/src/ast/transform/While.h index df2b28fbc92..b07ad085478 100644 --- a/src/ast/transform/While.h +++ b/src/ast/transform/While.h @@ -1,6 +1,6 @@ /* * Souffle - A Datalog Compiler - * Copyright (c) 2015, Oracle and/or its affiliates. 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 * - /licenses/SOUFFLE-UPL.txt