Update copyright year

IntelLabs · Jan 7, 2025 · 56c03e3 · 56c03e3
1 parent 3b7de26
commit 56c03e3
Show file tree

Hide file tree

Showing 330 changed files with 340 additions and 336 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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 <assert.h>

diff --git 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
@@ -5,15 +5,19 @@
 (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)
 
 (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 <alastair.d.reid@gmail.com>")
-(source (github alastairreid/asl-interpreter))
-(bug_reports "https://github.com/alastairreid/asl-interpreter/issues")
-(homepage "https://github.com/alastairreid/asl-interpreter")
+(maintainers "Alastair Reid <alastair.reid@intel.com>")
+(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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
  ****************************************************************)