[pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

Author: pre-commit-ci[bot]

.github/workflows/make-test-all.yml

@@ -53,4 +53,3 @@ jobs:
       - run: opam exec -- make build DUNE_PROFILE=dev
 
       - run: opam exec -- make test-all DUNE_PROFILE=dev
-

.github/workflows/make-test.yml

@@ -76,4 +76,3 @@ jobs:
           dune-cache: true
 
       - run: opam exec -- dune fmt
-

Makefile.x86_64

@@ -75,4 +75,3 @@ litmus-cata-x86_64-test-kvm: litmus-x86_64-dep
         fi
 	$(RM) -rf $(KUT_DIR)
 	@ echo "litmus7 in -mode kvm catalogue x86_64 tests: OK"
-

VERSION.txt

@@ -1,2 +1 @@
 7.58+1
-

acl2/asl/README.md

@@ -78,4 +78,3 @@ complete without error.
 Both of these test builds leave `*.t` files under their subdirectories,
 which can disrupt dune-based testing of herdtools and asllib. Run
 `make clean` in both test subdirectories to fix this.
-

acl2/asl/acl2-customization.lsp

@@ -4,7 +4,7 @@
 ;;
 ;; SPDX-FileCopyrightText: Copyright 2025 Arm Limited and/or its affiliates <open-source-office@arm.com>
 ;; SPDX-License-Identifier: BSD-3-Clause
-;; 
+;;
 ;;****************************************************************************;;
 ;; Disclaimer:                                                                ;;
 ;; This material covers both ASLv0 (viz, the existing ASL pseudocode language ;;

acl2/asl/aslreftests/dune-project

@@ -1,4 +1,3 @@
 (lang dune 3.16)
 
 (name acl2test)
-

acl2/asl/bin/run-acl2asl.sh

@@ -32,8 +32,8 @@ fi
 
 # generated by chatgpt
 awk -v start="$start_pattern" -v end="$end_pattern" '
-    index($0, start) {flag=1; next} 
-    index($0, end) && flag {exit} 
+    index($0, start) {flag=1; next}
+    index($0, end) && flag {exit}
     flag { printf "%s", sep $0; sep=ORS }' "$outfile"
 
 exit $status

acl2/asl/bin/run-aslref-test.sh

@@ -89,11 +89,11 @@ fi
 if [[ "$aslref_out" != "" ]]; then
     echo "$aslref_out";
 fi
-   
+
 # generated by chatgpt
 awk -v start="$start_pattern" -v end="$end_pattern" '
-    index($0, start) {flag=1; next} 
-    index($0, end) && flag {exit} 
+    index($0, start) {flag=1; next}
+    index($0, end) && flag {exit}
     flag { printf "%s", sep $0; sep=ORS }' "$outfile"
 
 

acl2/asl/cert.acl2

@@ -4,7 +4,7 @@
 ;;
 ;; SPDX-FileCopyrightText: Copyright 2025 Arm Limited and/or its affiliates <open-source-office@arm.com>
 ;; SPDX-License-Identifier: BSD-3-Clause
-;; 
+;;
 ;;****************************************************************************;;
 ;; Disclaimer:                                                                ;;
 ;; This material covers both ASLv0 (viz, the existing ASL pseudocode language ;;