Happy New Year 🎉

casm-lang · Feb 4, 2023 · 39dd12e · 39dd12e
1 parent 463bcf0
commit 39dd12e
Show file tree

Hide file tree

Showing 211 changed files with 426 additions and 426 deletions.
diff --git a/.clang-format b/.clang-format
@@ -1,9 +1,9 @@
 #
-#   Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.
-#                 <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+#   <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 #
 #   This file is part of libcasm-fe.
 #

diff --git a/.cmake/Findlibcasm-fe.cmake b/.cmake/Findlibcasm-fe.cmake
@@ -1,9 +1,9 @@
 #
-#   Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.
-#                 <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+#   <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 #
 #   This file is part of libcasm-fe.
 #

diff --git a/.gitattributes b/.gitattributes
@@ -1,9 +1,9 @@
 #
-#   Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.
-#                 <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+#   <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 #
 #   This file is part of libcasm-fe.
 #

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,9 +1,9 @@
 #
-#   Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.
-#                 <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+#   <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 #
 #   This file is part of libcasm-fe.
 #

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
@@ -1,9 +1,9 @@
 #
-#   Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.
-#                 <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+#   <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 #
 #   This file is part of libcasm-fe.
 #

diff --git a/.gitignore b/.gitignore
@@ -1,9 +1,9 @@
 #
-#   Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.
-#                 <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+#   <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 #
 #   This file is part of libcasm-fe.
 #

diff --git a/.gitmodules b/.gitmodules
@@ -1,9 +1,9 @@
 #
-#   Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.
-#                 <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+#   <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 #
 #   This file is part of libcasm-fe.
 #

diff --git a/.ycm_extra_conf.py b/.ycm_extra_conf.py
@@ -1,9 +1,9 @@
 #
-#   Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.
-#                 <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+#   <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 #
 #   This file is part of libcasm-fe.
 #

diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -1,9 +1,9 @@
 #
-#   Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.
-#                 <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+#   <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 #
 #   This file is part of libcasm-fe.
 #

diff --git a/LICENSE.txt b/LICENSE.txt
@@ -1,9 +1,9 @@
 
-Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 All rights reserved.
 
 Developed by: Philipp Paulweber et al.
-              <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+<https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 
 This file is part of libcasm-fe.
 

diff --git a/Makefile b/Makefile
@@ -1,9 +1,9 @@
 #
-#   Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.
-#                 <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+#   <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 #
 #   This file is part of libcasm-fe.
 #

diff --git a/README.org b/README.org
@@ -1,9 +1,9 @@
 # 
-#   Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 # 
 #   Developed by: Philipp Paulweber et al.
-#                 <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+#   <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 # 
 #   This file is part of libcasm-fe.
 # 

diff --git a/etc/CMakeLists.txt b/etc/CMakeLists.txt
@@ -1,9 +1,9 @@
 #
-#   Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.
-#                 <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+#   <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 #
 #   This file is part of libcasm-fe.
 #

diff --git a/etc/benchmark/CMakeLists.txt b/etc/benchmark/CMakeLists.txt
@@ -1,9 +1,9 @@
 #
-#   Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.
-#                 <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+#   <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 #
 #   This file is part of libcasm-fe.
 #

diff --git a/etc/benchmark/main.cpp b/etc/benchmark/main.cpp
@@ -1,9 +1,9 @@
 //
-//  Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.
-//                <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+//  <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 //
 //  This file is part of libcasm-fe.
 //

diff --git a/etc/script.sh b/etc/script.sh
@@ -1,10 +1,10 @@
 #!/bin/bash
 #
-#   Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.
-#                 <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+#   <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 #
 #   This file is part of libcasm-fe.
 #

diff --git a/etc/test/CMakeLists.txt b/etc/test/CMakeLists.txt
@@ -1,9 +1,9 @@
 #
-#   Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+#   Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 #   All rights reserved.
 #
 #   Developed by: Philipp Paulweber et al.
-#                 <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+#   <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 #
 #   This file is part of libcasm-fe.
 #

diff --git a/etc/test/cst/NodeTest.cpp b/etc/test/cst/NodeTest.cpp
@@ -1,9 +1,9 @@
 //
