changed headers to remove version souffle-lang#125

joshuakarp · May 26, 2016 · a3ab217 · a3ab217
1 parent b59cf0a
commit a3ab217
Show file tree

Hide file tree

Showing 175 changed files with 175 additions and 175 deletions.
diff --git a/Makefile.am b/Makefile.am
@@ -1,4 +1,4 @@
-# Souffle version 0.0.0
+# Souffle - A Datalog Compiler
 # Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved.
 # Licensed under the Universal Permissive License v 1.0 as shown at:
 # - https://opensource.org/licenses/UPL

diff --git a/benchmarks/sg/sg.dl b/benchmarks/sg/sg.dl
@@ -1,4 +1,4 @@
-// Souffle version 0.0.0
+// Souffle - A Datalog Compiler
 // Copyright (c) 2016, Oracle and/or its affiliates. All rights reserved
 // Licensed under the Universal Permissive License v 1.0 as shown at:
 // - https://opensource.org/licenses/UPL

diff --git a/benchmarks/tc/tc_left.dl b/benchmarks/tc/tc_left.dl
@@ -1,4 +1,4 @@
-// Souffle version 0.0.0
+// Souffle - A Datalog Compiler
 // Copyright (c) 2016, Oracle and/or its affiliates. All rights reserved
 // Licensed under the Universal Permissive License v 1.0 as shown at:
 // - https://opensource.org/licenses/UPL

diff --git a/benchmarks/tc/tc_quad.dl b/benchmarks/tc/tc_quad.dl
@@ -1,4 +1,4 @@
-// Souffle version 0.0.0
+// Souffle - A Datalog Compiler
 // Copyright (c) 2016, Oracle and/or its affiliates. All rights reserved
 // Licensed under the Universal Permissive License v 1.0 as shown at:
 // - https://opensource.org/licenses/UPL

diff --git a/benchmarks/tc/tc_right.dl b/benchmarks/tc/tc_right.dl
@@ -1,4 +1,4 @@
-// Souffle version 0.0.0
+// Souffle - A Datalog Compiler
 // Copyright (c) 2016, Oracle and/or its affiliates. All rights reserved
 // Licensed under the Universal Permissive License v 1.0 as shown at:
 // - https://opensource.org/licenses/UPL

diff --git a/configure.ac b/configure.ac
@@ -1,4 +1,4 @@
-# Souffle version 0.0.0
+# Souffle - A Datalog Compiler
 # Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
 # Licensed under the Universal Permissive License v 1.0 as shown at:
 # - https://opensource.org/licenses/UPL

diff --git a/doxygen.cfg b/doxygen.cfg
@@ -1,4 +1,4 @@
-# Souffle version 0.0.0
+# Souffle - A Datalog Compiler
 # Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
 # Licensed under the Universal Permissive License v 1.0 as shown at:
 # - https://opensource.org/licenses/UPL

diff --git a/prof/Makefile.am b/prof/Makefile.am
@@ -1,4 +1,4 @@
-# Souffle version 0.0.0
+# Souffle - A Datalog Compiler
 # Copyright (c) 2013-15, Oracle and/or its affiliates. All rights reserved.
 # Licensed under the Universal Permissive License v 1.0 as shown at:
 # - https://opensource.org/licenses/UPL

diff --git a/prof/souffle-profile b/prof/souffle-profile
@@ -1,6 +1,6 @@
 #!/bin/bash
 #
-# Souffle version 0.0.0-25-g8be1361
+# Souffle - A Datalog Compiler
 # Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved.
 # Licensed under the Universal Permissive License v 1.0 as shown at:
 # - https://opensource.org/licenses/UPL

diff --git a/prof/src/com/oracle/souffleprof/Cli.java b/prof/src/com/oracle/souffleprof/Cli.java
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/prof/src/com/oracle/souffleprof/DataComparator.java b/prof/src/com/oracle/souffleprof/DataComparator.java
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/prof/src/com/oracle/souffleprof/Iteration.java b/prof/src/com/oracle/souffleprof/Iteration.java
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/prof/src/com/oracle/souffleprof/ProgramRun.java b/prof/src/com/oracle/souffleprof/ProgramRun.java
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/prof/src/com/oracle/souffleprof/Reader.java b/prof/src/com/oracle/souffleprof/Reader.java
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/prof/src/com/oracle/souffleprof/Relation.java b/prof/src/com/oracle/souffleprof/Relation.java
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/prof/src/com/oracle/souffleprof/Rule.java b/prof/src/com/oracle/souffleprof/Rule.java
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/prof/src/com/oracle/souffleprof/RuleRecursive.java b/prof/src/com/oracle/souffleprof/RuleRecursive.java
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/prof/src/com/oracle/souffleprof/SouffleProf.java b/prof/src/com/oracle/souffleprof/SouffleProf.java
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstAnalysis.h b/src/AstAnalysis.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstArgument.cpp b/src/AstArgument.cpp
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstArgument.h b/src/AstArgument.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstAttribute.h b/src/AstAttribute.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstClause.cpp b/src/AstClause.cpp
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstClause.h b/src/AstClause.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstComponent.h b/src/AstComponent.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstLiteral.h b/src/AstLiteral.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstNode.h b/src/AstNode.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstParserUtils.cpp b/src/AstParserUtils.cpp
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstParserUtils.h b/src/AstParserUtils.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstProgram.cpp b/src/AstProgram.cpp
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstProgram.h b/src/AstProgram.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstRelation.h b/src/AstRelation.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstRelationIdentifier.h b/src/AstRelationIdentifier.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstSemanticChecker.cpp b/src/AstSemanticChecker.cpp
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstSemanticChecker.h b/src/AstSemanticChecker.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstSrcLocation.cpp b/src/AstSrcLocation.cpp
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstSrcLocation.h b/src/AstSrcLocation.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstTransformer.cpp b/src/AstTransformer.cpp
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstTransformer.h b/src/AstTransformer.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstTransforms.cpp b/src/AstTransforms.cpp
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstTransforms.h b/src/AstTransforms.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstTranslationUnit.h b/src/AstTranslationUnit.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstTuner.cpp b/src/AstTuner.cpp
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstTuner.h b/src/AstTuner.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstType.h b/src/AstType.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstTypeAnalysis.cpp b/src/AstTypeAnalysis.cpp
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstTypeAnalysis.h b/src/AstTypeAnalysis.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstUtils.cpp b/src/AstUtils.cpp
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstUtils.h b/src/AstUtils.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/AstVisitor.h b/src/AstVisitor.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/BTree.h b/src/BTree.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/BinaryOperator.h b/src/BinaryOperator.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/CompiledRamOptions.h b/src/CompiledRamOptions.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/CompiledRamRecord.h b/src/CompiledRamRecord.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/CompiledRamRelation.h b/src/CompiledRamRelation.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/CompiledRamTuple.h b/src/CompiledRamTuple.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2013, 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/CompiledSouffle.h b/src/CompiledSouffle.h
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL

diff --git a/src/ComponentModel.cpp b/src/ComponentModel.cpp
@@ -1,5 +1,5 @@
 /*
- * Souffle version 0.0.0
+ * Souffle - A Datalog Compiler
  * Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved
  * Licensed under the Universal Permissive License v 1.0 as shown at:
  * - https://opensource.org/licenses/UPL