diff --git a/bench/algorithms.cpp b/bench/algorithms.cpp index 04e94b5a..4dcf6135 100644 --- a/bench/algorithms.cpp +++ b/bench/algorithms.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/bench/constructors.cpp b/bench/constructors.cpp index c8c9d7ab..6234642e 100644 --- a/bench/constructors.cpp +++ b/bench/constructors.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/bench/implicant.cpp b/bench/implicant.cpp index 723217a8..9ab25301 100644 --- a/bench/implicant.cpp +++ b/bench/implicant.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/bench/one_bit.cpp b/bench/one_bit.cpp index b4effa7c..e52e8c36 100644 --- a/bench/one_bit.cpp +++ b/bench/one_bit.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/bench/operations.cpp b/bench/operations.cpp index b66444ea..7232abba 100644 --- a/bench/operations.cpp +++ b/bench/operations.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/examples/gf16_inverse.cpp b/examples/gf16_inverse.cpp index 097ed629..9507179d 100644 --- a/examples/gf16_inverse.cpp +++ b/examples/gf16_inverse.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/examples/isop.cpp b/examples/isop.cpp index 8f6238e4..538873ba 100644 --- a/examples/isop.cpp +++ b/examples/isop.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/examples/npn_enumeration.cpp b/examples/npn_enumeration.cpp index 2774502c..6b0a03b5 100644 --- a/examples/npn_enumeration.cpp +++ b/examples/npn_enumeration.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/examples/npn_enumeration_map.cpp b/examples/npn_enumeration_map.cpp index 5b3b7801..374b5a43 100644 --- a/examples/npn_enumeration_map.cpp +++ b/examples/npn_enumeration_map.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/examples/npn_random.cpp b/examples/npn_random.cpp index 49b3f87c..fde626f1 100644 --- a/examples/npn_random.cpp +++ b/examples/npn_random.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/examples/spectral_enumeration.cpp b/examples/spectral_enumeration.cpp index 428c1341..81e02aab 100644 --- a/examples/spectral_enumeration.cpp +++ b/examples/spectral_enumeration.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/examples/spectral_enumeration_file.cpp b/examples/spectral_enumeration_file.cpp index c6109f8f..61893908 100644 --- a/examples/spectral_enumeration_file.cpp +++ b/examples/spectral_enumeration_file.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/examples/spectral_enumeration_fuller.cpp b/examples/spectral_enumeration_fuller.cpp index 29ac597f..9a14dd7f 100644 --- a/examples/spectral_enumeration_fuller.cpp +++ b/examples/spectral_enumeration_fuller.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/examples/spectral_enumeration_map.cpp b/examples/spectral_enumeration_map.cpp index 6e975feb..f0efd70b 100644 --- a/examples/spectral_enumeration_map.cpp +++ b/examples/spectral_enumeration_map.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/affine.hpp b/include/kitty/affine.hpp index 7811ca77..9020794e 100644 --- a/include/kitty/affine.hpp +++ b/include/kitty/affine.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/algorithm.hpp b/include/kitty/algorithm.hpp index 9a090ce3..d89e6ec2 100644 --- a/include/kitty/algorithm.hpp +++ b/include/kitty/algorithm.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/bit_operations.hpp b/include/kitty/bit_operations.hpp index 279cacbc..51a089a2 100644 --- a/include/kitty/bit_operations.hpp +++ b/include/kitty/bit_operations.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/cnf.hpp b/include/kitty/cnf.hpp index 50733546..8a51ee7a 100644 --- a/include/kitty/cnf.hpp +++ b/include/kitty/cnf.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/constructors.hpp b/include/kitty/constructors.hpp index 5b77a114..a7cb0491 100644 --- a/include/kitty/constructors.hpp +++ b/include/kitty/constructors.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/cube.hpp b/include/kitty/cube.hpp index eedfa4ed..d634ea50 100644 --- a/include/kitty/cube.hpp +++ b/include/kitty/cube.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/decomposition.hpp b/include/kitty/decomposition.hpp index a1950fb6..fa368d98 100644 --- a/include/kitty/decomposition.hpp +++ b/include/kitty/decomposition.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/detail/constants.hpp b/include/kitty/detail/constants.hpp index 4579b4e0..8f57d04f 100644 --- a/include/kitty/detail/constants.hpp +++ b/include/kitty/detail/constants.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/detail/linear_constants.hpp b/include/kitty/detail/linear_constants.hpp index 946b3d4e..481492c5 100644 --- a/include/kitty/detail/linear_constants.hpp +++ b/include/kitty/detail/linear_constants.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/detail/mscfix.hpp b/include/kitty/detail/mscfix.hpp index dc6d453a..9453fa6d 100644 --- a/include/kitty/detail/mscfix.hpp +++ b/include/kitty/detail/mscfix.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/detail/shift.hpp b/include/kitty/detail/shift.hpp index ac425958..18e5ae37 100644 --- a/include/kitty/detail/shift.hpp +++ b/include/kitty/detail/shift.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/detail/utils.hpp b/include/kitty/detail/utils.hpp index 2def8cd4..907ab583 100644 --- a/include/kitty/detail/utils.hpp +++ b/include/kitty/detail/utils.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/dynamic_truth_table.hpp b/include/kitty/dynamic_truth_table.hpp index 87579604..021bc882 100644 --- a/include/kitty/dynamic_truth_table.hpp +++ b/include/kitty/dynamic_truth_table.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/enumeration.hpp b/include/kitty/enumeration.hpp index 102da831..e1e00a16 100644 --- a/include/kitty/enumeration.hpp +++ b/include/kitty/enumeration.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/esop.hpp b/include/kitty/esop.hpp index 6cf98baf..26f3d829 100644 --- a/include/kitty/esop.hpp +++ b/include/kitty/esop.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/hash.hpp b/include/kitty/hash.hpp index 25901ae7..684f3d2d 100644 --- a/include/kitty/hash.hpp +++ b/include/kitty/hash.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/implicant.hpp b/include/kitty/implicant.hpp index 07cc7c0a..4667ac24 100644 --- a/include/kitty/implicant.hpp +++ b/include/kitty/implicant.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/isop.hpp b/include/kitty/isop.hpp index dcb5d08f..fe09dc32 100644 --- a/include/kitty/isop.hpp +++ b/include/kitty/isop.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/karnaugh_map.hpp b/include/kitty/karnaugh_map.hpp index 221cfd17..0c6936f4 100644 --- a/include/kitty/karnaugh_map.hpp +++ b/include/kitty/karnaugh_map.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/kitty.hpp b/include/kitty/kitty.hpp index 39b0caec..d3dc3290 100644 --- a/include/kitty/kitty.hpp +++ b/include/kitty/kitty.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/npn.hpp b/include/kitty/npn.hpp index 58c0fdbf..00846d1e 100644 --- a/include/kitty/npn.hpp +++ b/include/kitty/npn.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/operations.hpp b/include/kitty/operations.hpp index 732bcffe..1faeee3f 100644 --- a/include/kitty/operations.hpp +++ b/include/kitty/operations.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/operators.hpp b/include/kitty/operators.hpp index 7b23f8d2..bc7e76c8 100644 --- a/include/kitty/operators.hpp +++ b/include/kitty/operators.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/partial_truth_table.hpp b/include/kitty/partial_truth_table.hpp index fa0bca8e..fdf2812e 100644 --- a/include/kitty/partial_truth_table.hpp +++ b/include/kitty/partial_truth_table.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/permutation.hpp b/include/kitty/permutation.hpp index cedc44d0..5388f4fe 100644 --- a/include/kitty/permutation.hpp +++ b/include/kitty/permutation.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/print.hpp b/include/kitty/print.hpp index 3a8505f4..e7e09803 100644 --- a/include/kitty/print.hpp +++ b/include/kitty/print.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/properties.hpp b/include/kitty/properties.hpp index d9a7c6b1..4a969c55 100644 --- a/include/kitty/properties.hpp +++ b/include/kitty/properties.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/quaternary_truth_table.hpp b/include/kitty/quaternary_truth_table.hpp index 8c91db4d..14996bad 100644 --- a/include/kitty/quaternary_truth_table.hpp +++ b/include/kitty/quaternary_truth_table.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/spectral.hpp b/include/kitty/spectral.hpp index 9afd9366..3451e972 100644 --- a/include/kitty/spectral.hpp +++ b/include/kitty/spectral.hpp @@ -1,6 +1,6 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL - * Copyright (C) 2017-2021 University of Victoria + * Copyright (C) 2017-2025 EPFL + * Copyright (C) 2017-2025 University of Victoria * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/spp.hpp b/include/kitty/spp.hpp index 42ecf5c9..1c4ac9de 100644 --- a/include/kitty/spp.hpp +++ b/include/kitty/spp.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/static_truth_table.hpp b/include/kitty/static_truth_table.hpp index 90efcb51..437ba8af 100644 --- a/include/kitty/static_truth_table.hpp +++ b/include/kitty/static_truth_table.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/ternary_truth_table.hpp b/include/kitty/ternary_truth_table.hpp index d3a59a99..0fe5a40e 100644 --- a/include/kitty/ternary_truth_table.hpp +++ b/include/kitty/ternary_truth_table.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/include/kitty/traits.hpp b/include/kitty/traits.hpp index 466f7de5..5281acd2 100644 --- a/include/kitty/traits.hpp +++ b/include/kitty/traits.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/affine.cpp b/test/affine.cpp index efa8240d..f8ba8e3a 100644 --- a/test/affine.cpp +++ b/test/affine.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/algorithm.cpp b/test/algorithm.cpp index bc3536fe..bdf7c8fd 100644 --- a/test/algorithm.cpp +++ b/test/algorithm.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/bit_operations.cpp b/test/bit_operations.cpp index f8252994..0e002466 100644 --- a/test/bit_operations.cpp +++ b/test/bit_operations.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/cnf.cpp b/test/cnf.cpp index c6985c91..56a16b41 100644 --- a/test/cnf.cpp +++ b/test/cnf.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/constructors.cpp b/test/constructors.cpp index 72c4061f..003f8b96 100644 --- a/test/constructors.cpp +++ b/test/constructors.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/cube.cpp b/test/cube.cpp index 03382ee4..b7ad0b5e 100644 --- a/test/cube.cpp +++ b/test/cube.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/decomposition.cpp b/test/decomposition.cpp index cad040bb..3c53a6ef 100644 --- a/test/decomposition.cpp +++ b/test/decomposition.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/enumeration.cpp b/test/enumeration.cpp index 5ea5689b..416efe16 100644 --- a/test/enumeration.cpp +++ b/test/enumeration.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/hash.cpp b/test/hash.cpp index 4123e500..7bad0dbf 100644 --- a/test/hash.cpp +++ b/test/hash.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/implicant.cpp b/test/implicant.cpp index e75908fb..049bfef5 100644 --- a/test/implicant.cpp +++ b/test/implicant.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/isop.cpp b/test/isop.cpp index 497e78bd..9ebd7c66 100644 --- a/test/isop.cpp +++ b/test/isop.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/npn.cpp b/test/npn.cpp index b02b20d8..6ff6201a 100644 --- a/test/npn.cpp +++ b/test/npn.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/operations.cpp b/test/operations.cpp index 22c75e7d..c8aa7154 100644 --- a/test/operations.cpp +++ b/test/operations.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/partial_truth_table.cpp b/test/partial_truth_table.cpp index 157831ad..87b30764 100644 --- a/test/partial_truth_table.cpp +++ b/test/partial_truth_table.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/permutation.cpp b/test/permutation.cpp index efa6a6cc..772cdde4 100644 --- a/test/permutation.cpp +++ b/test/permutation.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/print.cpp b/test/print.cpp index f7fbb453..af573a26 100644 --- a/test/print.cpp +++ b/test/print.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/properties.cpp b/test/properties.cpp index f08339a4..556eabe8 100644 --- a/test/properties.cpp +++ b/test/properties.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/spectral.cpp b/test/spectral.cpp index fe878ca4..0ad0b94d 100644 --- a/test/spectral.cpp +++ b/test/spectral.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/spp.cpp b/test/spp.cpp index 55256179..79167539 100644 --- a/test/spp.cpp +++ b/test/spp.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/tests.cpp b/test/tests.cpp index 1bc1236e..93f1a898 100644 --- a/test/tests.cpp +++ b/test/tests.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/traits.cpp b/test/traits.cpp index 068780a9..cd5d46a4 100644 --- a/test/traits.cpp +++ b/test/traits.cpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2020 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation diff --git a/test/utility.hpp b/test/utility.hpp index 497097fd..47f548e8 100644 --- a/test/utility.hpp +++ b/test/utility.hpp @@ -1,5 +1,5 @@ /* kitty: C++ truth table library - * Copyright (C) 2017-2022 EPFL + * Copyright (C) 2017-2025 EPFL * * Permission is hereby granted, free of charge, to any person * obtaining a copy of this software and associated documentation