From 56c03e3f290230463061a295016cff5c431682aa Mon Sep 17 00:00:00 2001 From: Alastair Reid Date: Tue, 7 Jan 2025 05:30:02 +0000 Subject: [PATCH] Update copyright year --- LICENSE | 2 +- Makefile | 2 +- README.md | 2 +- bin/asli.ml | 4 ++-- bin/dune | 2 +- demo/Makefile | 2 +- demo/demo.asl | 2 +- demo/simulator.c | 2 +- demo/test.prj | 2 +- dune-project | 16 ++++++++++------ libASL/asl_ast.ml | 2 +- libASL/asl_fmt.ml | 2 +- libASL/asl_fmt.mli | 2 +- libASL/asl_parser.mly | 2 +- libASL/asl_utils.ml | 2 +- libASL/asl_utils.mli | 2 +- libASL/asl_visitor.ml | 2 +- libASL/asl_visitor.mli | 2 +- libASL/backend_c.ml | 2 +- libASL/backend_c_new.ml | 2 +- libASL/backend_c_new.mli | 2 +- libASL/backend_cpp.ml | 2 +- libASL/bin_file.ml | 2 +- libASL/bin_file.mli | 2 +- libASL/builtin_idents.ml | 2 +- libASL/builtin_idents.mli | 2 +- libASL/check_monomorphization.ml | 2 +- libASL/commands.ml | 2 +- libASL/commands.mli | 2 +- libASL/configuration.ml | 2 +- libASL/configuration.mli | 2 +- libASL/cpu.ml | 2 +- libASL/cpu.mli | 2 +- libASL/dune | 2 +- libASL/elf.ml | 2 +- libASL/error.ml | 2 +- libASL/error.mli | 2 +- libASL/eval.ml | 2 +- libASL/eval.mli | 2 +- libASL/flags.ml | 2 +- libASL/flags.mli | 2 +- libASL/format_utils.ml | 2 +- libASL/format_utils.mli | 2 +- libASL/global_checks.ml | 2 +- libASL/global_checks.mli | 2 +- libASL/ident.ml | 2 +- libASL/ident.mli | 2 +- libASL/identset.ml | 2 +- libASL/identset.mli | 2 +- libASL/lattice.ml | 2 +- libASL/lexer.mll | 2 +- libASL/lexersupport.ml | 2 +- libASL/loadASL.ml | 2 +- libASL/loadASL.mli | 2 +- libASL/loc.ml | 2 +- libASL/loc.mli | 2 +- libASL/metadata.ml | 2 +- libASL/metadata.mli | 2 +- libASL/primops.ml | 2 +- libASL/runtime.ml | 2 +- libASL/runtime.mli | 2 +- libASL/runtime_ac.ml | 2 +- libASL/runtime_ac.mli | 2 +- libASL/runtime_c23.ml | 2 +- libASL/runtime_c23.mli | 2 +- libASL/runtime_fallback.ml | 2 +- libASL/runtime_fallback.mli | 2 +- libASL/scope.ml | 2 +- libASL/scope.mli | 2 +- libASL/scopeStack.ml | 2 +- libASL/scopeStack.mli | 2 +- libASL/tcheck.ml | 2 +- libASL/utils.ml | 2 +- libASL/utils.mli | 2 +- libASL/value.ml | 2 +- libASL/value.mli | 2 +- libASL/xform_bitslices.ml | 2 +- libASL/xform_bitslices.mli | 2 +- libASL/xform_bittuples.ml | 2 +- libASL/xform_bittuples.mli | 2 +- libASL/xform_case.ml | 2 +- libASL/xform_case.mli | 2 +- libASL/xform_constprop.ml | 2 +- libASL/xform_constprop.mli | 2 +- libASL/xform_desugar.ml | 2 +- libASL/xform_desugar.mli | 2 +- libASL/xform_getset.ml | 2 +- libASL/xform_getset.mli | 2 +- libASL/xform_int_bitslices.ml | 2 +- libASL/xform_int_bitslices.mli | 2 +- libASL/xform_lower.ml | 2 +- libASL/xform_lower.mli | 2 +- libASL/xform_mono.ml | 2 +- libASL/xform_mono.mli | 2 +- libASL/xform_named_type.ml | 2 +- libASL/xform_named_type.mli | 2 +- libASL/xform_simplify_expr.ml | 2 +- libASL/xform_simplify_expr.mli | 2 +- libASL/xform_tuples.ml | 2 +- libASL/xform_tuples.mli | 2 +- libASL/xform_valid.ml | 2 +- libASL/xform_valid.mli | 2 +- libASL/xform_wrap.ml | 2 +- libASL/xform_wrap.mli | 2 +- prelude.asl | 2 +- runtime/Makefile | 2 +- runtime/external/googletest | 2 +- runtime/include/asl/bits1024.h | 2 +- runtime/include/asl/bits128.h | 2 +- runtime/include/asl/bits256.h | 2 +- runtime/include/asl/bits512.h | 2 +- runtime/include/asl/bits64.h | 2 +- runtime/include/asl/bits_template.h | 2 +- runtime/include/asl/error.h | 2 +- runtime/include/asl/integer.h | 2 +- runtime/include/asl/print.h | 2 +- runtime/include/asl/print_template.h | 2 +- runtime/include/asl/ram.h | 2 +- runtime/include/asl/runtime.h | 2 +- runtime/include/asl/runtime.hpp | 2 +- runtime/include/asl/set_slice_template.h | 2 +- runtime/include/asl/track_valid.h | 2 +- runtime/lib/bits1024.c | 2 +- runtime/lib/bits128.c | 2 +- runtime/lib/bits256.c | 2 +- runtime/lib/bits512.c | 2 +- runtime/lib/bits64.c | 2 +- runtime/lib/bits_template_c.h | 2 +- runtime/lib/error.c | 2 +- runtime/lib/ram.c | 2 +- runtime/lib/set_slice_template_c.h | 2 +- runtime/lib/sign_extend_bits_template_c.h | 2 +- runtime/test/Makefile | 2 +- runtime/test/bits_test.cc | 2 +- runtime/test/bits_test_template.h | 2 +- runtime/test/integer_test.cc | 2 +- runtime/test/ram_test.cc | 2 +- runtime/test/sign_extend_bits_test_template.h | 2 +- tests/asl_test.ml | 2 +- tests/asl_utils_test.ml | 2 +- tests/backend_c_c23_test.ml | 2 +- tests/backend_c_fallback_test.ml | 2 +- tests/backend_c_orig_test.ml | 2 +- tests/backends/bits_add_00.asl | 2 +- tests/backends/bits_and_00.asl | 2 +- tests/backends/bits_append_00.asl | 2 +- tests/backends/bits_asr_00.asl | 2 +- tests/backends/bits_cvt_sint_00.asl | 2 +- tests/backends/bits_cvt_ssintN_00.asl | 2 +- tests/backends/bits_cvt_uint_00.asl | 2 +- tests/backends/bits_cvt_usintN_00.asl | 2 +- tests/backends/bits_eq_00.asl | 2 +- tests/backends/bits_get_slice_00.asl | 2 +- tests/backends/bits_lsl_00.asl | 2 +- tests/backends/bits_lsr_00.asl | 2 +- tests/backends/bits_mk_mask_00.asl | 2 +- tests/backends/bits_mul_00.asl | 2 +- tests/backends/bits_ne_00.asl | 2 +- tests/backends/bits_not_00.asl | 2 +- tests/backends/bits_ones_00.asl | 2 +- tests/backends/bits_or_00.asl | 2 +- tests/backends/bits_print_hex_00.asl | 2 +- tests/backends/bits_print_hex_01.asl | 2 +- tests/backends/bits_replicate_00.asl | 2 +- tests/backends/bits_set_slice_00.asl | 2 +- tests/backends/bits_sext_00.asl | 2 +- tests/backends/bits_sext_01.asl | 2 +- tests/backends/bits_sub_00.asl | 2 +- tests/backends/bits_xor_00.asl | 2 +- tests/backends/bits_zeros_00.asl | 2 +- tests/backends/bits_zext_00.asl | 2 +- tests/backends/exceptions_00.asl | 2 +- tests/backends/expr_IN_00.asl | 2 +- tests/backends/expr_as_00.asl | 2 +- tests/backends/expr_bitslice_00.asl | 2 +- tests/backends/expr_if_00.asl | 2 +- tests/backends/expr_intslice_00.asl | 2 +- tests/backends/expr_let_00.asl | 2 +- tests/backends/expr_var_00.asl | 2 +- tests/backends/int_add_00.asl | 2 +- tests/backends/int_align_00.asl | 2 +- tests/backends/int_cvt_bits_00.asl | 2 +- tests/backends/int_eq_00.asl | 2 +- tests/backends/int_exact_div_00.asl | 2 +- tests/backends/int_fdiv_00.asl | 2 +- tests/backends/int_frem_00.asl | 2 +- tests/backends/int_ge_00.asl | 2 +- tests/backends/int_gt_00.asl | 2 +- tests/backends/int_is_pow2_00.asl | 2 +- tests/backends/int_le_00.asl | 2 +- tests/backends/int_lt_00.asl | 2 +- tests/backends/int_mod_pow2_00.asl | 2 +- tests/backends/int_mul_00.asl | 2 +- tests/backends/int_ne_00.asl | 2 +- tests/backends/int_neg_00.asl | 2 +- tests/backends/int_pow2_00.asl | 2 +- tests/backends/int_print_dec.asl | 2 +- tests/backends/int_print_hex.asl | 2 +- tests/backends/int_shl_00.asl | 2 +- tests/backends/int_shr_00.asl | 2 +- tests/backends/int_sub_00.asl | 2 +- tests/backends/int_zdiv_00.asl | 2 +- tests/backends/int_zrem_00.asl | 2 +- tests/backends/print_char_00.asl | 2 +- tests/backends/print_str_00.asl | 2 +- tests/backends/sintN_add_00.asl | 2 +- tests/backends/sintN_align_00.asl | 2 +- tests/backends/sintN_cvt_bits_00.asl | 2 +- tests/backends/sintN_cvt_from_int_00.asl | 2 +- tests/backends/sintN_cvt_to_int_00.asl | 2 +- tests/backends/sintN_eq_00.asl | 2 +- tests/backends/sintN_exact_div_00.asl | 2 +- tests/backends/sintN_fdiv_00.asl | 2 +- tests/backends/sintN_frem_00.asl | 2 +- tests/backends/sintN_ge_00.asl | 2 +- tests/backends/sintN_gt_00.asl | 2 +- tests/backends/sintN_is_pow2_00.asl | 2 +- tests/backends/sintN_le_00.asl | 2 +- tests/backends/sintN_lt_00.asl | 2 +- tests/backends/sintN_mod_pow2_00.asl | 2 +- tests/backends/sintN_mul_00.asl | 2 +- tests/backends/sintN_ne_00.asl | 2 +- tests/backends/sintN_neg_00.asl | 2 +- tests/backends/sintN_pow2_00.asl | 2 +- tests/backends/sintN_print_dec.asl | 2 +- tests/backends/sintN_print_hex.asl | 2 +- tests/backends/sintN_resize_00.asl | 2 +- tests/backends/sintN_shl_00.asl | 2 +- tests/backends/sintN_shr_00.asl | 2 +- tests/backends/sintN_sub_00.asl | 2 +- tests/backends/sintN_zdiv_00.asl | 2 +- tests/backends/sintN_zrem_00.asl | 2 +- tests/backends/stmt_assert_00.asl | 2 +- tests/backends/stmt_assert_01.asl | 2 +- tests/backends/stmt_assign_00.asl | 2 +- tests/backends/stmt_block_00.asl | 2 +- tests/backends/stmt_case_00.asl | 2 +- tests/backends/stmt_case_01.asl | 2 +- tests/backends/stmt_case_02.asl | 2 +- tests/backends/stmt_case_03.asl | 2 +- tests/backends/stmt_case_04.asl | 2 +- tests/backends/stmt_case_05.asl | 2 +- tests/backends/stmt_for_00.asl | 2 +- tests/backends/stmt_for_01.asl | 2 +- tests/backends/stmt_if_00.asl | 2 +- tests/backends/stmt_let_00.asl | 2 +- tests/backends/stmt_repeat_00.asl | 2 +- tests/backends/stmt_return_00.asl | 2 +- tests/backends/stmt_return_01.asl | 2 +- tests/backends/stmt_return_02.asl | 2 +- tests/backends/stmt_try_00.asl | 2 +- tests/backends/stmt_try_01.asl | 2 +- tests/backends/stmt_try_02.asl | 2 +- tests/backends/stmt_var_00.asl | 2 +- tests/backends/stmt_while_00.asl | 2 +- tests/backends/type_array_00.asl | 2 +- tests/backends/type_array_01.asl | 2 +- tests/backends/type_array_02.asl | 2 +- tests/backends/type_bool_00.asl | 2 +- tests/backends/type_enum_00.asl | 2 +- tests/backends/type_ram_00.asl | 2 +- tests/backends/type_record_00.asl | 2 +- tests/dune | 2 +- tests/lit.cfg | 2 +- tests/lit/check_monomorphization/test_00.asl | 2 +- tests/lit/globalchecks/eval_order_00.asl | 2 +- tests/lit/globalchecks/eval_order_01.asl | 2 +- tests/lit/globalchecks/eval_order_02.asl | 2 +- tests/lit/globalchecks/eval_order_03.asl | 2 +- tests/lit/globalchecks/eval_order_04.asl | 2 +- tests/lit/globalchecks/eval_order_05.asl | 2 +- tests/lit/globalchecks/eval_order_06.asl | 2 +- tests/lit/globalchecks/markers_00.asl | 2 +- tests/lit/globalchecks/markers_01.asl | 2 +- tests/lit/globalchecks/noreturn_00.asl | 2 +- tests/lit/globalchecks/rethrow_00.asl | 2 +- tests/lit/globalchecks/rethrow_01.asl | 2 +- tests/lit/globalchecks/rethrow_02.asl | 2 +- tests/lit/globalchecks/rethrow_03.asl | 2 +- tests/lit/globalchecks/rethrow_04.asl | 2 +- tests/lit/parser/directive_line.asl | 2 +- tests/lit/tcheck/conflicting_00.asl | 2 +- tests/lit/tcheck/conflicting_01.asl | 2 +- tests/lit/tcheck/function_arg_00.asl | 2 +- tests/lit/tcheck/immutable_00.asl | 2 +- tests/lit/tcheck/immutable_01.asl | 2 +- tests/lit/tcheck/immutable_02.asl | 2 +- tests/lit/tcheck/immutable_03.asl | 2 +- tests/lit/tcheck/immutable_04.asl | 2 +- tests/lit/tcheck/immutable_05.asl | 2 +- tests/lit/tcheck/immutable_06.asl | 2 +- tests/lit/tcheck/immutable_07.asl | 2 +- tests/lit/tcheck/immutable_08.asl | 2 +- tests/lit/tcheck/implicit_params_00.asl | 2 +- tests/lit/tcheck/implicit_params_01.asl | 2 +- tests/lit/tcheck/missing_00.asl | 2 +- tests/lit/tcheck/patterns_00.asl | 2 +- tests/lit/tcheck/record_init_00.asl | 2 +- tests/lit/tcheck/record_init_01.asl | 2 +- tests/lit/tcheck/records_00.asl | 2 +- tests/lit/tcheck/records_01.asl | 2 +- tests/lit/tcheck/records_02.asl | 2 +- tests/lit/tcheck/return_type_01.asl | 2 +- tests/lit/tcheck/setter_00.asl | 2 +- tests/lit/tcheck/setter_01.asl | 2 +- tests/lit/tcheck/shadowing_00.asl | 2 +- tests/lit/tcheck/shadowing_01.asl | 2 +- tests/lit/tcheck/shadowing_02.asl | 2 +- tests/lit/tcheck/shadowing_03.asl | 2 +- tests/lit/tcheck/subtypes_00.asl | 2 +- tests/lit/tcheck/type_constants_00.asl | 2 +- tests/lit/tcheck/type_width_00.asl | 2 +- tests/lit/tcheck/type_width_01.asl | 2 +- tests/loadasl_test.ml | 2 +- tests/test_cases_backend.ml | 2 +- tests/test_utils.ml | 2 +- tests/test_utils_backend.ml | 2 +- tests/xform_bitslices_test.ml | 2 +- tests/xform_bittuples_test.ml | 2 +- tests/xform_case_test.ml | 2 +- tests/xform_constprop_test.ml | 2 +- tests/xform_getset_test.ml | 2 +- tests/xform_int_bitslices_test.ml | 2 +- tests/xform_lower_test.ml | 2 +- tests/xform_mono_test.ml | 2 +- tests/xform_named_type_test.ml | 2 +- tests/xform_simplify_expr_test.ml | 2 +- tests/xform_tuples_test.ml | 2 +- tests/xform_valid_test.ml | 2 +- tests/xform_wrap_test.ml | 2 +- 330 files changed, 340 insertions(+), 336 deletions(-) diff --git a/LICENSE b/LICENSE index 98890625..2fc53641 100644 --- a/LICENSE +++ b/LICENSE @@ -1,5 +1,5 @@ Copyright (c) 2017-2019 Arm Limited -Copyright (C) 2022-2024 Intel Corporation +Copyright (C) 2022-2025 Intel Corporation SPDX-Licence-Identifier: BSD-3-Clause Redistribution and use in source and binary forms, with or without diff --git a/Makefile b/Makefile index 590e0b6d..3df1b440 100644 --- a/Makefile +++ b/Makefile @@ -2,7 +2,7 @@ # ASL Makefile # # Copyright Arm Limited (c) 2017-2019 -# Copyright (C) 2022-2024 Intel Corporation +# Copyright (C) 2022-2025 Intel Corporation # SPDX-Licence-Identifier: BSD-3-Clause ################################################################ diff --git a/README.md b/README.md index 88fd6c93..897655a0 100644 --- a/README.md +++ b/README.md @@ -205,7 +205,7 @@ statements and expressions. _____ _ _ /\ / ____|| | (_) ASL interpreter / \ | (___ | | _ Copyright Arm Limited (c) 2017-2019 - / /\ \ \___ \ | | | | Copyright (C) 2022-2024 Intel Corporation + / /\ \ \___ \ | | | | Copyright (C) 2022-2025 Intel Corporation / ____ \ ____) || |____ | | /_/ \_\|_____/ |______||_| ASLi 1.0.0 diff --git a/bin/asli.ml b/bin/asli.ml index 8a7748b6..9bb8388b 100644 --- a/bin/asli.ml +++ b/bin/asli.ml @@ -2,7 +2,7 @@ * ASL interactive frontend * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) @@ -386,7 +386,7 @@ let banner = {| _____ _ _ |}; {| /\ / ____|| | (_) ASL interpreter |}; {| / \ | (___ | | _ Copyright Arm Limited (c) 2017-2019|}; - {| / /\ \ \___ \ | | | | Copyright (C) 2022-2024 Intel Corporation|}; + {| / /\ \ \___ \ | | | | Copyright (C) 2022-2025 Intel Corporation|}; {| / ____ \ ____) || |____ | | |}; {|/_/ \_\|_____/ |______||_| |} ^ version; ] diff --git a/bin/dune b/bin/dune index 14bf86e3..11c32d33 100644 --- a/bin/dune +++ b/bin/dune @@ -1,5 +1,5 @@ ; Copyright Arm Limited (c) 2017-2019 -; Copyright (C) 2022-2024 Intel Corporation +; Copyright (C) 2022-2025 Intel Corporation ; SPDX-Licence-Identifier: BSD-3-Clause (executable diff --git a/demo/Makefile b/demo/Makefile index 8ea24a13..242c14a1 100644 --- a/demo/Makefile +++ b/demo/Makefile @@ -1,7 +1,7 @@ ################################################################ # Demo Makefile # -# Copyright (C) 2022-2024 Intel Corporation +# Copyright (C) 2022-2025 Intel Corporation # SPDX-Licence-Identifier: BSD-3-Clause ################################################################ diff --git a/demo/demo.asl b/demo/demo.asl index b8b684d9..ba3a1a76 100644 --- a/demo/demo.asl +++ b/demo/demo.asl @@ -2,7 +2,7 @@ // A simple 64-bit processor spec for use as a demo. // (This is not intended to match any actual processor) // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation ///////////////////////////////////////////////////////////////// ///////////////////////////////////////////////////////////////// diff --git a/demo/simulator.c b/demo/simulator.c index f565be60..4aaa3b49 100644 --- a/demo/simulator.c +++ b/demo/simulator.c @@ -2,7 +2,7 @@ * An example simulator harness for use when compiling an ISA * specification to C code. * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation ****************************************************************/ #include diff --git a/demo/test.prj b/demo/test.prj index 35bb32cc..3582dae3 100644 --- a/demo/test.prj +++ b/demo/test.prj @@ -1,4 +1,4 @@ -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation :elf test.elf // CHECK: Loading ELF file test.elf. diff --git a/dune-project b/dune-project index 2dc9725b..631bce73 100644 --- a/dune-project +++ b/dune-project @@ -5,7 +5,7 @@ (version 1.0.0) ; Copyright Arm Limited (c) 2017-2019 -; Copyright (C) 2022-2024 Intel Corporation +; Copyright (C) 2022-2025 Intel Corporation ; SPDX-Licence-Identifier: BSD-3-Clause (using menhir 2.0) @@ -13,7 +13,11 @@ (package (name asli) (synopsis "Interpreter for Architecture Specification Language (ASL)") - (description "\| Interpreter for the language ASL that Arm and Intel use to write their ISA specifications. + (description "\| Architecture Specification Language (ASL) is an executable language for writing + "\| clear, precise specifications of Instruction Set Architectures (ISAs). + "\| + "\| The ASL interpreter (ASLi) is an implementation of ASL that can execute ASL + "\| specifications either in an interpreter or by compiling via C code. "\| "\| Currently supports reading/typechecking the specification, "\| interactive execution of ASL statements and expressions, @@ -44,10 +48,10 @@ (license BSD-3-Clause) (authors "Alastair Reid") -(maintainers "Alastair Reid ") -(source (github alastairreid/asl-interpreter)) -(bug_reports "https://github.com/alastairreid/asl-interpreter/issues") -(homepage "https://github.com/alastairreid/asl-interpreter") +(maintainers "Alastair Reid ") +(source (github IntelLabs/asl-interpreter)) +(bug_reports "https://github.com/IntelLabs/asl-interpreter/issues") +(homepage "https://github.com/IntelLabs/asl-interpreter") ; (documentation ...) (generate_opam_files true) diff --git a/libASL/asl_ast.ml b/libASL/asl_ast.ml index edaf2fa8..0c3df128 100644 --- a/libASL/asl_ast.ml +++ b/libASL/asl_ast.ml @@ -2,7 +2,7 @@ * ASL AST definitions * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/asl_fmt.ml b/libASL/asl_fmt.ml index 27d7b9bb..ff1ff656 100644 --- a/libASL/asl_fmt.ml +++ b/libASL/asl_fmt.ml @@ -1,7 +1,7 @@ (**************************************************************** * ASL format * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/asl_fmt.mli b/libASL/asl_fmt.mli index b226ccdd..e8b93abf 100644 --- a/libASL/asl_fmt.mli +++ b/libASL/asl_fmt.mli @@ -1,7 +1,7 @@ (**************************************************************** * ASL pretty printer * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/asl_parser.mly b/libASL/asl_parser.mly index 66c20088..68e88131 100644 --- a/libASL/asl_parser.mly +++ b/libASL/asl_parser.mly @@ -2,7 +2,7 @@ * ASL grammar file * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/asl_utils.ml b/libASL/asl_utils.ml index 436c312d..c2f86024 100644 --- a/libASL/asl_utils.ml +++ b/libASL/asl_utils.ml @@ -2,7 +2,7 @@ * ASL utility functions * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/asl_utils.mli b/libASL/asl_utils.mli index 9753f37d..2992aa45 100644 --- a/libASL/asl_utils.mli +++ b/libASL/asl_utils.mli @@ -2,7 +2,7 @@ * ASL utility functions * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/asl_visitor.ml b/libASL/asl_visitor.ml index b263c612..0cb98659 100644 --- a/libASL/asl_visitor.ml +++ b/libASL/asl_visitor.ml @@ -2,7 +2,7 @@ * ASL visitor class * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause * * This code follows the pattern used in the cilVisitor class in diff --git a/libASL/asl_visitor.mli b/libASL/asl_visitor.mli index 6df19bd0..4f74b025 100644 --- a/libASL/asl_visitor.mli +++ b/libASL/asl_visitor.mli @@ -2,7 +2,7 @@ * ASL visitor class * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause * * This code follows the pattern used in the cilVisitor class in diff --git a/libASL/backend_c.ml b/libASL/backend_c.ml index 517940d4..4f517297 100644 --- a/libASL/backend_c.ml +++ b/libASL/backend_c.ml @@ -1,7 +1,7 @@ (**************************************************************** * ASL to C backend * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/backend_c_new.ml b/libASL/backend_c_new.ml index d054644f..144f9450 100644 --- a/libASL/backend_c_new.ml +++ b/libASL/backend_c_new.ml @@ -1,7 +1,7 @@ (**************************************************************** * ASL to C backend * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/backend_c_new.mli b/libASL/backend_c_new.mli index 5d9a0894..1de0ef7c 100644 --- a/libASL/backend_c_new.mli +++ b/libASL/backend_c_new.mli @@ -1,7 +1,7 @@ (**************************************************************** * ASL to C backend * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/backend_cpp.ml b/libASL/backend_cpp.ml index 5ceac2b8..d5279f6c 100644 --- a/libASL/backend_cpp.ml +++ b/libASL/backend_cpp.ml @@ -1,7 +1,7 @@ (**************************************************************** * ASL to CPP backend * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/bin_file.ml b/libASL/bin_file.ml index e7d60800..cf68d19c 100644 --- a/libASL/bin_file.ml +++ b/libASL/bin_file.ml @@ -3,7 +3,7 @@ * * Simplistic binary file loader * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/bin_file.mli b/libASL/bin_file.mli index 14a02004..264ce850 100644 --- a/libASL/bin_file.mli +++ b/libASL/bin_file.mli @@ -3,7 +3,7 @@ * * Simplistic binary file loader * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/builtin_idents.ml b/libASL/builtin_idents.ml index 0e38ef53..8b3e453e 100644 --- a/libASL/builtin_idents.ml +++ b/libASL/builtin_idents.ml @@ -1,7 +1,7 @@ (**************************************************************** * Identifiers of builtin function, types, etc. * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/builtin_idents.mli b/libASL/builtin_idents.mli index 18c5c380..98dc6b43 100644 --- a/libASL/builtin_idents.mli +++ b/libASL/builtin_idents.mli @@ -1,7 +1,7 @@ (**************************************************************** * Identifiers of builtin function, types, etc. * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/check_monomorphization.ml b/libASL/check_monomorphization.ml index aebff24c..56cba8cb 100644 --- a/libASL/check_monomorphization.ml +++ b/libASL/check_monomorphization.ml @@ -1,7 +1,7 @@ (**************************************************************** * Detect functions that have not been monomorphized * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/commands.ml b/libASL/commands.ml index a24a00a9..50d262cd 100644 --- a/libASL/commands.ml +++ b/libASL/commands.ml @@ -1,7 +1,7 @@ (**************************************************************** * Command registry * - * Copyright (C) 2024-2024 Intel Corporation + * Copyright (C) 2024-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/commands.mli b/libASL/commands.mli index 2cfcc43d..887848ed 100644 --- a/libASL/commands.mli +++ b/libASL/commands.mli @@ -1,7 +1,7 @@ (**************************************************************** * Commands registry * - * Copyright (C) 2024-2024 Intel Corporation + * Copyright (C) 2024-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/configuration.ml b/libASL/configuration.ml index fd3c74e9..83117615 100644 --- a/libASL/configuration.ml +++ b/libASL/configuration.ml @@ -3,7 +3,7 @@ * * This is used to manage configuration files * - * Copyright Intel Inc (c) 2023-2024 + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/configuration.mli b/libASL/configuration.mli index d686f893..4b68eb6e 100644 --- a/libASL/configuration.mli +++ b/libASL/configuration.mli @@ -3,7 +3,7 @@ * * This is used to manage configuration files * - * Copyright Intel Inc (c) 2023-2024 + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/cpu.ml b/libASL/cpu.ml index 76902569..e8992014 100644 --- a/libASL/cpu.ml +++ b/libASL/cpu.ml @@ -2,7 +2,7 @@ * CPU interface * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/cpu.mli b/libASL/cpu.mli index 022c216c..81758f65 100644 --- a/libASL/cpu.mli +++ b/libASL/cpu.mli @@ -2,7 +2,7 @@ * CPU interface * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/dune b/libASL/dune index 2222300a..7ef2cc43 100644 --- a/libASL/dune +++ b/libASL/dune @@ -1,5 +1,5 @@ ; Copyright Arm Limited (c) 2017-2019 -; Copyright (C) 2022-2024 Intel Corporation +; Copyright (C) 2022-2025 Intel Corporation ; SPDX-Licence-Identifier: BSD-3-Clause (ocamllex lexer) diff --git a/libASL/elf.ml b/libASL/elf.ml index 526613a5..8163a2ac 100644 --- a/libASL/elf.ml +++ b/libASL/elf.ml @@ -4,7 +4,7 @@ * Currently only handles little-endian, 64-bit * * Copyright Alastair Reid (c) 2019-2020 - * Copyright (C) 2024-2024 Intel Corporation + * Copyright (C) 2024-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/error.ml b/libASL/error.ml index 56445e35..2c30a860 100644 --- a/libASL/error.ml +++ b/libASL/error.ml @@ -1,7 +1,7 @@ (**************************************************************** * Error * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/error.mli b/libASL/error.mli index 1f8bf8b4..07052c7a 100644 --- a/libASL/error.mli +++ b/libASL/error.mli @@ -1,7 +1,7 @@ (**************************************************************** * Error * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/eval.ml b/libASL/eval.ml index 6b81402e..e091cc97 100644 --- a/libASL/eval.ml +++ b/libASL/eval.ml @@ -2,7 +2,7 @@ * ASL evaluator * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/eval.mli b/libASL/eval.mli index ceb85d59..b72fd6de 100644 --- a/libASL/eval.mli +++ b/libASL/eval.mli @@ -2,7 +2,7 @@ * ASL evaluator * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/flags.ml b/libASL/flags.ml index e211119a..ec1fe13e 100644 --- a/libASL/flags.ml +++ b/libASL/flags.ml @@ -1,7 +1,7 @@ (**************************************************************** * Control flag registry * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/flags.mli b/libASL/flags.mli index 87b13cce..e2d9de7d 100644 --- a/libASL/flags.mli +++ b/libASL/flags.mli @@ -1,7 +1,7 @@ (**************************************************************** * Control flag registry * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/format_utils.ml b/libASL/format_utils.ml index 6760d130..609f89cc 100644 --- a/libASL/format_utils.ml +++ b/libASL/format_utils.ml @@ -1,7 +1,7 @@ (**************************************************************** * Formatting utilities * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/format_utils.mli b/libASL/format_utils.mli index 7abaf411..7ae1ff41 100644 --- a/libASL/format_utils.mli +++ b/libASL/format_utils.mli @@ -1,7 +1,7 @@ (**************************************************************** * Formatting utilities * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/global_checks.ml b/libASL/global_checks.ml index efe85a1d..ec574965 100644 --- a/libASL/global_checks.ml +++ b/libASL/global_checks.ml @@ -11,7 +11,7 @@ * - Does the meaning of an expression depend on evaluation order? * - Are calls to functions that can throw exceptions marked as rethrowing? * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/global_checks.mli b/libASL/global_checks.mli index 76a9c979..fb990495 100644 --- a/libASL/global_checks.mli +++ b/libASL/global_checks.mli @@ -1,7 +1,7 @@ (**************************************************************** * Global checks * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/ident.ml b/libASL/ident.ml index aaf6c866..c43fdbe9 100644 --- a/libASL/ident.ml +++ b/libASL/ident.ml @@ -2,7 +2,7 @@ * Identifier support * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/ident.mli b/libASL/ident.mli index 51332af6..5ff1a28f 100644 --- a/libASL/ident.mli +++ b/libASL/ident.mli @@ -2,7 +2,7 @@ * Identifier support * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/identset.ml b/libASL/identset.ml index dc2b1682..b8aae715 100644 --- a/libASL/identset.ml +++ b/libASL/identset.ml @@ -2,7 +2,7 @@ * Identifier set and map support * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/identset.mli b/libASL/identset.mli index fab2343f..37a68840 100644 --- a/libASL/identset.mli +++ b/libASL/identset.mli @@ -2,7 +2,7 @@ * Identifier set and map support * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/lattice.ml b/libASL/lattice.ml index 1c449a37..a23d710e 100644 --- a/libASL/lattice.ml +++ b/libASL/lattice.ml @@ -1,7 +1,7 @@ (**************************************************************** * Lattices: abstract interpretation support * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/lexer.mll b/libASL/lexer.mll index 4258b5af..afb693ad 100644 --- a/libASL/lexer.mll +++ b/libASL/lexer.mll @@ -2,7 +2,7 @@ * ASL lexer * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/lexersupport.ml b/libASL/lexersupport.ml index 1ca392d0..13a248a7 100644 --- a/libASL/lexersupport.ml +++ b/libASL/lexersupport.ml @@ -2,7 +2,7 @@ * ASL lexer support * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/loadASL.ml b/libASL/loadASL.ml index b3dee042..79a30170 100644 --- a/libASL/loadASL.ml +++ b/libASL/loadASL.ml @@ -2,7 +2,7 @@ * Functions for processing ASL files * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/loadASL.mli b/libASL/loadASL.mli index d5066a55..be7a36fd 100644 --- a/libASL/loadASL.mli +++ b/libASL/loadASL.mli @@ -2,7 +2,7 @@ * Functions for processing ASL files * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/loc.ml b/libASL/loc.ml index cb44865c..049a58a3 100644 --- a/libASL/loc.ml +++ b/libASL/loc.ml @@ -2,7 +2,7 @@ * Locations in source code * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/loc.mli b/libASL/loc.mli index cbcfebae..92a04ea6 100644 --- a/libASL/loc.mli +++ b/libASL/loc.mli @@ -2,7 +2,7 @@ * Locations in source code * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/metadata.ml b/libASL/metadata.ml index 6eef10d5..9c26cbab 100644 --- a/libASL/metadata.ml +++ b/libASL/metadata.ml @@ -1,7 +1,7 @@ (**************************************************************** * Metadata generator * - * Copyright Intel (c) 2023-2024 + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/metadata.mli b/libASL/metadata.mli index 23dd91ee..c585c788 100644 --- a/libASL/metadata.mli +++ b/libASL/metadata.mli @@ -1,7 +1,7 @@ (**************************************************************** * Metadata generator * - * Copyright Intel (c) 2023-2024 + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/primops.ml b/libASL/primops.ml index 00e5a51d..7f02e548 100644 --- a/libASL/primops.ml +++ b/libASL/primops.ml @@ -2,7 +2,7 @@ * ASL primitive types and operations * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/runtime.ml b/libASL/runtime.ml index 624bb1ee..030fed70 100644 --- a/libASL/runtime.ml +++ b/libASL/runtime.ml @@ -1,7 +1,7 @@ (**************************************************************** * Runtime library support interface * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/runtime.mli b/libASL/runtime.mli index ad7331f5..53702428 100644 --- a/libASL/runtime.mli +++ b/libASL/runtime.mli @@ -1,7 +1,7 @@ (**************************************************************** * Fallback runtime library support * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/runtime_ac.ml b/libASL/runtime_ac.ml index 19430440..7090a78c 100644 --- a/libASL/runtime_ac.ml +++ b/libASL/runtime_ac.ml @@ -2,7 +2,7 @@ * Algorithmic C runtime library support * This uses the C++ "Algorithmic C" library "ac_int.h" * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/runtime_ac.mli b/libASL/runtime_ac.mli index 1179b1eb..0ad09457 100644 --- a/libASL/runtime_ac.mli +++ b/libASL/runtime_ac.mli @@ -2,7 +2,7 @@ * Algorithmic C runtime library support * This uses the C++ "Algorithmic C" library "ac_int.h" * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/runtime_c23.ml b/libASL/runtime_c23.ml index 5d17e57f..a66ff2a7 100644 --- a/libASL/runtime_c23.ml +++ b/libASL/runtime_c23.ml @@ -2,7 +2,7 @@ * Bit-precise runtime library support * This uses the C23 "Bit-precise integer" feature "_BitInt" * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/runtime_c23.mli b/libASL/runtime_c23.mli index 59df9c27..4717853a 100644 --- a/libASL/runtime_c23.mli +++ b/libASL/runtime_c23.mli @@ -2,7 +2,7 @@ * Bit-precise runtime library support * This uses the C23 "Bit-precise integer" feature "_BitInt" * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/runtime_fallback.ml b/libASL/runtime_fallback.ml index 219b1c06..45c53530 100644 --- a/libASL/runtime_fallback.ml +++ b/libASL/runtime_fallback.ml @@ -1,7 +1,7 @@ (**************************************************************** * Fallback runtime library support * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/runtime_fallback.mli b/libASL/runtime_fallback.mli index 1ec8b4a7..1b347b9c 100644 --- a/libASL/runtime_fallback.mli +++ b/libASL/runtime_fallback.mli @@ -1,7 +1,7 @@ (**************************************************************** * Fallback runtime library support * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/scope.ml b/libASL/scope.ml index 3d244c4b..c49e042e 100644 --- a/libASL/scope.ml +++ b/libASL/scope.ml @@ -3,7 +3,7 @@ * value. * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/scope.mli b/libASL/scope.mli index ddeaf783..62c58b42 100644 --- a/libASL/scope.mli +++ b/libASL/scope.mli @@ -3,7 +3,7 @@ * value. * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/scopeStack.ml b/libASL/scopeStack.ml index 9f858d9d..0e216822 100644 --- a/libASL/scopeStack.ml +++ b/libASL/scopeStack.ml @@ -2,7 +2,7 @@ * ScopeStack * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/scopeStack.mli b/libASL/scopeStack.mli index 0bde9db2..650c4143 100644 --- a/libASL/scopeStack.mli +++ b/libASL/scopeStack.mli @@ -2,7 +2,7 @@ * ScopeStack * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/tcheck.ml b/libASL/tcheck.ml index 77ce36ba..9d0f834c 100644 --- a/libASL/tcheck.ml +++ b/libASL/tcheck.ml @@ -2,7 +2,7 @@ * ASL typechecker * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/utils.ml b/libASL/utils.ml index 290df026..5ff0ff40 100644 --- a/libASL/utils.ml +++ b/libASL/utils.ml @@ -2,7 +2,7 @@ * Generic utility functions * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/utils.mli b/libASL/utils.mli index b98ddb8d..df1859a2 100644 --- a/libASL/utils.mli +++ b/libASL/utils.mli @@ -2,7 +2,7 @@ * Generic utility functions * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/value.ml b/libASL/value.ml index 18cc901c..90f90e40 100644 --- a/libASL/value.ml +++ b/libASL/value.ml @@ -2,7 +2,7 @@ * ASL interpreter values * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/value.mli b/libASL/value.mli index dcacfe3e..5ed3bf5e 100644 --- a/libASL/value.mli +++ b/libASL/value.mli @@ -2,7 +2,7 @@ * ASL interpreter values * * Copyright Arm Limited (c) 2017-2019 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_bitslices.ml b/libASL/xform_bitslices.ml index 72ff08d3..a5d7d83d 100644 --- a/libASL/xform_bitslices.ml +++ b/libASL/xform_bitslices.ml @@ -14,7 +14,7 @@ * IsZero(e[lo +: wd]) ==> ((e >> lo) AND mask) == Zeros() * IsOnes(e[lo +: wd]) ==> ((NOT e >> lo) AND mask) == Zeros() * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_bitslices.mli b/libASL/xform_bitslices.mli index 49b5f75c..7743e163 100644 --- a/libASL/xform_bitslices.mli +++ b/libASL/xform_bitslices.mli @@ -1,7 +1,7 @@ (**************************************************************** * ASL bitslice transform * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_bittuples.ml b/libASL/xform_bittuples.ml index ec6b905e..4635c3ba 100644 --- a/libASL/xform_bittuples.ml +++ b/libASL/xform_bittuples.ml @@ -45,7 +45,7 @@ * let lo = tmp[0 +: 32]; * * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_bittuples.mli b/libASL/xform_bittuples.mli index 4be16b59..c9a7a024 100644 --- a/libASL/xform_bittuples.mli +++ b/libASL/xform_bittuples.mli @@ -13,7 +13,7 @@ * v2 = __a0[3 +: 4]; * v3 = __a0[0 +: 3]; * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_case.ml b/libASL/xform_case.ml index c0b21042..31cdbb5b 100644 --- a/libASL/xform_case.ml +++ b/libASL/xform_case.ml @@ -4,7 +4,7 @@ * This converts case statements to if statements if they contain * complex pattern matches or guards. * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_case.mli b/libASL/xform_case.mli index 89111655..5546f1fc 100644 --- a/libASL/xform_case.mli +++ b/libASL/xform_case.mli @@ -1,7 +1,7 @@ (**************************************************************** * ASL complex case elimination transform * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_constprop.ml b/libASL/xform_constprop.ml index eb516174..1b8f71d7 100644 --- a/libASL/xform_constprop.ml +++ b/libASL/xform_constprop.ml @@ -1,7 +1,7 @@ (**************************************************************** * ASL constant propagation transform * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_constprop.mli b/libASL/xform_constprop.mli index 9c174ac5..dfdfa233 100644 --- a/libASL/xform_constprop.mli +++ b/libASL/xform_constprop.mli @@ -1,7 +1,7 @@ (**************************************************************** * ASL constant propagation transform * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_desugar.ml b/libASL/xform_desugar.ml index f8bb0785..c40021eb 100644 --- a/libASL/xform_desugar.ml +++ b/libASL/xform_desugar.ml @@ -7,7 +7,7 @@ * 2) sub_bits_int{N}(x, y) -> sub_bits(x, mk_cvt_int_bits{N}(y, N)) * 3) mul_bits_int{N}(x, y) -> mul_bits(x, mk_cvt_int_bits{N}(y, N)) * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_desugar.mli b/libASL/xform_desugar.mli index 631165ca..b8db3306 100644 --- a/libASL/xform_desugar.mli +++ b/libASL/xform_desugar.mli @@ -1,7 +1,7 @@ (**************************************************************** * ASL desugaring transformations * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_getset.ml b/libASL/xform_getset.ml index a028209d..fb316b5b 100644 --- a/libASL/xform_getset.ml +++ b/libASL/xform_getset.ml @@ -11,7 +11,7 @@ * the variable, * (2) procedure call which writes the modified value back. * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_getset.mli b/libASL/xform_getset.mli index 741d0b17..09880173 100644 --- a/libASL/xform_getset.mli +++ b/libASL/xform_getset.mli @@ -1,7 +1,7 @@ (**************************************************************** * ASL getters and setters elimination transform * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_int_bitslices.ml b/libASL/xform_int_bitslices.ml index feef8f9e..57bb0adb 100644 --- a/libASL/xform_int_bitslices.ml +++ b/libASL/xform_int_bitslices.ml @@ -1,7 +1,7 @@ (**************************************************************** * ASL integer bitslicing transform * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_int_bitslices.mli b/libASL/xform_int_bitslices.mli index 92276e8d..5559181b 100644 --- a/libASL/xform_int_bitslices.mli +++ b/libASL/xform_int_bitslices.mli @@ -1,7 +1,7 @@ (**************************************************************** * ASL integer bitslicing transform * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_lower.ml b/libASL/xform_lower.ml index 809ee6a4..4f046f56 100644 --- a/libASL/xform_lower.ml +++ b/libASL/xform_lower.ml @@ -6,7 +6,7 @@ * - Slice_Single to Slice_LoWd * - Slice_Element to Slice_LoWd * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_lower.mli b/libASL/xform_lower.mli index a08911a1..aed90c8d 100644 --- a/libASL/xform_lower.mli +++ b/libASL/xform_lower.mli @@ -5,7 +5,7 @@ * - Slice_HiLo to Slice_LoWd * - Slice_Single to Slice_LoWd * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_mono.ml b/libASL/xform_mono.ml index a954f54c..07d570f7 100644 --- a/libASL/xform_mono.ml +++ b/libASL/xform_mono.ml @@ -1,7 +1,7 @@ (**************************************************************** * ASL function monomorphization transform * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_mono.mli b/libASL/xform_mono.mli index 95197d8d..92c2ebad 100644 --- a/libASL/xform_mono.mli +++ b/libASL/xform_mono.mli @@ -1,7 +1,7 @@ (**************************************************************** * ASL function monomorphization transform * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_named_type.ml b/libASL/xform_named_type.ml index e9f8bf5d..4f9cd936 100644 --- a/libASL/xform_named_type.ml +++ b/libASL/xform_named_type.ml @@ -1,7 +1,7 @@ (**************************************************************** * ASL named type transform * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_named_type.mli b/libASL/xform_named_type.mli index 81981911..e27860b9 100644 --- a/libASL/xform_named_type.mli +++ b/libASL/xform_named_type.mli @@ -1,7 +1,7 @@ (**************************************************************** * ASL named type transform * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_simplify_expr.ml b/libASL/xform_simplify_expr.ml index 3d6a4c88..cf404da1 100644 --- a/libASL/xform_simplify_expr.ml +++ b/libASL/xform_simplify_expr.ml @@ -9,7 +9,7 @@ * which makes it easier for constant propagation, etc. * to eliminate expressions. * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_simplify_expr.mli b/libASL/xform_simplify_expr.mli index a86de13b..bd35c19f 100644 --- a/libASL/xform_simplify_expr.mli +++ b/libASL/xform_simplify_expr.mli @@ -9,7 +9,7 @@ * which makes it easier for constant propagation, etc. * to eliminate expressions. * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_tuples.ml b/libASL/xform_tuples.ml index 016de7d7..0127bb5b 100644 --- a/libASL/xform_tuples.ml +++ b/libASL/xform_tuples.ml @@ -1,7 +1,7 @@ (**************************************************************** * ASL tuple elimination transform * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_tuples.mli b/libASL/xform_tuples.mli index 480bbbc5..8f4a2eec 100644 --- a/libASL/xform_tuples.mli +++ b/libASL/xform_tuples.mli @@ -1,7 +1,7 @@ (**************************************************************** * ASL tuple elimination transform * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_valid.ml b/libASL/xform_valid.ml index 4417fd9f..e81a780d 100644 --- a/libASL/xform_valid.ml +++ b/libASL/xform_valid.ml @@ -1,7 +1,7 @@ (**************************************************************** * ASL transform to track valid bits * - * Copyright (C) 2024-2024 Intel Corporation + * Copyright (C) 2024-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_valid.mli b/libASL/xform_valid.mli index b46492d7..9957d8be 100644 --- a/libASL/xform_valid.mli +++ b/libASL/xform_valid.mli @@ -1,7 +1,7 @@ (**************************************************************** * ASL transform to track valid bits * - * Copyright (C) 2024-2024 Intel Corporation + * Copyright (C) 2024-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_wrap.ml b/libASL/xform_wrap.ml index 1b00e9a3..c48dada0 100644 --- a/libASL/xform_wrap.ml +++ b/libASL/xform_wrap.ml @@ -12,7 +12,7 @@ * state, a simulator can redefine the functions to provide access * to its own simulation state instead. * - * Copyright (C) 2024-2024 Intel Corporation + * Copyright (C) 2024-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/libASL/xform_wrap.mli b/libASL/xform_wrap.mli index 49fcc728..73d6708d 100644 --- a/libASL/xform_wrap.mli +++ b/libASL/xform_wrap.mli @@ -1,7 +1,7 @@ (**************************************************************** * ASL global variable wrapping transform * - * Copyright (C) 2024-2024 Intel Corporation + * Copyright (C) 2024-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/prelude.asl b/prelude.asl index 8f89d85c..e7a5a00b 100644 --- a/prelude.asl +++ b/prelude.asl @@ -2,7 +2,7 @@ // ASL standard prelude // // Copyright Arm Limited (c) 2017-2019 -// Copyright (C) 2022-2024 Intel Corporation +// Copyright (C) 2022-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/Makefile b/runtime/Makefile index 3174aec6..f7fe3a6b 100644 --- a/runtime/Makefile +++ b/runtime/Makefile @@ -1,7 +1,7 @@ ################################################################ # ASL runtime Makefile # -# Copyright (C) 2023-2024 Intel Corporation +# Copyright (C) 2023-2025 Intel Corporation # SPDX-Licence-Identifier: BSD-3-Clause ################################################################ diff --git a/runtime/external/googletest b/runtime/external/googletest index f8d7d77c..b796f7d4 160000 --- a/runtime/external/googletest +++ b/runtime/external/googletest @@ -1 +1 @@ -Subproject commit f8d7d77c06936315286eb55f8de22cd23c188571 +Subproject commit b796f7d44681514f58a683a3a71ff17c94edb0c1 diff --git a/runtime/include/asl/bits1024.h b/runtime/include/asl/bits1024.h index 3e203c3a..86eeab95 100644 --- a/runtime/include/asl/bits1024.h +++ b/runtime/include/asl/bits1024.h @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime bitvector support library for ASL's C backend // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/include/asl/bits128.h b/runtime/include/asl/bits128.h index d52f680c..d0c4f259 100644 --- a/runtime/include/asl/bits128.h +++ b/runtime/include/asl/bits128.h @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime bitvector support library for ASL's C backend // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/include/asl/bits256.h b/runtime/include/asl/bits256.h index 418387b6..57121b92 100644 --- a/runtime/include/asl/bits256.h +++ b/runtime/include/asl/bits256.h @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime bitvector support library for ASL's C backend // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/include/asl/bits512.h b/runtime/include/asl/bits512.h index 1325b19b..c66e93b7 100644 --- a/runtime/include/asl/bits512.h +++ b/runtime/include/asl/bits512.h @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime bitvector support library for ASL's C backend // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/include/asl/bits64.h b/runtime/include/asl/bits64.h index 3d8a42d3..e0ddf301 100644 --- a/runtime/include/asl/bits64.h +++ b/runtime/include/asl/bits64.h @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime bitvector support library for ASL's C backend // -// Copyright (C) 2022-2024 Intel Corporation +// Copyright (C) 2022-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/include/asl/bits_template.h b/runtime/include/asl/bits_template.h index 9c14d90c..5397feb5 100644 --- a/runtime/include/asl/bits_template.h +++ b/runtime/include/asl/bits_template.h @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime bitvector support library for ASL's C backend // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/include/asl/error.h b/runtime/include/asl/error.h index 03811631..f945a57a 100644 --- a/runtime/include/asl/error.h +++ b/runtime/include/asl/error.h @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime error support library for ASL's C backend // -// Copyright (C) 2022-2024 Intel Corporation +// Copyright (C) 2022-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/include/asl/integer.h b/runtime/include/asl/integer.h index 9f8ecfe2..18134443 100644 --- a/runtime/include/asl/integer.h +++ b/runtime/include/asl/integer.h @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime integer support library for ASL's C backend // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/include/asl/print.h b/runtime/include/asl/print.h index 81eead2e..e4b5a2b1 100644 --- a/runtime/include/asl/print.h +++ b/runtime/include/asl/print.h @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime print support for ASL's C backend // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/include/asl/print_template.h b/runtime/include/asl/print_template.h index 05c4f6a9..61103bde 100644 --- a/runtime/include/asl/print_template.h +++ b/runtime/include/asl/print_template.h @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime print support for ASL's C backend // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/include/asl/ram.h b/runtime/include/asl/ram.h index 4c1cb09d..ca81bfbf 100644 --- a/runtime/include/asl/ram.h +++ b/runtime/include/asl/ram.h @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime memory support library for ASL's C backend // -// Copyright (C) 2022-2024 Intel Corporation +// Copyright (C) 2022-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/include/asl/runtime.h b/runtime/include/asl/runtime.h index 0b004d54..9504da9b 100644 --- a/runtime/include/asl/runtime.h +++ b/runtime/include/asl/runtime.h @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime library for ASL's C backend // -// Copyright (C) 2022-2024 Intel Corporation +// Copyright (C) 2022-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/include/asl/runtime.hpp b/runtime/include/asl/runtime.hpp index 13df3fa1..fe60bb40 100644 --- a/runtime/include/asl/runtime.hpp +++ b/runtime/include/asl/runtime.hpp @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime library for ASL's CPP backend // -// Copyright (C) 2024 Intel Corporation +// Copyright (C) 2024-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/include/asl/set_slice_template.h b/runtime/include/asl/set_slice_template.h index ba5022f2..c8260449 100644 --- a/runtime/include/asl/set_slice_template.h +++ b/runtime/include/asl/set_slice_template.h @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Slice assignment support for ASL's C backend // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/include/asl/track_valid.h b/runtime/include/asl/track_valid.h index d079a77b..f78a7580 100644 --- a/runtime/include/asl/track_valid.h +++ b/runtime/include/asl/track_valid.h @@ -2,7 +2,7 @@ // Runtime library for ASL's C backend to support tracking // validity masks // -// Copyright (C) 2024-2024 Intel Corporation +// Copyright (C) 2024-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/lib/bits1024.c b/runtime/lib/bits1024.c index 8a0fce66..f4503117 100644 --- a/runtime/lib/bits1024.c +++ b/runtime/lib/bits1024.c @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime bitvector support library for ASL's C backend // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/lib/bits128.c b/runtime/lib/bits128.c index bf6ef6b4..b4ab4839 100644 --- a/runtime/lib/bits128.c +++ b/runtime/lib/bits128.c @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime bitvector support library for ASL's C backend // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/lib/bits256.c b/runtime/lib/bits256.c index 1a0e1582..fda94375 100644 --- a/runtime/lib/bits256.c +++ b/runtime/lib/bits256.c @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime bitvector support library for ASL's C backend // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/lib/bits512.c b/runtime/lib/bits512.c index d0bbf188..cc70f21a 100644 --- a/runtime/lib/bits512.c +++ b/runtime/lib/bits512.c @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime bitvector support library for ASL's C backend // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/lib/bits64.c b/runtime/lib/bits64.c index 488dcdcb..9fae53f6 100644 --- a/runtime/lib/bits64.c +++ b/runtime/lib/bits64.c @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime bitvector support library for ASL's C backend // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/lib/bits_template_c.h b/runtime/lib/bits_template_c.h index 3dd921e1..f8908aff 100644 --- a/runtime/lib/bits_template_c.h +++ b/runtime/lib/bits_template_c.h @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime bitvector support library for ASL's C backend // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/lib/error.c b/runtime/lib/error.c index 5a577973..ebe48b12 100644 --- a/runtime/lib/error.c +++ b/runtime/lib/error.c @@ -4,7 +4,7 @@ // Note: these functions can (and usually are) overridden in the linker // command line by providing .o files that override both functions. // -// Copyright (C) 2022-2024 Intel Corporation +// Copyright (C) 2022-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/lib/ram.c b/runtime/lib/ram.c index db5dc91c..abc6fea8 100644 --- a/runtime/lib/ram.c +++ b/runtime/lib/ram.c @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Runtime memory support library for ASL's C backend // -// Copyright (C) 2022-2024 Intel Corporation +// Copyright (C) 2022-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/lib/set_slice_template_c.h b/runtime/lib/set_slice_template_c.h index 1ab65177..af2895bc 100644 --- a/runtime/lib/set_slice_template_c.h +++ b/runtime/lib/set_slice_template_c.h @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Slice assignment support for ASL's C backend // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/lib/sign_extend_bits_template_c.h b/runtime/lib/sign_extend_bits_template_c.h index f6b804bc..26dbf300 100644 --- a/runtime/lib/sign_extend_bits_template_c.h +++ b/runtime/lib/sign_extend_bits_template_c.h @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Sign extend support for ASL's C backend // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/test/Makefile b/runtime/test/Makefile index 239639bc..72b2f999 100644 --- a/runtime/test/Makefile +++ b/runtime/test/Makefile @@ -1,7 +1,7 @@ ################################################################ # ASL runtime tests Makefile # -# Copyright (C) 2023-2024 Intel Corporation +# Copyright (C) 2023-2025 Intel Corporation # SPDX-Licence-Identifier: BSD-3-Clause ################################################################ diff --git a/runtime/test/bits_test.cc b/runtime/test/bits_test.cc index 295502bc..92923daa 100644 --- a/runtime/test/bits_test.cc +++ b/runtime/test/bits_test.cc @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Tests for C runtime bitvector support library // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/test/bits_test_template.h b/runtime/test/bits_test_template.h index edb664ae..e60d5c69 100644 --- a/runtime/test/bits_test_template.h +++ b/runtime/test/bits_test_template.h @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Tests for C runtime bitvector support library // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/test/integer_test.cc b/runtime/test/integer_test.cc index ad3b8032..91068053 100644 --- a/runtime/test/integer_test.cc +++ b/runtime/test/integer_test.cc @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Tests for C runtime integer support library // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/test/ram_test.cc b/runtime/test/ram_test.cc index 5dcc3c41..f715eb1d 100644 --- a/runtime/test/ram_test.cc +++ b/runtime/test/ram_test.cc @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Tests for C runtime memory support library // -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/runtime/test/sign_extend_bits_test_template.h b/runtime/test/sign_extend_bits_test_template.h index 4be5b9f8..05bb57b9 100644 --- a/runtime/test/sign_extend_bits_test_template.h +++ b/runtime/test/sign_extend_bits_test_template.h @@ -1,7 +1,7 @@ //////////////////////////////////////////////////////////////// // Tests for C runtime bitvector support library // -// Copyright (C) 2024-2024 Intel Corporation +// Copyright (C) 2024-2025 Intel Corporation // SPDX-Licence-Identifier: BSD-3-Clause //////////////////////////////////////////////////////////////// diff --git a/tests/asl_test.ml b/tests/asl_test.ml index fe0900b9..fc242456 100644 --- a/tests/asl_test.ml +++ b/tests/asl_test.ml @@ -2,7 +2,7 @@ * Test ASL evaluator * * Copyright Arm Limited (c) 2017-2020 - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/asl_utils_test.ml b/tests/asl_utils_test.ml index f3cdd77b..9b097d3d 100644 --- a/tests/asl_utils_test.ml +++ b/tests/asl_utils_test.ml @@ -1,7 +1,7 @@ (**************************************************************** * Test ASL utils module * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/backend_c_c23_test.ml b/tests/backend_c_c23_test.ml index 8a77432a..754a4954 100644 --- a/tests/backend_c_c23_test.ml +++ b/tests/backend_c_c23_test.ml @@ -1,7 +1,7 @@ (**************************************************************** * Test new C backend * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/backend_c_fallback_test.ml b/tests/backend_c_fallback_test.ml index 3695540e..32dda973 100644 --- a/tests/backend_c_fallback_test.ml +++ b/tests/backend_c_fallback_test.ml @@ -1,7 +1,7 @@ (**************************************************************** * Test new C backend * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/backend_c_orig_test.ml b/tests/backend_c_orig_test.ml index 1816fb3d..ef862074 100644 --- a/tests/backend_c_orig_test.ml +++ b/tests/backend_c_orig_test.ml @@ -1,7 +1,7 @@ (**************************************************************** * Test C backend * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/backends/bits_add_00.asl b/tests/backends/bits_add_00.asl index 62034ed0..b6c161af 100644 --- a/tests/backends/bits_add_00.asl +++ b/tests/backends/bits_add_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : bits(8), y : bits(8)) => bits(8) begin diff --git a/tests/backends/bits_and_00.asl b/tests/backends/bits_and_00.asl index 0aa0f822..10f1f6f6 100644 --- a/tests/backends/bits_and_00.asl +++ b/tests/backends/bits_and_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : bits(4), y : bits(4)) => bits(4) begin diff --git a/tests/backends/bits_append_00.asl b/tests/backends/bits_append_00.asl index e1b8e213..f9392606 100644 --- a/tests/backends/bits_append_00.asl +++ b/tests/backends/bits_append_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : bits(4), y : bits(4)) => bits(8) begin diff --git a/tests/backends/bits_asr_00.asl b/tests/backends/bits_asr_00.asl index 014da766..b34057d8 100644 --- a/tests/backends/bits_asr_00.asl +++ b/tests/backends/bits_asr_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : bits(8), y : integer) => bits(8) begin diff --git a/tests/backends/bits_cvt_sint_00.asl b/tests/backends/bits_cvt_sint_00.asl index 1cdd1ae6..5a3d1e43 100644 --- a/tests/backends/bits_cvt_sint_00.asl +++ b/tests/backends/bits_cvt_sint_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : bits(4)) => integer {-8..7} begin diff --git a/tests/backends/bits_cvt_ssintN_00.asl b/tests/backends/bits_cvt_ssintN_00.asl index 737026ea..7a2d1ddd 100644 --- a/tests/backends/bits_cvt_ssintN_00.asl +++ b/tests/backends/bits_cvt_ssintN_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT4(x : bits(4)) => __sint(4) begin diff --git a/tests/backends/bits_cvt_uint_00.asl b/tests/backends/bits_cvt_uint_00.asl index 9b1574ad..7228de31 100644 --- a/tests/backends/bits_cvt_uint_00.asl +++ b/tests/backends/bits_cvt_uint_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : bits(4)) => integer {0..15} begin diff --git a/tests/backends/bits_cvt_usintN_00.asl b/tests/backends/bits_cvt_usintN_00.asl index 5657a722..1520b048 100644 --- a/tests/backends/bits_cvt_usintN_00.asl +++ b/tests/backends/bits_cvt_usintN_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT4(x : bits(4)) => __sint(5) begin diff --git a/tests/backends/bits_eq_00.asl b/tests/backends/bits_eq_00.asl index eea64729..3bf318de 100644 --- a/tests/backends/bits_eq_00.asl +++ b/tests/backends/bits_eq_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : bits(8), y : bits(8)) => boolean begin diff --git a/tests/backends/bits_get_slice_00.asl b/tests/backends/bits_get_slice_00.asl index 3ab72334..505711b0 100644 --- a/tests/backends/bits_get_slice_00.asl +++ b/tests/backends/bits_get_slice_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test_8_4(x : bits(8), i : integer) => bits(4) begin diff --git a/tests/backends/bits_lsl_00.asl b/tests/backends/bits_lsl_00.asl index f4b67195..b73b49a1 100644 --- a/tests/backends/bits_lsl_00.asl +++ b/tests/backends/bits_lsl_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : bits(8), y : integer) => bits(8) begin diff --git a/tests/backends/bits_lsr_00.asl b/tests/backends/bits_lsr_00.asl index ca9b743b..71657d97 100644 --- a/tests/backends/bits_lsr_00.asl +++ b/tests/backends/bits_lsr_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : bits(8), y : integer) => bits(8) begin diff --git a/tests/backends/bits_mk_mask_00.asl b/tests/backends/bits_mk_mask_00.asl index 30d88c9a..c46a60cd 100644 --- a/tests/backends/bits_mk_mask_00.asl +++ b/tests/backends/bits_mk_mask_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test0(w : integer) => bits(0) begin diff --git a/tests/backends/bits_mul_00.asl b/tests/backends/bits_mul_00.asl index c0cebc9a..7d13ae0f 100644 --- a/tests/backends/bits_mul_00.asl +++ b/tests/backends/bits_mul_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : bits(8), y : bits(8)) => bits(8) begin diff --git a/tests/backends/bits_ne_00.asl b/tests/backends/bits_ne_00.asl index 2089511b..9122cdce 100644 --- a/tests/backends/bits_ne_00.asl +++ b/tests/backends/bits_ne_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : bits(8), y : bits(8)) => boolean begin diff --git a/tests/backends/bits_not_00.asl b/tests/backends/bits_not_00.asl index 93ce9b7d..9c9f1f5d 100644 --- a/tests/backends/bits_not_00.asl +++ b/tests/backends/bits_not_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : bits(8)) => bits(8) begin diff --git a/tests/backends/bits_ones_00.asl b/tests/backends/bits_ones_00.asl index d8942023..03d7ce15 100644 --- a/tests/backends/bits_ones_00.asl +++ b/tests/backends/bits_ones_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test0() => bits(0) begin diff --git a/tests/backends/bits_or_00.asl b/tests/backends/bits_or_00.asl index 960c9efd..86dec5b5 100644 --- a/tests/backends/bits_or_00.asl +++ b/tests/backends/bits_or_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : bits(4), y : bits(4)) => bits(4) begin diff --git a/tests/backends/bits_print_hex_00.asl b/tests/backends/bits_print_hex_00.asl index 9d072b76..fc47ef32 100644 --- a/tests/backends/bits_print_hex_00.asl +++ b/tests/backends/bits_print_hex_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func main() => integer begin diff --git a/tests/backends/bits_print_hex_01.asl b/tests/backends/bits_print_hex_01.asl index 4c766425..3f18b8b6 100644 --- a/tests/backends/bits_print_hex_01.asl +++ b/tests/backends/bits_print_hex_01.asl @@ -1,6 +1,6 @@ // RUN: %aslrun %s | filecheck %s // REQUIRES: !c23 || wide_bitint -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func main() => integer begin diff --git a/tests/backends/bits_replicate_00.asl b/tests/backends/bits_replicate_00.asl index 26f2f5ec..09fcc977 100644 --- a/tests/backends/bits_replicate_00.asl +++ b/tests/backends/bits_replicate_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test0(x : bits(4)) => bits(0) begin diff --git a/tests/backends/bits_set_slice_00.asl b/tests/backends/bits_set_slice_00.asl index 9746094a..80f7a356 100644 --- a/tests/backends/bits_set_slice_00.asl +++ b/tests/backends/bits_set_slice_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test_8_4(x : bits(8), i : integer, y : bits(4)) => bits(8) begin diff --git a/tests/backends/bits_sext_00.asl b/tests/backends/bits_sext_00.asl index ef2d4526..713cbfe3 100644 --- a/tests/backends/bits_sext_00.asl +++ b/tests/backends/bits_sext_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test1(x : bits(3)) => bits(8) begin diff --git a/tests/backends/bits_sext_01.asl b/tests/backends/bits_sext_01.asl index c7059d14..9fed43c3 100644 --- a/tests/backends/bits_sext_01.asl +++ b/tests/backends/bits_sext_01.asl @@ -1,6 +1,6 @@ // RUN: %aslrun %s | filecheck %s // REQUIRES: !c23 || wide_bitint -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test_70_140(x : bits(70)) => bits(140) begin diff --git a/tests/backends/bits_sub_00.asl b/tests/backends/bits_sub_00.asl index 761064f9..7084468b 100644 --- a/tests/backends/bits_sub_00.asl +++ b/tests/backends/bits_sub_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : bits(8), y : bits(8)) => bits(8) begin diff --git a/tests/backends/bits_xor_00.asl b/tests/backends/bits_xor_00.asl index d3e87455..bf45285f 100644 --- a/tests/backends/bits_xor_00.asl +++ b/tests/backends/bits_xor_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : bits(4), y : bits(4)) => bits(4) begin diff --git a/tests/backends/bits_zeros_00.asl b/tests/backends/bits_zeros_00.asl index 574eab69..a0f82795 100644 --- a/tests/backends/bits_zeros_00.asl +++ b/tests/backends/bits_zeros_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test0() => bits(0) begin diff --git a/tests/backends/bits_zext_00.asl b/tests/backends/bits_zext_00.asl index 5358034e..0d14525a 100644 --- a/tests/backends/bits_zext_00.asl +++ b/tests/backends/bits_zext_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : bits(3)) => bits(8) begin diff --git a/tests/backends/exceptions_00.asl b/tests/backends/exceptions_00.asl index 6eb2ea72..2acef3e6 100644 --- a/tests/backends/exceptions_00.asl +++ b/tests/backends/exceptions_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation type E of exception; diff --git a/tests/backends/expr_IN_00.asl b/tests/backends/expr_IN_00.asl index 2be73438..85a3bdf0 100644 --- a/tests/backends/expr_IN_00.asl +++ b/tests/backends/expr_IN_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : bits(3)) => boolean begin diff --git a/tests/backends/expr_as_00.asl b/tests/backends/expr_as_00.asl index 26b57d1f..bff078b9 100644 --- a/tests/backends/expr_as_00.asl +++ b/tests/backends/expr_as_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test1(x : integer) => integer {0..255} begin diff --git a/tests/backends/expr_bitslice_00.asl b/tests/backends/expr_bitslice_00.asl index aaa18882..6cdf12dd 100644 --- a/tests/backends/expr_bitslice_00.asl +++ b/tests/backends/expr_bitslice_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : bits(4), i : integer) => bit begin diff --git a/tests/backends/expr_if_00.asl b/tests/backends/expr_if_00.asl index 69ca08a9..35db2328 100644 --- a/tests/backends/expr_if_00.asl +++ b/tests/backends/expr_if_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : boolean, y : boolean) => bits(4) begin diff --git a/tests/backends/expr_intslice_00.asl b/tests/backends/expr_intslice_00.asl index 3735c237..527bb4dd 100644 --- a/tests/backends/expr_intslice_00.asl +++ b/tests/backends/expr_intslice_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : integer) => bit begin diff --git a/tests/backends/expr_let_00.asl b/tests/backends/expr_let_00.asl index c01ff5fb..293beeb5 100644 --- a/tests/backends/expr_let_00.asl +++ b/tests/backends/expr_let_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer) => integer begin diff --git a/tests/backends/expr_var_00.asl b/tests/backends/expr_var_00.asl index f2d35bf5..4dc02f8f 100644 --- a/tests/backends/expr_var_00.asl +++ b/tests/backends/expr_var_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test_arg(x : bits(4)) => bits(4) begin diff --git a/tests/backends/int_add_00.asl b/tests/backends/int_add_00.asl index 97db74bf..f74980ca 100644 --- a/tests/backends/int_add_00.asl +++ b/tests/backends/int_add_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer, y : integer) => integer begin diff --git a/tests/backends/int_align_00.asl b/tests/backends/int_align_00.asl index cf2da416..e2c466f0 100644 --- a/tests/backends/int_align_00.asl +++ b/tests/backends/int_align_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer, y : integer) => integer begin diff --git a/tests/backends/int_cvt_bits_00.asl b/tests/backends/int_cvt_bits_00.asl index d696210d..ea4fe6a0 100644 --- a/tests/backends/int_cvt_bits_00.asl +++ b/tests/backends/int_cvt_bits_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer) => bits(8) begin diff --git a/tests/backends/int_eq_00.asl b/tests/backends/int_eq_00.asl index a3812a30..40915a9d 100644 --- a/tests/backends/int_eq_00.asl +++ b/tests/backends/int_eq_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer, y : integer) => boolean begin diff --git a/tests/backends/int_exact_div_00.asl b/tests/backends/int_exact_div_00.asl index daf77858..f3011be0 100644 --- a/tests/backends/int_exact_div_00.asl +++ b/tests/backends/int_exact_div_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer, y : integer) => integer begin diff --git a/tests/backends/int_fdiv_00.asl b/tests/backends/int_fdiv_00.asl index cfa5a4c4..2339943c 100644 --- a/tests/backends/int_fdiv_00.asl +++ b/tests/backends/int_fdiv_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer, y : integer) => integer begin diff --git a/tests/backends/int_frem_00.asl b/tests/backends/int_frem_00.asl index ed1301cf..d823d01b 100644 --- a/tests/backends/int_frem_00.asl +++ b/tests/backends/int_frem_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer, y : integer) => integer begin diff --git a/tests/backends/int_ge_00.asl b/tests/backends/int_ge_00.asl index b7096ae5..e09eae0a 100644 --- a/tests/backends/int_ge_00.asl +++ b/tests/backends/int_ge_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer, y : integer) => boolean begin diff --git a/tests/backends/int_gt_00.asl b/tests/backends/int_gt_00.asl index a63037a7..a1fe3e75 100644 --- a/tests/backends/int_gt_00.asl +++ b/tests/backends/int_gt_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer, y : integer) => boolean begin diff --git a/tests/backends/int_is_pow2_00.asl b/tests/backends/int_is_pow2_00.asl index e9d24cdd..52cbec15 100644 --- a/tests/backends/int_is_pow2_00.asl +++ b/tests/backends/int_is_pow2_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer) => boolean begin diff --git a/tests/backends/int_le_00.asl b/tests/backends/int_le_00.asl index 4b54cab0..f22ce8d6 100644 --- a/tests/backends/int_le_00.asl +++ b/tests/backends/int_le_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer, y : integer) => boolean begin diff --git a/tests/backends/int_lt_00.asl b/tests/backends/int_lt_00.asl index 79a99705..fba7c4ea 100644 --- a/tests/backends/int_lt_00.asl +++ b/tests/backends/int_lt_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer, y : integer) => boolean begin diff --git a/tests/backends/int_mod_pow2_00.asl b/tests/backends/int_mod_pow2_00.asl index 900fe24e..cfa673f4 100644 --- a/tests/backends/int_mod_pow2_00.asl +++ b/tests/backends/int_mod_pow2_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer, y : integer) => integer begin diff --git a/tests/backends/int_mul_00.asl b/tests/backends/int_mul_00.asl index de5ba290..8191037e 100644 --- a/tests/backends/int_mul_00.asl +++ b/tests/backends/int_mul_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer, y : integer) => integer begin diff --git a/tests/backends/int_ne_00.asl b/tests/backends/int_ne_00.asl index d04dc9b0..e78a7c22 100644 --- a/tests/backends/int_ne_00.asl +++ b/tests/backends/int_ne_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer, y : integer) => boolean begin diff --git a/tests/backends/int_neg_00.asl b/tests/backends/int_neg_00.asl index ea741577..34bc1115 100644 --- a/tests/backends/int_neg_00.asl +++ b/tests/backends/int_neg_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer) => integer begin diff --git a/tests/backends/int_pow2_00.asl b/tests/backends/int_pow2_00.asl index acfd1043..59a03150 100644 --- a/tests/backends/int_pow2_00.asl +++ b/tests/backends/int_pow2_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer) => integer begin diff --git a/tests/backends/int_print_dec.asl b/tests/backends/int_print_dec.asl index e1c401dd..a58902f5 100644 --- a/tests/backends/int_print_dec.asl +++ b/tests/backends/int_print_dec.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func main() => integer begin diff --git a/tests/backends/int_print_hex.asl b/tests/backends/int_print_hex.asl index 86e78ca5..d2bab6e1 100644 --- a/tests/backends/int_print_hex.asl +++ b/tests/backends/int_print_hex.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func main() => integer begin diff --git a/tests/backends/int_shl_00.asl b/tests/backends/int_shl_00.asl index 41ae2da4..1e224ddd 100644 --- a/tests/backends/int_shl_00.asl +++ b/tests/backends/int_shl_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer, y : integer) => integer begin diff --git a/tests/backends/int_shr_00.asl b/tests/backends/int_shr_00.asl index 0975fcb9..7a86a321 100644 --- a/tests/backends/int_shr_00.asl +++ b/tests/backends/int_shr_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer, y : integer) => integer begin diff --git a/tests/backends/int_sub_00.asl b/tests/backends/int_sub_00.asl index 2e236eb9..4560546c 100644 --- a/tests/backends/int_sub_00.asl +++ b/tests/backends/int_sub_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer, y : integer) => integer begin diff --git a/tests/backends/int_zdiv_00.asl b/tests/backends/int_zdiv_00.asl index fac9e077..0919cae8 100644 --- a/tests/backends/int_zdiv_00.asl +++ b/tests/backends/int_zdiv_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer, y : integer) => integer begin diff --git a/tests/backends/int_zrem_00.asl b/tests/backends/int_zrem_00.asl index 9246eb52..9face186 100644 --- a/tests/backends/int_zrem_00.asl +++ b/tests/backends/int_zrem_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer, y : integer) => integer begin diff --git a/tests/backends/print_char_00.asl b/tests/backends/print_char_00.asl index 626eccc4..a315986a 100644 --- a/tests/backends/print_char_00.asl +++ b/tests/backends/print_char_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func main() => integer begin diff --git a/tests/backends/print_str_00.asl b/tests/backends/print_str_00.asl index 655e1c8b..003d5c5a 100644 --- a/tests/backends/print_str_00.asl +++ b/tests/backends/print_str_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func main() => integer begin diff --git a/tests/backends/sintN_add_00.asl b/tests/backends/sintN_add_00.asl index 3f80aa60..3e1e3fb1 100644 --- a/tests/backends/sintN_add_00.asl +++ b/tests/backends/sintN_add_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8), y : __sint(8)) => __sint(8) begin diff --git a/tests/backends/sintN_align_00.asl b/tests/backends/sintN_align_00.asl index 3084c3bc..ec989d32 100644 --- a/tests/backends/sintN_align_00.asl +++ b/tests/backends/sintN_align_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8), y : __sint(8)) => __sint(8) begin diff --git a/tests/backends/sintN_cvt_bits_00.asl b/tests/backends/sintN_cvt_bits_00.asl index d9e1c2cf..fdff65d8 100644 --- a/tests/backends/sintN_cvt_bits_00.asl +++ b/tests/backends/sintN_cvt_bits_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8)) => bits(8) begin diff --git a/tests/backends/sintN_cvt_from_int_00.asl b/tests/backends/sintN_cvt_from_int_00.asl index 93d41414..396eb66a 100644 --- a/tests/backends/sintN_cvt_from_int_00.asl +++ b/tests/backends/sintN_cvt_from_int_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT_8(x : integer) => __sint(8) begin diff --git a/tests/backends/sintN_cvt_to_int_00.asl b/tests/backends/sintN_cvt_to_int_00.asl index 0faceb00..27e52a5c 100644 --- a/tests/backends/sintN_cvt_to_int_00.asl +++ b/tests/backends/sintN_cvt_to_int_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT_8(x : __sint(8)) => integer begin diff --git a/tests/backends/sintN_eq_00.asl b/tests/backends/sintN_eq_00.asl index 6dd6a895..5971b575 100644 --- a/tests/backends/sintN_eq_00.asl +++ b/tests/backends/sintN_eq_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8), y : __sint(8)) => boolean begin diff --git a/tests/backends/sintN_exact_div_00.asl b/tests/backends/sintN_exact_div_00.asl index d8a03e3c..4ab15ad5 100644 --- a/tests/backends/sintN_exact_div_00.asl +++ b/tests/backends/sintN_exact_div_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8), y : __sint(8)) => __sint(8) begin diff --git a/tests/backends/sintN_fdiv_00.asl b/tests/backends/sintN_fdiv_00.asl index 20ae7722..28d787e2 100644 --- a/tests/backends/sintN_fdiv_00.asl +++ b/tests/backends/sintN_fdiv_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8), y : __sint(8)) => __sint(8) begin diff --git a/tests/backends/sintN_frem_00.asl b/tests/backends/sintN_frem_00.asl index f5b6da9b..1687a48b 100644 --- a/tests/backends/sintN_frem_00.asl +++ b/tests/backends/sintN_frem_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8), y : __sint(8)) => __sint(8) begin diff --git a/tests/backends/sintN_ge_00.asl b/tests/backends/sintN_ge_00.asl index a3fa87e4..e86e2307 100644 --- a/tests/backends/sintN_ge_00.asl +++ b/tests/backends/sintN_ge_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8), y : __sint(8)) => boolean begin diff --git a/tests/backends/sintN_gt_00.asl b/tests/backends/sintN_gt_00.asl index 73af7e23..21256e89 100644 --- a/tests/backends/sintN_gt_00.asl +++ b/tests/backends/sintN_gt_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8), y : __sint(8)) => boolean begin diff --git a/tests/backends/sintN_is_pow2_00.asl b/tests/backends/sintN_is_pow2_00.asl index 169c39ce..69182fd9 100644 --- a/tests/backends/sintN_is_pow2_00.asl +++ b/tests/backends/sintN_is_pow2_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8)) => boolean begin diff --git a/tests/backends/sintN_le_00.asl b/tests/backends/sintN_le_00.asl index 87889729..f9785d00 100644 --- a/tests/backends/sintN_le_00.asl +++ b/tests/backends/sintN_le_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8), y : __sint(8)) => boolean begin diff --git a/tests/backends/sintN_lt_00.asl b/tests/backends/sintN_lt_00.asl index baad5717..b0493127 100644 --- a/tests/backends/sintN_lt_00.asl +++ b/tests/backends/sintN_lt_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8), y : __sint(8)) => boolean begin diff --git a/tests/backends/sintN_mod_pow2_00.asl b/tests/backends/sintN_mod_pow2_00.asl index 38e1b345..af87bacc 100644 --- a/tests/backends/sintN_mod_pow2_00.asl +++ b/tests/backends/sintN_mod_pow2_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8), y : __sint(8)) => __sint(8) begin diff --git a/tests/backends/sintN_mul_00.asl b/tests/backends/sintN_mul_00.asl index e9e924ad..66f096c6 100644 --- a/tests/backends/sintN_mul_00.asl +++ b/tests/backends/sintN_mul_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8), y : __sint(8)) => __sint(8) begin diff --git a/tests/backends/sintN_ne_00.asl b/tests/backends/sintN_ne_00.asl index 8b770fe0..8e343a24 100644 --- a/tests/backends/sintN_ne_00.asl +++ b/tests/backends/sintN_ne_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8), y : __sint(8)) => boolean begin diff --git a/tests/backends/sintN_neg_00.asl b/tests/backends/sintN_neg_00.asl index 40838f74..ddc99ce5 100644 --- a/tests/backends/sintN_neg_00.asl +++ b/tests/backends/sintN_neg_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8)) => __sint(8) begin diff --git a/tests/backends/sintN_pow2_00.asl b/tests/backends/sintN_pow2_00.asl index eacc74e6..6fa24902 100644 --- a/tests/backends/sintN_pow2_00.asl +++ b/tests/backends/sintN_pow2_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8)) => __sint(8) begin diff --git a/tests/backends/sintN_print_dec.asl b/tests/backends/sintN_print_dec.asl index 555ef956..a8308f04 100644 --- a/tests/backends/sintN_print_dec.asl +++ b/tests/backends/sintN_print_dec.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func main() => integer begin diff --git a/tests/backends/sintN_print_hex.asl b/tests/backends/sintN_print_hex.asl index 86e78ca5..d2bab6e1 100644 --- a/tests/backends/sintN_print_hex.asl +++ b/tests/backends/sintN_print_hex.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func main() => integer begin diff --git a/tests/backends/sintN_resize_00.asl b/tests/backends/sintN_resize_00.asl index 01ed9f89..77a86054 100644 --- a/tests/backends/sintN_resize_00.asl +++ b/tests/backends/sintN_resize_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT_8_16(x : __sint(8)) => __sint(16) begin diff --git a/tests/backends/sintN_shl_00.asl b/tests/backends/sintN_shl_00.asl index c6db0f77..10135220 100644 --- a/tests/backends/sintN_shl_00.asl +++ b/tests/backends/sintN_shl_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8), y : __sint(8)) => __sint(8) begin diff --git a/tests/backends/sintN_shr_00.asl b/tests/backends/sintN_shr_00.asl index 5f9d37c2..a9fe2126 100644 --- a/tests/backends/sintN_shr_00.asl +++ b/tests/backends/sintN_shr_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8), y : __sint(8)) => __sint(8) begin diff --git a/tests/backends/sintN_sub_00.asl b/tests/backends/sintN_sub_00.asl index 84d22e5f..12360e94 100644 --- a/tests/backends/sintN_sub_00.asl +++ b/tests/backends/sintN_sub_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8), y : __sint(8)) => __sint(8) begin diff --git a/tests/backends/sintN_zdiv_00.asl b/tests/backends/sintN_zdiv_00.asl index c71107be..b49b9157 100644 --- a/tests/backends/sintN_zdiv_00.asl +++ b/tests/backends/sintN_zdiv_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8), y : __sint(8)) => __sint(8) begin diff --git a/tests/backends/sintN_zrem_00.asl b/tests/backends/sintN_zrem_00.asl index 37152636..96cfd6c5 100644 --- a/tests/backends/sintN_zrem_00.asl +++ b/tests/backends/sintN_zrem_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : __sint(8), y : __sint(8)) => __sint(8) begin diff --git a/tests/backends/stmt_assert_00.asl b/tests/backends/stmt_assert_00.asl index e0306b39..69d4292e 100644 --- a/tests/backends/stmt_assert_00.asl +++ b/tests/backends/stmt_assert_00.asl @@ -1,5 +1,5 @@ // RUN: not %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : bits(4)) => bits(4) begin diff --git a/tests/backends/stmt_assert_01.asl b/tests/backends/stmt_assert_01.asl index f3ad80b1..b477ada1 100644 --- a/tests/backends/stmt_assert_01.asl +++ b/tests/backends/stmt_assert_01.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : bits(4)) => bits(4) begin diff --git a/tests/backends/stmt_assign_00.asl b/tests/backends/stmt_assign_00.asl index 526cfeb5..da6eade2 100644 --- a/tests/backends/stmt_assign_00.asl +++ b/tests/backends/stmt_assign_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : bits(4)) => bits(4) begin diff --git a/tests/backends/stmt_block_00.asl b/tests/backends/stmt_block_00.asl index 7d042d62..9ce1300e 100644 --- a/tests/backends/stmt_block_00.asl +++ b/tests/backends/stmt_block_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer) => integer begin diff --git a/tests/backends/stmt_case_00.asl b/tests/backends/stmt_case_00.asl index da202c97..09c6da2a 100644 --- a/tests/backends/stmt_case_00.asl +++ b/tests/backends/stmt_case_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer) => integer begin diff --git a/tests/backends/stmt_case_01.asl b/tests/backends/stmt_case_01.asl index 0b606eb6..1c5e015b 100644 --- a/tests/backends/stmt_case_01.asl +++ b/tests/backends/stmt_case_01.asl @@ -1,5 +1,5 @@ // RUN: not %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer) => integer begin diff --git a/tests/backends/stmt_case_02.asl b/tests/backends/stmt_case_02.asl index ec828e6f..751521b2 100644 --- a/tests/backends/stmt_case_02.asl +++ b/tests/backends/stmt_case_02.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : boolean) => integer begin diff --git a/tests/backends/stmt_case_03.asl b/tests/backends/stmt_case_03.asl index b2b0e856..d8275f0c 100644 --- a/tests/backends/stmt_case_03.asl +++ b/tests/backends/stmt_case_03.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : bits(4)) => integer begin diff --git a/tests/backends/stmt_case_04.asl b/tests/backends/stmt_case_04.asl index e69a3bf6..d4e1ea74 100644 --- a/tests/backends/stmt_case_04.asl +++ b/tests/backends/stmt_case_04.asl @@ -1,5 +1,5 @@ // RUN: not %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // UNSUPPORTED: interpreter diff --git a/tests/backends/stmt_case_05.asl b/tests/backends/stmt_case_05.asl index 9b44e965..1a12f24f 100644 --- a/tests/backends/stmt_case_05.asl +++ b/tests/backends/stmt_case_05.asl @@ -1,5 +1,5 @@ // RUN: not %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // UNSUPPORTED: interpreter diff --git a/tests/backends/stmt_for_00.asl b/tests/backends/stmt_for_00.asl index 7e2d8d9d..716b3673 100644 --- a/tests/backends/stmt_for_00.asl +++ b/tests/backends/stmt_for_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer) => integer begin diff --git a/tests/backends/stmt_for_01.asl b/tests/backends/stmt_for_01.asl index 2066fe42..f0f3e731 100644 --- a/tests/backends/stmt_for_01.asl +++ b/tests/backends/stmt_for_01.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer) => integer begin diff --git a/tests/backends/stmt_if_00.asl b/tests/backends/stmt_if_00.asl index 33d6d575..6486c278 100644 --- a/tests/backends/stmt_if_00.asl +++ b/tests/backends/stmt_if_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : boolean, y : boolean) => bits(4) begin diff --git a/tests/backends/stmt_let_00.asl b/tests/backends/stmt_let_00.asl index 5055e4b6..6858dbc7 100644 --- a/tests/backends/stmt_let_00.asl +++ b/tests/backends/stmt_let_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer) => integer begin diff --git a/tests/backends/stmt_repeat_00.asl b/tests/backends/stmt_repeat_00.asl index b3429551..29c35a8a 100644 --- a/tests/backends/stmt_repeat_00.asl +++ b/tests/backends/stmt_repeat_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer) => integer begin diff --git a/tests/backends/stmt_return_00.asl b/tests/backends/stmt_return_00.asl index 9172f6bf..c9ca753e 100644 --- a/tests/backends/stmt_return_00.asl +++ b/tests/backends/stmt_return_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : boolean) => boolean begin diff --git a/tests/backends/stmt_return_01.asl b/tests/backends/stmt_return_01.asl index d8d2f4e6..c274ab0c 100644 --- a/tests/backends/stmt_return_01.asl +++ b/tests/backends/stmt_return_01.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : boolean) => boolean begin diff --git a/tests/backends/stmt_return_02.asl b/tests/backends/stmt_return_02.asl index f227495d..a111f267 100644 --- a/tests/backends/stmt_return_02.asl +++ b/tests/backends/stmt_return_02.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func FUT(x : boolean) begin diff --git a/tests/backends/stmt_try_00.asl b/tests/backends/stmt_try_00.asl index e253a35c..d393fdcc 100644 --- a/tests/backends/stmt_try_00.asl +++ b/tests/backends/stmt_try_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation type E0 of exception; type E1 of exception{ payload : boolean }; diff --git a/tests/backends/stmt_try_01.asl b/tests/backends/stmt_try_01.asl index e90f051a..0c90fc48 100644 --- a/tests/backends/stmt_try_01.asl +++ b/tests/backends/stmt_try_01.asl @@ -1,5 +1,5 @@ // RUN: not %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation type E0 of exception; type E1 of exception{ payload : boolean }; diff --git a/tests/backends/stmt_try_02.asl b/tests/backends/stmt_try_02.asl index 3033659f..c27d79c2 100644 --- a/tests/backends/stmt_try_02.asl +++ b/tests/backends/stmt_try_02.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation type E0 of exception; type E1 of exception{ payload : boolean }; diff --git a/tests/backends/stmt_var_00.asl b/tests/backends/stmt_var_00.asl index e266384b..0df61bab 100644 --- a/tests/backends/stmt_var_00.asl +++ b/tests/backends/stmt_var_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer) => integer begin diff --git a/tests/backends/stmt_while_00.asl b/tests/backends/stmt_while_00.asl index 083dc951..f0808c94 100644 --- a/tests/backends/stmt_while_00.asl +++ b/tests/backends/stmt_while_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test(x : integer) => integer begin diff --git a/tests/backends/type_array_00.asl b/tests/backends/type_array_00.asl index be4df122..516039e9 100644 --- a/tests/backends/type_array_00.asl +++ b/tests/backends/type_array_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation var R : array [2] of bits(32); diff --git a/tests/backends/type_array_01.asl b/tests/backends/type_array_01.asl index f1635193..45488043 100644 --- a/tests/backends/type_array_01.asl +++ b/tests/backends/type_array_01.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation var R : array [2] of array [2] of bits(32); diff --git a/tests/backends/type_array_02.asl b/tests/backends/type_array_02.asl index 39e7ed6f..8d8477be 100644 --- a/tests/backends/type_array_02.asl +++ b/tests/backends/type_array_02.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation let R : array [3] of bits(32) = array(32'x3, 32'x4, 32'x5); diff --git a/tests/backends/type_bool_00.asl b/tests/backends/type_bool_00.asl index 9d2ccfb8..0b135471 100644 --- a/tests/backends/type_bool_00.asl +++ b/tests/backends/type_bool_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func Test_id(x : boolean) => boolean begin diff --git a/tests/backends/type_enum_00.asl b/tests/backends/type_enum_00.asl index 43ff9c73..4a6a71ea 100644 --- a/tests/backends/type_enum_00.asl +++ b/tests/backends/type_enum_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation enumeration E { R, G, B }; diff --git a/tests/backends/type_ram_00.asl b/tests/backends/type_ram_00.asl index 1bdcb321..08b9770b 100644 --- a/tests/backends/type_ram_00.asl +++ b/tests/backends/type_ram_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // A RAM block with 8-bit addresses // RAMs should always be declared as global variables diff --git a/tests/backends/type_record_00.asl b/tests/backends/type_record_00.asl index f466d004..06fb5597 100644 --- a/tests/backends/type_record_00.asl +++ b/tests/backends/type_record_00.asl @@ -1,5 +1,5 @@ // RUN: %aslrun %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation record X { f : bits(4); diff --git a/tests/dune b/tests/dune index c3d55b93..7514b4c8 100644 --- a/tests/dune +++ b/tests/dune @@ -1,5 +1,5 @@ ; Copyright Arm Limited (c) 2017-2019 -; Copyright (C) 2022-2024 Intel Corporation +; Copyright (C) 2022-2025 Intel Corporation ; SPDX-Licence-Identifier: BSD-3-Clause (tests diff --git a/tests/lit.cfg b/tests/lit.cfg index 17347748..0755f658 100644 --- a/tests/lit.cfg +++ b/tests/lit.cfg @@ -1,4 +1,4 @@ -# Copyright (C) 2023-2024 Intel Corporation +# Copyright (C) 2023-2025 Intel Corporation import lit.formats import subprocess diff --git a/tests/lit/check_monomorphization/test_00.asl b/tests/lit/check_monomorphization/test_00.asl index ca920110..68f07107 100644 --- a/tests/lit/check_monomorphization/test_00.asl +++ b/tests/lit/check_monomorphization/test_00.asl @@ -1,5 +1,5 @@ // RUN: %asli --batchmode --configuration=%S/config.json --project=%S/asli.prj %s | filecheck %s -// Copyright (C) 2024-2024 Intel Corporation +// Copyright (C) 2024-2025 Intel Corporation func C(x : bits(N)) => integer begin diff --git a/tests/lit/globalchecks/eval_order_00.asl b/tests/lit/globalchecks/eval_order_00.asl index f62ed824..6e1c8c3b 100644 --- a/tests/lit/globalchecks/eval_order_00.asl +++ b/tests/lit/globalchecks/eval_order_00.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation var X : integer; diff --git a/tests/lit/globalchecks/eval_order_01.asl b/tests/lit/globalchecks/eval_order_01.asl index e0e52921..7811e461 100644 --- a/tests/lit/globalchecks/eval_order_01.asl +++ b/tests/lit/globalchecks/eval_order_01.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation var X : integer; diff --git a/tests/lit/globalchecks/eval_order_02.asl b/tests/lit/globalchecks/eval_order_02.asl index 54e09de0..b5f53cdd 100644 --- a/tests/lit/globalchecks/eval_order_02.asl +++ b/tests/lit/globalchecks/eval_order_02.asl @@ -1,5 +1,5 @@ // RUN: not %asli --max-errors=10 --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation var X : integer; diff --git a/tests/lit/globalchecks/eval_order_03.asl b/tests/lit/globalchecks/eval_order_03.asl index d2a1d4df..937a048a 100644 --- a/tests/lit/globalchecks/eval_order_03.asl +++ b/tests/lit/globalchecks/eval_order_03.asl @@ -1,5 +1,5 @@ // RUN: %asli --batchmode %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation var X : integer; var Y : integer; diff --git a/tests/lit/globalchecks/eval_order_04.asl b/tests/lit/globalchecks/eval_order_04.asl index be36966e..3874b7f4 100644 --- a/tests/lit/globalchecks/eval_order_04.asl +++ b/tests/lit/globalchecks/eval_order_04.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation var ram1 : __RAM(64); diff --git a/tests/lit/globalchecks/eval_order_05.asl b/tests/lit/globalchecks/eval_order_05.asl index b5d2dafa..2e7de9f5 100644 --- a/tests/lit/globalchecks/eval_order_05.asl +++ b/tests/lit/globalchecks/eval_order_05.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation var ram1 : __RAM(64); diff --git a/tests/lit/globalchecks/eval_order_06.asl b/tests/lit/globalchecks/eval_order_06.asl index da7fec57..ba3c2f6c 100644 --- a/tests/lit/globalchecks/eval_order_06.asl +++ b/tests/lit/globalchecks/eval_order_06.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation var ram1 : __RAM(64); diff --git a/tests/lit/globalchecks/markers_00.asl b/tests/lit/globalchecks/markers_00.asl index 2fc4dd4e..e96a3eea 100644 --- a/tests/lit/globalchecks/markers_00.asl +++ b/tests/lit/globalchecks/markers_00.asl @@ -1,5 +1,5 @@ // RUN: %asli --max-errors=10 --check-call-markers --batchmode %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation type E of exception; diff --git a/tests/lit/globalchecks/markers_01.asl b/tests/lit/globalchecks/markers_01.asl index 45eefe51..aa39275c 100644 --- a/tests/lit/globalchecks/markers_01.asl +++ b/tests/lit/globalchecks/markers_01.asl @@ -1,5 +1,5 @@ // RUN: not %asli --max-errors=10 --check-call-markers --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation type E of exception; diff --git a/tests/lit/globalchecks/noreturn_00.asl b/tests/lit/globalchecks/noreturn_00.asl index d32b9f71..63287df9 100644 --- a/tests/lit/globalchecks/noreturn_00.asl +++ b/tests/lit/globalchecks/noreturn_00.asl @@ -1,5 +1,5 @@ // RUN: not %asli --max-errors=10 --check-exception-markers --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func T() => integer begin diff --git a/tests/lit/globalchecks/rethrow_00.asl b/tests/lit/globalchecks/rethrow_00.asl index 4f957bed..babdda32 100644 --- a/tests/lit/globalchecks/rethrow_00.asl +++ b/tests/lit/globalchecks/rethrow_00.asl @@ -1,5 +1,5 @@ // RUN: not %asli --max-errors=10 --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation type E of exception; diff --git a/tests/lit/globalchecks/rethrow_01.asl b/tests/lit/globalchecks/rethrow_01.asl index b3226fa2..94c26189 100644 --- a/tests/lit/globalchecks/rethrow_01.asl +++ b/tests/lit/globalchecks/rethrow_01.asl @@ -1,5 +1,5 @@ // RUN: not %asli --max-errors=10 --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation type E of exception; diff --git a/tests/lit/globalchecks/rethrow_02.asl b/tests/lit/globalchecks/rethrow_02.asl index ae61fe18..7e96f367 100644 --- a/tests/lit/globalchecks/rethrow_02.asl +++ b/tests/lit/globalchecks/rethrow_02.asl @@ -1,5 +1,5 @@ // RUN: %asli --batchmode %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation type E of exception; diff --git a/tests/lit/globalchecks/rethrow_03.asl b/tests/lit/globalchecks/rethrow_03.asl index d5dbe496..78f00ce2 100644 --- a/tests/lit/globalchecks/rethrow_03.asl +++ b/tests/lit/globalchecks/rethrow_03.asl @@ -1,5 +1,5 @@ // RUN: not %asli --max-errors=10 --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation type E of exception; diff --git a/tests/lit/globalchecks/rethrow_04.asl b/tests/lit/globalchecks/rethrow_04.asl index 49bf7bb5..7fa0f6ef 100644 --- a/tests/lit/globalchecks/rethrow_04.asl +++ b/tests/lit/globalchecks/rethrow_04.asl @@ -1,5 +1,5 @@ // RUN: not %asli --max-errors=10 --check-exception-markers --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation type E of exception; diff --git a/tests/lit/parser/directive_line.asl b/tests/lit/parser/directive_line.asl index 33ea00dd..8271aca5 100644 --- a/tests/lit/parser/directive_line.asl +++ b/tests/lit/parser/directive_line.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s || filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation # 42 "foobar.asl" x == 0 diff --git a/tests/lit/tcheck/conflicting_00.asl b/tests/lit/tcheck/conflicting_00.asl index fc87a83e..4c512ff2 100644 --- a/tests/lit/tcheck/conflicting_00.asl +++ b/tests/lit/tcheck/conflicting_00.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func F(); func F(); diff --git a/tests/lit/tcheck/conflicting_01.asl b/tests/lit/tcheck/conflicting_01.asl index 613db39b..9fdba3f1 100644 --- a/tests/lit/tcheck/conflicting_01.asl +++ b/tests/lit/tcheck/conflicting_01.asl @@ -1,5 +1,5 @@ // RUN: %asli --batchmode %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func F(); func F(x : integer); diff --git a/tests/lit/tcheck/function_arg_00.asl b/tests/lit/tcheck/function_arg_00.asl index 3196bb06..baf6e316 100644 --- a/tests/lit/tcheck/function_arg_00.asl +++ b/tests/lit/tcheck/function_arg_00.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func IntFunction(x : integer) begin diff --git a/tests/lit/tcheck/immutable_00.asl b/tests/lit/tcheck/immutable_00.asl index 676cce5e..067dd33e 100644 --- a/tests/lit/tcheck/immutable_00.asl +++ b/tests/lit/tcheck/immutable_00.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func F(x : integer) begin diff --git a/tests/lit/tcheck/immutable_01.asl b/tests/lit/tcheck/immutable_01.asl index 4aa36958..15459472 100644 --- a/tests/lit/tcheck/immutable_01.asl +++ b/tests/lit/tcheck/immutable_01.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func F(x : bits(N)) begin diff --git a/tests/lit/tcheck/immutable_02.asl b/tests/lit/tcheck/immutable_02.asl index ef307cf7..8a1559ad 100644 --- a/tests/lit/tcheck/immutable_02.asl +++ b/tests/lit/tcheck/immutable_02.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func F{N}(x : bits(N)) begin diff --git a/tests/lit/tcheck/immutable_03.asl b/tests/lit/tcheck/immutable_03.asl index 0a677cc3..06447102 100644 --- a/tests/lit/tcheck/immutable_03.asl +++ b/tests/lit/tcheck/immutable_03.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func F() begin diff --git a/tests/lit/tcheck/immutable_04.asl b/tests/lit/tcheck/immutable_04.asl index a2a5aaee..9a362ae7 100644 --- a/tests/lit/tcheck/immutable_04.asl +++ b/tests/lit/tcheck/immutable_04.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func F() begin diff --git a/tests/lit/tcheck/immutable_05.asl b/tests/lit/tcheck/immutable_05.asl index 8cb3d1f4..a959812e 100644 --- a/tests/lit/tcheck/immutable_05.asl +++ b/tests/lit/tcheck/immutable_05.asl @@ -1,5 +1,5 @@ // RUN: %asli --batchmode %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func F() begin diff --git a/tests/lit/tcheck/immutable_06.asl b/tests/lit/tcheck/immutable_06.asl index e9874cdd..6caae08d 100644 --- a/tests/lit/tcheck/immutable_06.asl +++ b/tests/lit/tcheck/immutable_06.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation config CFG : integer = 1; diff --git a/tests/lit/tcheck/immutable_07.asl b/tests/lit/tcheck/immutable_07.asl index e6264944..3fcaaae5 100644 --- a/tests/lit/tcheck/immutable_07.asl +++ b/tests/lit/tcheck/immutable_07.asl @@ -1,5 +1,5 @@ // RUN: %asli --batchmode %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation var X : integer; diff --git a/tests/lit/tcheck/immutable_08.asl b/tests/lit/tcheck/immutable_08.asl index 54a3d7fb..71292fc8 100644 --- a/tests/lit/tcheck/immutable_08.asl +++ b/tests/lit/tcheck/immutable_08.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation constant C : integer = 1; diff --git a/tests/lit/tcheck/implicit_params_00.asl b/tests/lit/tcheck/implicit_params_00.asl index 705dddd9..7d01ff6e 100644 --- a/tests/lit/tcheck/implicit_params_00.asl +++ b/tests/lit/tcheck/implicit_params_00.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func F() => bits(N); // CHECK: Type error: the width parameter(s) `N` of the return type cannot be determined from the function arguments diff --git a/tests/lit/tcheck/implicit_params_01.asl b/tests/lit/tcheck/implicit_params_01.asl index f0fd4cb5..6ea5b40e 100644 --- a/tests/lit/tcheck/implicit_params_01.asl +++ b/tests/lit/tcheck/implicit_params_01.asl @@ -1,5 +1,5 @@ // RUN: %asli --batchmode %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation // Correct type parameters: N can be synthesized from the type of x func F1{N : integer}(x : bits(N)) => boolean; diff --git a/tests/lit/tcheck/missing_00.asl b/tests/lit/tcheck/missing_00.asl index 4cc50b1d..675094fc 100644 --- a/tests/lit/tcheck/missing_00.asl +++ b/tests/lit/tcheck/missing_00.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func T() begin diff --git a/tests/lit/tcheck/patterns_00.asl b/tests/lit/tcheck/patterns_00.asl index 8ddcbaac..d67c7781 100644 --- a/tests/lit/tcheck/patterns_00.asl +++ b/tests/lit/tcheck/patterns_00.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation var X : integer; diff --git a/tests/lit/tcheck/record_init_00.asl b/tests/lit/tcheck/record_init_00.asl index dd1171ee..2f93ea0d 100644 --- a/tests/lit/tcheck/record_init_00.asl +++ b/tests/lit/tcheck/record_init_00.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation record R{ x : integer; diff --git a/tests/lit/tcheck/record_init_01.asl b/tests/lit/tcheck/record_init_01.asl index a441e1eb..c44aa27f 100644 --- a/tests/lit/tcheck/record_init_01.asl +++ b/tests/lit/tcheck/record_init_01.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation record R(M) { x : bits(M); diff --git a/tests/lit/tcheck/records_00.asl b/tests/lit/tcheck/records_00.asl index 04c80329..339c7783 100644 --- a/tests/lit/tcheck/records_00.asl +++ b/tests/lit/tcheck/records_00.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation record R { x : integer; diff --git a/tests/lit/tcheck/records_01.asl b/tests/lit/tcheck/records_01.asl index 6e213285..58732bd3 100644 --- a/tests/lit/tcheck/records_01.asl +++ b/tests/lit/tcheck/records_01.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation type B of bits(8) { [7] X diff --git a/tests/lit/tcheck/records_02.asl b/tests/lit/tcheck/records_02.asl index fc2beb50..5adde55c 100644 --- a/tests/lit/tcheck/records_02.asl +++ b/tests/lit/tcheck/records_02.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation record R { x : integer; diff --git a/tests/lit/tcheck/return_type_01.asl b/tests/lit/tcheck/return_type_01.asl index 4c4c634c..9d4e211d 100644 --- a/tests/lit/tcheck/return_type_01.asl +++ b/tests/lit/tcheck/return_type_01.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func F(x : boolean) => integer begin diff --git a/tests/lit/tcheck/setter_00.asl b/tests/lit/tcheck/setter_00.asl index 1ed9c8b9..e606cab6 100644 --- a/tests/lit/tcheck/setter_00.asl +++ b/tests/lit/tcheck/setter_00.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation setter A[] = value : integer; diff --git a/tests/lit/tcheck/setter_01.asl b/tests/lit/tcheck/setter_01.asl index 7dfd0e9f..acf1223e 100644 --- a/tests/lit/tcheck/setter_01.asl +++ b/tests/lit/tcheck/setter_01.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation setter A = value : integer; diff --git a/tests/lit/tcheck/shadowing_00.asl b/tests/lit/tcheck/shadowing_00.asl index 00c0e64c..79e70ee5 100644 --- a/tests/lit/tcheck/shadowing_00.asl +++ b/tests/lit/tcheck/shadowing_00.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func F(x : integer) begin diff --git a/tests/lit/tcheck/shadowing_01.asl b/tests/lit/tcheck/shadowing_01.asl index 886073e4..d9e58ee6 100644 --- a/tests/lit/tcheck/shadowing_01.asl +++ b/tests/lit/tcheck/shadowing_01.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func F(x : integer) begin diff --git a/tests/lit/tcheck/shadowing_02.asl b/tests/lit/tcheck/shadowing_02.asl index 773ff42c..8aba328b 100644 --- a/tests/lit/tcheck/shadowing_02.asl +++ b/tests/lit/tcheck/shadowing_02.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func F{N}(x : bits(N)) begin diff --git a/tests/lit/tcheck/shadowing_03.asl b/tests/lit/tcheck/shadowing_03.asl index cf6b9709..c8d8a5e8 100644 --- a/tests/lit/tcheck/shadowing_03.asl +++ b/tests/lit/tcheck/shadowing_03.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation var x : integer; diff --git a/tests/lit/tcheck/subtypes_00.asl b/tests/lit/tcheck/subtypes_00.asl index af9da100..2fac7999 100644 --- a/tests/lit/tcheck/subtypes_00.asl +++ b/tests/lit/tcheck/subtypes_00.asl @@ -1,5 +1,5 @@ // RUN: %asli --batchmode %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation type TwoHalves of bits(16) { [7:0] LO diff --git a/tests/lit/tcheck/type_constants_00.asl b/tests/lit/tcheck/type_constants_00.asl index f787a7a8..8c3bbb24 100644 --- a/tests/lit/tcheck/type_constants_00.asl +++ b/tests/lit/tcheck/type_constants_00.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func F{A}(A : integer, src : bits(A)) => boolean begin diff --git a/tests/lit/tcheck/type_width_00.asl b/tests/lit/tcheck/type_width_00.asl index e546856c..8f525ea8 100644 --- a/tests/lit/tcheck/type_width_00.asl +++ b/tests/lit/tcheck/type_width_00.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func F{A}(A : integer, src : bits(A)) begin diff --git a/tests/lit/tcheck/type_width_01.asl b/tests/lit/tcheck/type_width_01.asl index f787a7a8..8c3bbb24 100644 --- a/tests/lit/tcheck/type_width_01.asl +++ b/tests/lit/tcheck/type_width_01.asl @@ -1,5 +1,5 @@ // RUN: not %asli --batchmode %s | filecheck %s -// Copyright (C) 2023-2024 Intel Corporation +// Copyright (C) 2023-2025 Intel Corporation func F{A}(A : integer, src : bits(A)) => boolean begin diff --git a/tests/loadasl_test.ml b/tests/loadasl_test.ml index 27c2408a..5cd98c57 100644 --- a/tests/loadasl_test.ml +++ b/tests/loadasl_test.ml @@ -1,7 +1,7 @@ (**************************************************************** * ASL file load and parse * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/test_cases_backend.ml b/tests/test_cases_backend.ml index b34b05c9..8c3b0cf5 100644 --- a/tests/test_cases_backend.ml +++ b/tests/test_cases_backend.ml @@ -1,7 +1,7 @@ (**************************************************************** * Test cases for backends * - * Copyright (C) 2024-2024 Intel Corporation + * Copyright (C) 2024-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/test_utils.ml b/tests/test_utils.ml index 7fccc24c..ce92dc83 100644 --- a/tests/test_utils.ml +++ b/tests/test_utils.ml @@ -1,7 +1,7 @@ (**************************************************************** * Utilities for use in tests * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/test_utils_backend.ml b/tests/test_utils_backend.ml index 82098eee..ecf43593 100644 --- a/tests/test_utils_backend.ml +++ b/tests/test_utils_backend.ml @@ -1,7 +1,7 @@ (**************************************************************** * Utilities for backend tests * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/xform_bitslices_test.ml b/tests/xform_bitslices_test.ml index 2905aaef..550293ba 100644 --- a/tests/xform_bitslices_test.ml +++ b/tests/xform_bitslices_test.ml @@ -1,7 +1,7 @@ (**************************************************************** * Test bitslice lowering transform * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/xform_bittuples_test.ml b/tests/xform_bittuples_test.ml index 59d4d925..5dc5864a 100644 --- a/tests/xform_bittuples_test.ml +++ b/tests/xform_bittuples_test.ml @@ -1,7 +1,7 @@ (**************************************************************** * Test bittuple lowering transform * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/xform_case_test.ml b/tests/xform_case_test.ml index 795e5099..7e056a02 100644 --- a/tests/xform_case_test.ml +++ b/tests/xform_case_test.ml @@ -1,7 +1,7 @@ (**************************************************************** * Test case lowering transform * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/xform_constprop_test.ml b/tests/xform_constprop_test.ml index f64749e0..747cf070 100644 --- a/tests/xform_constprop_test.ml +++ b/tests/xform_constprop_test.ml @@ -1,7 +1,7 @@ (**************************************************************** * Test constant propagation transform * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/xform_getset_test.ml b/tests/xform_getset_test.ml index 06f8ec63..e79f31a3 100644 --- a/tests/xform_getset_test.ml +++ b/tests/xform_getset_test.ml @@ -1,7 +1,7 @@ (**************************************************************** * Test getters and setters elimination transform * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/xform_int_bitslices_test.ml b/tests/xform_int_bitslices_test.ml index 8714ee33..06bdf194 100644 --- a/tests/xform_int_bitslices_test.ml +++ b/tests/xform_int_bitslices_test.ml @@ -1,7 +1,7 @@ (**************************************************************** * Test integer bitslicing transform * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/xform_lower_test.ml b/tests/xform_lower_test.ml index b2ccb2c2..ce5a9d7c 100644 --- a/tests/xform_lower_test.ml +++ b/tests/xform_lower_test.ml @@ -1,7 +1,7 @@ (**************************************************************** * Test lowering transform * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/xform_mono_test.ml b/tests/xform_mono_test.ml index b19dbe41..a7a60925 100644 --- a/tests/xform_mono_test.ml +++ b/tests/xform_mono_test.ml @@ -1,7 +1,7 @@ (**************************************************************** * Test mono transform * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/xform_named_type_test.ml b/tests/xform_named_type_test.ml index df6a7ab4..f22441e6 100644 --- a/tests/xform_named_type_test.ml +++ b/tests/xform_named_type_test.ml @@ -1,7 +1,7 @@ (**************************************************************** * Test named type transform * - * Copyright (C) 2023-2024 Intel Corporation + * Copyright (C) 2023-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/xform_simplify_expr_test.ml b/tests/xform_simplify_expr_test.ml index b4c2fc0d..c7eb71b7 100644 --- a/tests/xform_simplify_expr_test.ml +++ b/tests/xform_simplify_expr_test.ml @@ -1,7 +1,7 @@ (**************************************************************** * Test expression simplification * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/xform_tuples_test.ml b/tests/xform_tuples_test.ml index 217df476..e8cf3ba6 100644 --- a/tests/xform_tuples_test.ml +++ b/tests/xform_tuples_test.ml @@ -1,7 +1,7 @@ (**************************************************************** * Test tuple lowering transform * - * Copyright (C) 2022-2024 Intel Corporation + * Copyright (C) 2022-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/xform_valid_test.ml b/tests/xform_valid_test.ml index cad84a41..5f473443 100644 --- a/tests/xform_valid_test.ml +++ b/tests/xform_valid_test.ml @@ -1,7 +1,7 @@ (**************************************************************** * Test transform that helps tracking valid bits * - * Copyright (C) 2024-2024 Intel Corporation + * Copyright (C) 2024-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************) diff --git a/tests/xform_wrap_test.ml b/tests/xform_wrap_test.ml index 250d82bb..c5f837f3 100644 --- a/tests/xform_wrap_test.ml +++ b/tests/xform_wrap_test.ml @@ -1,7 +1,7 @@ (**************************************************************** * Test global variable wrapping transform * - * Copyright (C) 2024-2024 Intel Corporation + * Copyright (C) 2024-2025 Intel Corporation * SPDX-Licence-Identifier: BSD-3-Clause ****************************************************************)