-//  Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.
-//                <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+//  <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 //
 //  This file is part of libcasm-fe.
 //

diff --git a/etc/test/cst/literal.cpp b/etc/test/cst/literal.cpp
@@ -1,9 +1,9 @@
 //
-//  Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.
-//                <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+//  <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 //
 //  This file is part of libcasm-fe.
 //

diff --git a/etc/test/cst/span.cpp b/etc/test/cst/span.cpp
@@ -1,9 +1,9 @@
 //
-//  Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.
-//                <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+//  <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 //
 //  This file is part of libcasm-fe.
 //

diff --git a/etc/test/import/FileLoadingStrategyTest.cpp b/etc/test/import/FileLoadingStrategyTest.cpp
@@ -1,9 +1,9 @@
 //
-//  Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.
-//                <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+//  <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 //
 //  This file is part of libcasm-fe.
 //

diff --git a/etc/test/import/SpecificationRepositoryTest.cpp b/etc/test/import/SpecificationRepositoryTest.cpp
@@ -1,9 +1,9 @@
 //
-//  Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.
-//                <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+//  <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 //
 //  This file is part of libcasm-fe.
 //

diff --git a/etc/test/main.cpp b/etc/test/main.cpp
@@ -1,9 +1,9 @@
 //
-//  Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.
-//                <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+//  <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 //
 //  This file is part of libcasm-fe.
 //

diff --git a/etc/test/main.h b/etc/test/main.h
@@ -1,9 +1,9 @@
 //
-//  Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.
-//                <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+//  <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 //
 //  This file is part of libcasm-fe.
 //

diff --git a/etc/test/numeric/expression_evaluation.cpp b/etc/test/numeric/expression_evaluation.cpp
@@ -1,9 +1,9 @@
 //
-//  Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.
-//                <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+//  <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 //
 //  This file is part of libcasm-fe.
 //

diff --git a/etc/test/pass.h b/etc/test/pass.h
@@ -1,9 +1,9 @@
 //
-//  Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.
-//                <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+//  <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 //
 //  This file is part of libcasm-fe.
 //

diff --git a/etc/test/passes.cpp b/etc/test/passes.cpp
@@ -1,9 +1,9 @@
 //
-//  Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.
-//                <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+//  <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 //
 //  This file is part of libcasm-fe.
 //

diff --git a/etc/test/project.cpp b/etc/test/project.cpp
@@ -1,9 +1,9 @@
 //
-//  Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.
-//                <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+//  <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 //
 //  This file is part of libcasm-fe.
 //

diff --git a/etc/test/symbolic/branch.cpp b/etc/test/symbolic/branch.cpp
@@ -1,9 +1,9 @@
 //
-//  Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.
-//                <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+//  <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 //
 //  This file is part of libcasm-fe.
 //

diff --git a/etc/test/symbolic/consistency.cpp b/etc/test/symbolic/consistency.cpp
@@ -1,9 +1,9 @@
 //
-//  Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.
-//                <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+//  <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 //
 //  This file is part of libcasm-fe.
 //

diff --git a/etc/test/symbolic/expression_evaluation.cpp b/etc/test/symbolic/expression_evaluation.cpp
@@ -1,9 +1,9 @@
 //
-//  Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.
-//                <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+//  <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 //
 //  This file is part of libcasm-fe.
 //

diff --git a/etc/test/symbolic/numeric_execution.cpp b/etc/test/symbolic/numeric_execution.cpp
@@ -1,9 +1,9 @@
 //
-//  Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.
-//                <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+//  <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 //
 //  This file is part of libcasm-fe.
 //

diff --git a/etc/test/symbolic/testhelper.cpp b/etc/test/symbolic/testhelper.cpp
@@ -1,9 +1,9 @@
 //
-//  Copyright (C) 2014-2022 CASM Organization <https://casm-lang.org>
+//  Copyright (C) 2014-2023 CASM Organization <https://casm-lang.org>
 //  All rights reserved.
 //
 //  Developed by: Philipp Paulweber et al.
-//                <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
+//  <https://github.com/casm-lang/libcasm-fe/graphs/contributors>
 //
 //  This file is part of libcasm-fe.
 //