Happy New Year 🎉

casm-lang · Feb 4, 2023 · f6f199b · f6f199b
1 parent 8042f86
commit f6f199b
Show file tree

Hide file tree

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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