Happy New Year 🎉

sealangdotorg · Jan 29, 2024 · 9428abc · 9428abc
1 parent 217ca24
commit 9428abc
Show file tree

Hide file tree

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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