Happy New Year 🎉

casm-lang · Jan 28, 2024 · 9c62cc5 · 9c62cc5
1 parent 59ce3f2
commit 9c62cc5
Show file tree

Hide file tree

Showing 94 changed files with 94 additions and 94 deletions.
diff --git a/.clang-format b/.clang-format
@@ -1,5 +1,5 @@
 #
-#   Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.

diff --git a/.cmake/Findlibtptp.cmake b/.cmake/Findlibtptp.cmake
@@ -1,5 +1,5 @@
 #
-#   Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.

diff --git a/.cmake/Findlibz3.cmake b/.cmake/Findlibz3.cmake
@@ -1,5 +1,5 @@
 #
-#   Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.

diff --git a/.gitattributes b/.gitattributes
@@ -1,5 +1,5 @@
 #
-#   Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,5 +1,5 @@
 #
-#   Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
@@ -1,5 +1,5 @@
 #
-#   Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.

diff --git a/.gitignore b/.gitignore
@@ -1,5 +1,5 @@
 #
-#   Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.

diff --git a/.gitmodules b/.gitmodules
@@ -1,5 +1,5 @@
 #
-#   Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.

diff --git a/.ycm_extra_conf.py b/.ycm_extra_conf.py
@@ -1,5 +1,5 @@
 #
-#   Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.

diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -1,5 +1,5 @@
 #
-#   Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.

diff --git a/LICENSE.txt b/LICENSE.txt
@@ -1,5 +1,5 @@
 
-Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 All rights reserved.
 
 Developed by: Philipp Paulweber et al.

diff --git a/Makefile b/Makefile
@@ -1,5 +1,5 @@
 #
-#   Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.

diff --git a/README.org b/README.org
@@ -1,5 +1,5 @@
 # 
-#   Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 # 
 #   Developed by: Philipp Paulweber et al.

diff --git a/etc/CMakeLists.txt b/etc/CMakeLists.txt
@@ -1,5 +1,5 @@
 #
-#   Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.

diff --git a/etc/benchmark/CMakeLists.txt b/etc/benchmark/CMakeLists.txt
@@ -1,5 +1,5 @@
 #
-#   Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.

diff --git a/etc/benchmark/main.cpp b/etc/benchmark/main.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/script.sh b/etc/script.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 #
-#   Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.

diff --git a/etc/test/CMakeLists.txt b/etc/test/CMakeLists.txt
@@ -1,5 +1,5 @@
 #
-#   Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.

diff --git a/etc/test/astToDot.cpp b/etc/test/astToDot.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/astToZ3.cpp b/etc/test/astToZ3.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/cnf.cpp b/etc/test/cnf.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/example.cpp b/etc/test/example.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/fof.cpp b/etc/test/fof.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/general.cpp b/etc/test/general.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/macros.cpp b/etc/test/macros.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/main.cpp b/etc/test/main.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/main.h b/etc/test/main.h
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/resources/cnf_formula.cpp b/etc/test/resources/cnf_formula.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/resources/fof_formula.cpp b/etc/test/resources/fof_formula.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/resources/tff_formula.cpp b/etc/test/resources/tff_formula.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/resources/thf_formula.cpp b/etc/test/resources/thf_formula.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/resources/tpi_formula.cpp b/etc/test/resources/tpi_formula.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/testhelper.cpp b/etc/test/testhelper.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/testhelper.h b/etc/test/testhelper.h
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/tff.cpp b/etc/test/tff.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/thf.cpp b/etc/test/thf.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/tpi.cpp b/etc/test/tpi.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/etc/test/z3.cpp b/etc/test/z3.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/src/Atom.cpp b/src/Atom.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/src/Atom.h b/src/Atom.h
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -1,5 +1,5 @@
 #
-#   Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.

diff --git a/src/Context.cpp b/src/Context.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/src/Context.h b/src/Context.h
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/src/Definition.cpp b/src/Definition.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/src/Definition.h b/src/Definition.h
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/src/Formula.cpp b/src/Formula.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/src/Formula.h b/src/Formula.h
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/src/General.cpp b/src/General.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/src/General.h b/src/General.h
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/src/GrammarLexer.l b/src/GrammarLexer.l
@@ -1,6 +1,6 @@
 %{
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/src/GrammarParser.y b/src/GrammarParser.y
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/src/GrammarToken.hpp b/src/GrammarToken.hpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/src/Helper.h b/src/Helper.h
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/src/Identifier.cpp b/src/Identifier.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/src/Identifier.h b/src/Identifier.h
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.

diff --git a/src/Lexer.cpp b/src/Lexer.cpp
@@ -1,5 +1,5 @@
 //
-//  Copyright (C) 2017-2023 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2017-2024 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.