Merge pull request #28 from hansjoergschurr/devel/license

This indicates the license simmilar to the cvc5 project. The COPYING file is the BSD license, the AUTHORS file is simmilar to the cvc5 file, but simplified. It mentions the cvc5 repository, because of the parsing code from there. The Header is the cvc5 header without top contributors.
cvc5 · Jan 25, 2024 · 53ec3f6 · 53ec3f6
2 parents bf9fc04 + 768847f
commit 53ec3f6
Show file tree

Hide file tree

Showing 49 changed files with 384 additions and 10 deletions.
diff --git a/AUTHORS b/AUTHORS
@@ -0,0 +1,13 @@
+The authors, designers, and main contributors to alfc are listed below.
+alfc's copyright is held by these individuals and the affiliated
+institutions at the time of their contributions (note that some authors have
+had more than one affiliated institution).  See the file COPYING for details on
+the copyright and licensing of alfc.
+
+The developers and authors of alfc are:
+	Andrew Reynolds, The University of Iowa, Amazon Web Services
+	Hans-Jörg Schurr, The University of Iowa
+
+The alfc codebase contains some source code from the cvc5 project.
+The copyright of these files is held by the cvc5 authors.  See the
+cvc5 repository at https://github.com/cvc5/cvc5 for details.
diff --git a/COPYING b/COPYING
@@ -0,0 +1,29 @@
+alfc is copyright (C) 2023-2024 by its authors and contributors (see
+the file AUTHORS) and their institutional affiliations.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are
+met:
+
+1. Redistributions of source code must retain the above copyright
+   notice, this list of conditions and the following disclaimer.
+
+2. Redistributions in binary form must reproduce the above copyright
+   notice, this list of conditions and the following disclaimer in the
+   documentation and/or other materials provided with the distribution.
+
+3. Neither the name of the copyright holder nor the names of its
+   contributors may be used to endorse or promote products derived from
+   this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT OWNERS AND CONTRIBUTORS
+''AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+OWNERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
diff --git a/src/attr.cpp b/src/attr.cpp
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #include "attr.h"
 
 namespace alfc {

diff --git a/src/attr.h b/src/attr.h
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #ifndef ATTR_H
 #define ATTR_H
 

diff --git a/src/base/check.cpp b/src/base/check.cpp
@@ -8,7 +8,7 @@
  * in the top-level source directory and their institutional affiliations.
  * All rights reserved.  See the file COPYING in the top-level source
  * directory for licensing information.
- * ****************************************************************************
+ ******************************************************************************
  *
  * Assertion utility classes, functions and macros.
  */

diff --git a/src/base/check.h b/src/base/check.h
@@ -8,7 +8,7 @@
  * in the top-level source directory and their institutional affiliations.
  * All rights reserved.  See the file COPYING in the top-level source
  * directory for licensing information.
- * ****************************************************************************
+ ******************************************************************************
  *
  * Assertion utility classes, functions and macros.
  *

diff --git a/src/base/output.cpp b/src/base/output.cpp
@@ -8,7 +8,7 @@
  * in the top-level source directory and their institutional affiliations.
  * All rights reserved.  See the file COPYING in the top-level source
  * directory for licensing information.
- * ****************************************************************************
+ ******************************************************************************
  *
  * Output utility classes and functions.
  */

diff --git a/src/base/output.h b/src/base/output.h
@@ -8,7 +8,7 @@
  * in the top-level source directory and their institutional affiliations.
  * All rights reserved.  See the file COPYING in the top-level source
  * directory for licensing information.
- * ****************************************************************************
+ ******************************************************************************
  *
  * Output utility classes and functions.
  */

diff --git a/src/base/run.cpp b/src/base/run.cpp
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #include "base/run.h"
 
 #include <fcntl.h>
@@ -106,4 +114,3 @@ int runFile(const std::string& call, std::ostream& response)
 }
 
 }  // namespace alfc
-
diff --git a/src/base/run.h b/src/base/run.h
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #ifndef RUN_H
 #define RUN_H
 

diff --git a/src/cmd_parser.cpp b/src/cmd_parser.cpp
@@ -8,7 +8,7 @@
  * in the top-level source directory and their institutional affiliations.
  * All rights reserved.  See the file COPYING in the top-level source
  * directory for licensing information.
- * ****************************************************************************
+ ******************************************************************************
  *
  * The smt2 command parser.
  */

diff --git a/src/cmd_parser.h b/src/cmd_parser.h
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #ifndef CMD_PARSER_H
 #define CMD_PARSER_H
 

diff --git a/src/compiled.cpp b/src/compiled.cpp
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #include "type_checker.h"
 #include "state.h"
 

diff --git a/src/compiler.h b/src/compiler.h
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #ifndef COMPILER_H
 #define COMPILER_H
 

diff --git a/src/expr.cpp b/src/expr.cpp
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #include "expr.h"
 
 #include <iostream>
@@ -513,4 +521,3 @@ std::ostream& operator<<(std::ostream& out, const std::vector<ExprValue*>& es)
 }
 
 }  // namespace alfc
-
diff --git a/src/expr.h b/src/expr.h
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #ifndef EXPR_H
 #define EXPR_H
 

diff --git a/src/expr_info.h b/src/expr_info.h
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #ifndef EXPR_INFO_H
 #define EXPR_INFO_H
 

diff --git a/src/expr_parser.cpp b/src/expr_parser.cpp
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #include "expr_parser.h"
 
 #include <string.h>

diff --git a/src/expr_parser.h b/src/expr_parser.h
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #ifndef EXPR_PARSER_H
 #define EXPR_PARSER_H
 

diff --git a/src/expr_trie.h b/src/expr_trie.h
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #ifndef EXPR_TRIE_H
 #define EXPR_TRIE_H
 

diff --git a/src/input.cpp b/src/input.cpp
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #include "input.h"
 
 #include <fstream>

diff --git a/src/input.h b/src/input.h
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #ifndef INPUT_H
 #define INPUT_H
 

diff --git a/src/kind.cpp b/src/kind.cpp
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #include "kind.h"
 
 #include <iostream>

diff --git a/src/kind.h b/src/kind.h
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #ifndef KIND_H
 #define KIND_H
 

diff --git a/src/lexer.cpp b/src/lexer.cpp
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #include "lexer.h"
 
 #include <cassert>

diff --git a/src/lexer.h b/src/lexer.h
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #ifndef LEXER_H
 #define LEXER_H
 

diff --git a/src/literal.cpp b/src/literal.cpp
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #include "literal.h"
 
 #include "base/check.h"
@@ -452,4 +460,3 @@ Literal Literal::evaluate(Kind k, const std::vector<const Literal*>& args)
 }
 
 }  // namespace alfc
-
diff --git a/src/literal.h b/src/literal.h
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #ifndef LITERAL_H
 #define LITERAL_H
 

diff --git a/src/main.cpp b/src/main.cpp
@@ -1,5 +1,13 @@
-#include <unistd.h>
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 
+#include <unistd.h>
 #include <fstream>
 #include <iomanip>
 #include <iostream>

diff --git a/src/parser.cpp b/src/parser.cpp
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #include "parser.h"
 
 namespace alfc {

diff --git a/src/parser.h b/src/parser.h
@@ -1,3 +1,11 @@
+/******************************************************************************
+ * This file is part of the alfc project.
+ *
+ * Copyright (c) 2023-2024 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ ******************************************************************************/
 #ifndef PARSER_H
 #define PARSER_H