diff --git a/.clang-format b/.clang-format index 1dbd71c..f8d8f19 100644 --- a/.clang-format +++ b/.clang-format @@ -1,5 +1,5 @@ # -# Copyright (C) 2017-2023 CASM Organization +# Copyright (C) 2017-2024 CASM Organization # All rights reserved. # # Developed by: Philipp Paulweber et al. diff --git a/.cmake/Findlibtptp.cmake b/.cmake/Findlibtptp.cmake index 6d29d59..2dd6906 100644 --- a/.cmake/Findlibtptp.cmake +++ b/.cmake/Findlibtptp.cmake @@ -1,5 +1,5 @@ # -# Copyright (C) 2017-2023 CASM Organization +# Copyright (C) 2017-2024 CASM Organization # All rights reserved. # # Developed by: Philipp Paulweber et al. diff --git a/.cmake/Findlibz3.cmake b/.cmake/Findlibz3.cmake index d099e00..27c58a5 100644 --- a/.cmake/Findlibz3.cmake +++ b/.cmake/Findlibz3.cmake @@ -1,5 +1,5 @@ # -# Copyright (C) 2017-2023 CASM Organization +# Copyright (C) 2017-2024 CASM Organization # All rights reserved. # # Developed by: Philipp Paulweber et al. diff --git a/.gitattributes b/.gitattributes index f646722..a3d9568 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1,5 +1,5 @@ # -# Copyright (C) 2017-2023 CASM Organization +# Copyright (C) 2017-2024 CASM Organization # All rights reserved. # # Developed by: Philipp Paulweber et al. diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index b4ac5fd..788b835 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -1,5 +1,5 @@ # -# Copyright (C) 2017-2023 CASM Organization +# Copyright (C) 2017-2024 CASM Organization # All rights reserved. # # Developed by: Philipp Paulweber et al. diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index 28265b0..47f3e8a 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -1,5 +1,5 @@ # -# Copyright (C) 2017-2023 CASM Organization +# Copyright (C) 2017-2024 CASM Organization # All rights reserved. # # Developed by: Philipp Paulweber et al. diff --git a/.gitignore b/.gitignore index 02c04c5..99d4d30 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,5 @@ # -# Copyright (C) 2017-2023 CASM Organization +# Copyright (C) 2017-2024 CASM Organization # All rights reserved. # # Developed by: Philipp Paulweber et al. diff --git a/.gitmodules b/.gitmodules index 05370a8..71577f3 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,5 +1,5 @@ # -# Copyright (C) 2017-2023 CASM Organization +# Copyright (C) 2017-2024 CASM Organization # All rights reserved. # # Developed by: Philipp Paulweber et al. diff --git a/.ycm_extra_conf.py b/.ycm_extra_conf.py index dc9da0d..b95173e 100644 --- a/.ycm_extra_conf.py +++ b/.ycm_extra_conf.py @@ -1,5 +1,5 @@ # -# Copyright (C) 2017-2023 CASM Organization +# Copyright (C) 2017-2024 CASM Organization # All rights reserved. # # Developed by: Philipp Paulweber et al. diff --git a/CMakeLists.txt b/CMakeLists.txt index 8d05b50..1f2515b 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -1,5 +1,5 @@ # -# Copyright (C) 2017-2023 CASM Organization +# Copyright (C) 2017-2024 CASM Organization # All rights reserved. # # Developed by: Philipp Paulweber et al. diff --git a/LICENSE.txt b/LICENSE.txt index 546550c..b825198 100644 --- a/LICENSE.txt +++ b/LICENSE.txt @@ -1,5 +1,5 @@ -Copyright (C) 2017-2023 CASM Organization +Copyright (C) 2017-2024 CASM Organization All rights reserved. Developed by: Philipp Paulweber et al. diff --git a/Makefile b/Makefile index e40f90d..642927e 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ # -# Copyright (C) 2017-2023 CASM Organization +# Copyright (C) 2017-2024 CASM Organization # All rights reserved. # # Developed by: Philipp Paulweber et al. diff --git a/README.org b/README.org index d39a4b4..3707e9c 100644 --- a/README.org +++ b/README.org @@ -1,5 +1,5 @@ # -# Copyright (C) 2017-2023 CASM Organization +# Copyright (C) 2017-2024 CASM Organization # All rights reserved. # # Developed by: Philipp Paulweber et al. diff --git a/etc/CMakeLists.txt b/etc/CMakeLists.txt index da193a0..6da37ec 100644 --- a/etc/CMakeLists.txt +++ b/etc/CMakeLists.txt @@ -1,5 +1,5 @@ # -# Copyright (C) 2017-2023 CASM Organization +# Copyright (C) 2017-2024 CASM Organization # All rights reserved. # # Developed by: Philipp Paulweber et al. diff --git a/etc/benchmark/CMakeLists.txt b/etc/benchmark/CMakeLists.txt index 23d8d6d..6364966 100644 --- a/etc/benchmark/CMakeLists.txt +++ b/etc/benchmark/CMakeLists.txt @@ -1,5 +1,5 @@ # -# Copyright (C) 2017-2023 CASM Organization +# Copyright (C) 2017-2024 CASM Organization # All rights reserved. # # Developed by: Philipp Paulweber et al. diff --git a/etc/benchmark/main.cpp b/etc/benchmark/main.cpp index 40cd373..1474829 100644 --- a/etc/benchmark/main.cpp +++ b/etc/benchmark/main.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/etc/script.sh b/etc/script.sh index f79d8da..8ced2f5 100755 --- a/etc/script.sh +++ b/etc/script.sh @@ -1,6 +1,6 @@ #!/bin/bash # -# Copyright (C) 2017-2023 CASM Organization +# Copyright (C) 2017-2024 CASM Organization # All rights reserved. # # Developed by: Philipp Paulweber et al. diff --git a/etc/test/CMakeLists.txt b/etc/test/CMakeLists.txt index 430b947..d746332 100644 --- a/etc/test/CMakeLists.txt +++ b/etc/test/CMakeLists.txt @@ -1,5 +1,5 @@ # -# Copyright (C) 2017-2023 CASM Organization +# Copyright (C) 2017-2024 CASM Organization # All rights reserved. # # Developed by: Philipp Paulweber et al. diff --git a/etc/test/astToDot.cpp b/etc/test/astToDot.cpp index 40100a0..b445393 100644 --- a/etc/test/astToDot.cpp +++ b/etc/test/astToDot.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/etc/test/astToZ3.cpp b/etc/test/astToZ3.cpp index e380acd..d20b32a 100644 --- a/etc/test/astToZ3.cpp +++ b/etc/test/astToZ3.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/etc/test/cnf.cpp b/etc/test/cnf.cpp index 822252a..d4fd96d 100644 --- a/etc/test/cnf.cpp +++ b/etc/test/cnf.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/etc/test/example.cpp b/etc/test/example.cpp index c564c7a..99382bc 100644 --- a/etc/test/example.cpp +++ b/etc/test/example.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/etc/test/fof.cpp b/etc/test/fof.cpp index c637d79..ffa22b3 100644 --- a/etc/test/fof.cpp +++ b/etc/test/fof.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/etc/test/general.cpp b/etc/test/general.cpp index 9a05c77..9b651f4 100644 --- a/etc/test/general.cpp +++ b/etc/test/general.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/etc/test/macros.cpp b/etc/test/macros.cpp index 9ee76a4..eb782af 100644 --- a/etc/test/macros.cpp +++ b/etc/test/macros.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/etc/test/main.cpp b/etc/test/main.cpp index 89e6a1f..47e38e2 100644 --- a/etc/test/main.cpp +++ b/etc/test/main.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/etc/test/main.h b/etc/test/main.h index 0cd7e71..aacfd38 100644 --- a/etc/test/main.h +++ b/etc/test/main.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // 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 index 4f23d64..29aaa32 100644 --- a/etc/test/resources/cnf_formula.cpp +++ b/etc/test/resources/cnf_formula.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // 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 index 5422911..419df72 100644 --- a/etc/test/resources/fof_formula.cpp +++ b/etc/test/resources/fof_formula.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // 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 index 5f3d7cf..7d87f61 100644 --- a/etc/test/resources/tff_formula.cpp +++ b/etc/test/resources/tff_formula.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // 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 index 1e7edab..26297b3 100644 --- a/etc/test/resources/thf_formula.cpp +++ b/etc/test/resources/thf_formula.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // 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 index a106fa9..2c256f1 100644 --- a/etc/test/resources/tpi_formula.cpp +++ b/etc/test/resources/tpi_formula.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/etc/test/testhelper.cpp b/etc/test/testhelper.cpp index caf910f..deb2e83 100644 --- a/etc/test/testhelper.cpp +++ b/etc/test/testhelper.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/etc/test/testhelper.h b/etc/test/testhelper.h index 08a83ad..c9d3591 100644 --- a/etc/test/testhelper.h +++ b/etc/test/testhelper.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/etc/test/tff.cpp b/etc/test/tff.cpp index 02d5710..0c9d40f 100644 --- a/etc/test/tff.cpp +++ b/etc/test/tff.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/etc/test/thf.cpp b/etc/test/thf.cpp index 1d9f88c..54c02a4 100644 --- a/etc/test/thf.cpp +++ b/etc/test/thf.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/etc/test/tpi.cpp b/etc/test/tpi.cpp index 9185dc3..160e54c 100644 --- a/etc/test/tpi.cpp +++ b/etc/test/tpi.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/etc/test/z3.cpp b/etc/test/z3.cpp index 6976d60..7d35398 100644 --- a/etc/test/z3.cpp +++ b/etc/test/z3.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Atom.cpp b/src/Atom.cpp index 04eb613..c45803c 100644 --- a/src/Atom.cpp +++ b/src/Atom.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Atom.h b/src/Atom.h index 06f262e..e9ba84d 100644 --- a/src/Atom.h +++ b/src/Atom.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index b3b0a00..03c9275 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -1,5 +1,5 @@ # -# Copyright (C) 2017-2023 CASM Organization +# Copyright (C) 2017-2024 CASM Organization # All rights reserved. # # Developed by: Philipp Paulweber et al. diff --git a/src/Context.cpp b/src/Context.cpp index 82962d5..29b106a 100644 --- a/src/Context.cpp +++ b/src/Context.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Context.h b/src/Context.h index ec4c05f..719c66d 100644 --- a/src/Context.h +++ b/src/Context.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Definition.cpp b/src/Definition.cpp index 97599d8..5f671ce 100644 --- a/src/Definition.cpp +++ b/src/Definition.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Definition.h b/src/Definition.h index 0424f13..b574404 100644 --- a/src/Definition.h +++ b/src/Definition.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Formula.cpp b/src/Formula.cpp index 6c1cd77..00fe58d 100644 --- a/src/Formula.cpp +++ b/src/Formula.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Formula.h b/src/Formula.h index 42c3666..efe270d 100644 --- a/src/Formula.h +++ b/src/Formula.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/General.cpp b/src/General.cpp index d20cf63..0a81edb 100644 --- a/src/General.cpp +++ b/src/General.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/General.h b/src/General.h index 7a9d2f7..0cb8aee 100644 --- a/src/General.h +++ b/src/General.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/GrammarLexer.l b/src/GrammarLexer.l index 975de72..19d6d08 100644 --- a/src/GrammarLexer.l +++ b/src/GrammarLexer.l @@ -1,6 +1,6 @@ %{ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/GrammarParser.y b/src/GrammarParser.y index 1e19831..e87b1e6 100644 --- a/src/GrammarParser.y +++ b/src/GrammarParser.y @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/GrammarToken.hpp b/src/GrammarToken.hpp index bbb0bb3..8fa4825 100644 --- a/src/GrammarToken.hpp +++ b/src/GrammarToken.hpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Helper.h b/src/Helper.h index 8a1502a..0b0eceb 100644 --- a/src/Helper.h +++ b/src/Helper.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Identifier.cpp b/src/Identifier.cpp index cae19c8..1bf5125 100644 --- a/src/Identifier.cpp +++ b/src/Identifier.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Identifier.h b/src/Identifier.h index 9263d87..f500408 100644 --- a/src/Identifier.h +++ b/src/Identifier.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Lexer.cpp b/src/Lexer.cpp index c9e6000..ad13c11 100644 --- a/src/Lexer.cpp +++ b/src/Lexer.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Lexer.h b/src/Lexer.h index 288afbe..0f66fd3 100644 --- a/src/Lexer.h +++ b/src/Lexer.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Literal.cpp b/src/Literal.cpp index b75d45a..7d92a2a 100644 --- a/src/Literal.cpp +++ b/src/Literal.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Literal.h b/src/Literal.h index 3cf7d72..0184423 100644 --- a/src/Literal.h +++ b/src/Literal.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Logger.cpp b/src/Logger.cpp index 12aaf7d..159a65d 100644 --- a/src/Logger.cpp +++ b/src/Logger.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Logger.h b/src/Logger.h index 65d9f28..4bcd165 100644 --- a/src/Logger.h +++ b/src/Logger.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Logic.cpp b/src/Logic.cpp index e128035..c54c01b 100644 --- a/src/Logic.cpp +++ b/src/Logic.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Logic.h b/src/Logic.h index feda0b0..f880130 100644 --- a/src/Logic.h +++ b/src/Logic.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Node.cpp b/src/Node.cpp index c5e99a0..c483188 100644 --- a/src/Node.cpp +++ b/src/Node.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Node.h b/src/Node.h index 852cf30..cf7c87a 100644 --- a/src/Node.h +++ b/src/Node.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Role.cpp b/src/Role.cpp index ddd5d2e..657c2fa 100644 --- a/src/Role.cpp +++ b/src/Role.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Role.h b/src/Role.h index c392e5b..246107a 100644 --- a/src/Role.h +++ b/src/Role.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Specification.cpp b/src/Specification.cpp index 5842321..aa00fd9 100644 --- a/src/Specification.cpp +++ b/src/Specification.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Specification.h b/src/Specification.h index 8209eb3..b3642bd 100644 --- a/src/Specification.h +++ b/src/Specification.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/TPTP.h b/src/TPTP.h index 7d59f43..aecdd36 100644 --- a/src/TPTP.h +++ b/src/TPTP.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Term.cpp b/src/Term.cpp index e54a74f..60737d2 100644 --- a/src/Term.cpp +++ b/src/Term.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Term.h b/src/Term.h index 9d7a8f4..dfd6222 100644 --- a/src/Term.h +++ b/src/Term.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Token.cpp b/src/Token.cpp index e46dc14..0494091 100644 --- a/src/Token.cpp +++ b/src/Token.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Token.h b/src/Token.h index 74e34d3..14f1d28 100644 --- a/src/Token.h +++ b/src/Token.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Type.cpp b/src/Type.cpp index eb5f726..f7a7366 100644 --- a/src/Type.cpp +++ b/src/Type.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Type.h b/src/Type.h index 6f86a2c..d56d434 100644 --- a/src/Type.h +++ b/src/Type.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Version.in.h b/src/Version.in.h index 930cbdd..f00fbc4 100644 --- a/src/Version.in.h +++ b/src/Version.in.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Visitor.cpp b/src/Visitor.cpp index bd4e05f..6f82803 100644 --- a/src/Visitor.cpp +++ b/src/Visitor.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/Visitor.h b/src/Visitor.h index a01308e..f9b0abb 100644 --- a/src/Visitor.h +++ b/src/Visitor.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/analyze/ConsistencyCheckPass.cpp b/src/analyze/ConsistencyCheckPass.cpp index 1f5fc68..e43f5cc 100644 --- a/src/analyze/ConsistencyCheckPass.cpp +++ b/src/analyze/ConsistencyCheckPass.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/analyze/ConsistencyCheckPass.h b/src/analyze/ConsistencyCheckPass.h index 2d9fa10..b5c177f 100644 --- a/src/analyze/ConsistencyCheckPass.h +++ b/src/analyze/ConsistencyCheckPass.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/analyze/DumpDebugPass.cpp b/src/analyze/DumpDebugPass.cpp index f559e42..5bcc332 100644 --- a/src/analyze/DumpDebugPass.cpp +++ b/src/analyze/DumpDebugPass.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/analyze/DumpDebugPass.h b/src/analyze/DumpDebugPass.h index 0efadc5..2fca632 100644 --- a/src/analyze/DumpDebugPass.h +++ b/src/analyze/DumpDebugPass.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/libtptp.h b/src/libtptp.h index b08b50f..78ca09f 100644 --- a/src/libtptp.h +++ b/src/libtptp.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/transform/AstDumpDotPass.cpp b/src/transform/AstDumpDotPass.cpp index a3c3bb3..ac26221 100644 --- a/src/transform/AstDumpDotPass.cpp +++ b/src/transform/AstDumpDotPass.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/transform/AstDumpDotPass.h b/src/transform/AstDumpDotPass.h index df60d4b..64a83c0 100644 --- a/src/transform/AstDumpDotPass.h +++ b/src/transform/AstDumpDotPass.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/transform/AstToZ3Pass.cpp b/src/transform/AstToZ3Pass.cpp index 6d75e03..ae6ec6b 100644 --- a/src/transform/AstToZ3Pass.cpp +++ b/src/transform/AstToZ3Pass.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/transform/AstToZ3Pass.h b/src/transform/AstToZ3Pass.h index 24b081e..674bdc6 100644 --- a/src/transform/AstToZ3Pass.h +++ b/src/transform/AstToZ3Pass.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/transform/DumpSourcePass.cpp b/src/transform/DumpSourcePass.cpp index a699f8f..17ae77b 100644 --- a/src/transform/DumpSourcePass.cpp +++ b/src/transform/DumpSourcePass.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/transform/DumpSourcePass.h b/src/transform/DumpSourcePass.h index 81e61c1..0591e13 100644 --- a/src/transform/DumpSourcePass.h +++ b/src/transform/DumpSourcePass.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/transform/SourceToAstPass.cpp b/src/transform/SourceToAstPass.cpp index 3acc51c..1a22553 100644 --- a/src/transform/SourceToAstPass.cpp +++ b/src/transform/SourceToAstPass.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/transform/SourceToAstPass.h b/src/transform/SourceToAstPass.h index 9f6c447..4aee45d 100644 --- a/src/transform/SourceToAstPass.h +++ b/src/transform/SourceToAstPass.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/various/Token.cpp b/src/various/Token.cpp index 82288e9..21d189a 100644 --- a/src/various/Token.cpp +++ b/src/various/Token.cpp @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al. diff --git a/src/various/Token.h b/src/various/Token.h index a3b80b6..4e6e221 100644 --- a/src/various/Token.h +++ b/src/various/Token.h @@ -1,5 +1,5 @@ // -// Copyright (C) 2017-2023 CASM Organization +// Copyright (C) 2017-2024 CASM Organization // All rights reserved. // // Developed by: Philipp Paulweber et al.