Lint: Replace black with ruff

Ports pq-code-package/mlkem-native#1653

Signed-off-by: Matthias J. Kannwischer <matthias@zerorisc.com>

Author: mkannwischer

nix/util.nix

@@ -87,10 +87,11 @@ rec {
         nixpkgs-fmt
         shfmt
         shellcheck
-        actionlint;
+        actionlint
+        ruff;
 
       inherit (pkgs.python3Packages)
-        mpmath sympy black pyparsing pyyaml rich;
+        mpmath sympy pyparsing pyyaml rich;
     };
   };
 

proofs/cbmc/lib/summarize.py

@@ -137,7 +137,6 @@ def export_result_json(output_path, run_file):
 
     failures, runtimes = [], []
     for name, status, duration_str in proof_table[1:]:  # skip header
-        is_timeout = duration_str == "TIMEOUT"
         is_success = status == "Success"
 
         if not is_success:

proofs/cbmc/run-cbmc-proofs.py

@@ -107,8 +107,7 @@ def get_args():
         {
             "flags": ["--fail-on-proof-failure"],
             "action": "store_true",
-            "help": "exit with return code `10' if any proof failed"
-            " (default: exit 0)",
+            "help": "exit with return code `10' if any proof failed (default: exit 0)",
         },
         {
             "flags": ["--no-standalone"],
@@ -131,9 +130,7 @@ def get_args():
             "flags": ["--marker-file"],
             "metavar": "FILE",
             "default": "Makefile",
-            "help": (
-                "name of file that marks proof directories. Default: " "%(default)s"
-            ),
+            "help": ("name of file that marks proof directories. Default: %(default)s"),
         },
         {
             "flags": ["--no-memory-profile"],
@@ -217,8 +214,9 @@ def task_pool_size():
 def print_counter(counter):
     # pylint: disable=consider-using-f-string
     print(
-        "\rConfiguring CBMC proofs: "
-        "{complete:{width}} / {total:{width}}".format(**counter),
+        "\rConfiguring CBMC proofs: {complete:{width}} / {total:{width}}".format(
+            **counter
+        ),
         end="",
         file=sys.stderr,
     )

ruff.toml

@@ -0,0 +1,22 @@
+# Copyright (c) The mldsa-native project authors
+# Copyright (c) The mlkem-native project authors
+# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
+
+# In addition to ruff's default (*.py, *.pyi), format and lint the
+# extension-less python scripts under scripts/.
+extend-include = [
+    "scripts/autogen",
+    "scripts/cfify",
+    "scripts/check-contracts",
+    "scripts/check-magic",
+    "scripts/check-namespace",
+    "scripts/simpasm",
+    "scripts/stack",
+    "scripts/tests",
+]
+
+[lint]
+select = ["E", "F", "W"]
+ignore = [
+    "E501", # line too long
+]