Update latest master on feature/p-token with variantIdx change (#926)

- #918
- #912
- #919
- #920
- #923
- #921
- #922
- #924

Author: dkcumming

deps/k_release

@@ -1 +1 @@
-7.1.310
+7.1.313

flake.lock

@@ -12,7 +12,7 @@
       inputs.flake-utils.follows = "flake-utils";
     };
 
-    k-framework.url = "github:runtimeverification/k/v7.1.310";
+    k-framework.url = "github:runtimeverification/k/v7.1.313";
     k-framework = {
       inputs.flake-utils.follows = "flake-utils";
       inputs.nixpkgs.follows = "nixpkgs";

flake.nix

@@ -8,7 +8,7 @@ version = "0.3.181"
 description = ""
 requires-python = ">=3.10"
 dependencies = [
-    "kframework==v7.1.310",
+    "kframework==v7.1.313",
     "rust-demangler==1.0",
 ]
 

kmir/pyproject.toml

@@ -531,6 +531,9 @@ def _arg_parser() -> ArgumentParser:
         metavar='FILE',
         help='K module file to include (.json format from --to-module)',
     )
+    prove_rs_parser.add_argument(
+        '--max-workers', metavar='N', type=int, help='Maximum number of workers for parallel exploration'
+    )
 
     link_parser = command_parser.add_parser(
         'link', help='Link together 2 or more SMIR JSON files', parents=[kcli_args.logging_args]
@@ -574,6 +577,8 @@ def _parse_args(ns: Namespace) -> KMirOpts:
                 use_default_printer=ns.use_default_printer,
                 statistics=ns.statistics,
                 leaves=ns.leaves,
+                to_module=ns.to_module,
+                minimize_proof=ns.minimize_proof,
             )
         case 'view':
             proof_dir = Path(ns.proof_dir)
@@ -605,9 +610,12 @@ def _parse_args(ns: Namespace) -> KMirOpts:
             return ProveRSOpts(
                 rs_file=Path(ns.rs_file),
                 proof_dir=ns.proof_dir,
+                haskell_target=ns.haskell_target,
+                llvm_lib_target=ns.llvm_lib_target,
                 bug_report=ns.bug_report,
                 max_depth=ns.max_depth,
                 max_iterations=ns.max_iterations,
+                max_workers=ns.max_workers,
                 reload=ns.reload,
                 fail_fast=ns.fail_fast,
                 maintenance_rate=ns.maintenance_rate,