certora-cli-beta-mirror 8.0.0__py3-none-any.whl → 8.1.1__py3-none-any.whl

certora_cli/Shared/certoraUtils.py

@@ -16,6 +16,7 @@
 import csv
 import json
 import os
+import io
 import subprocess
 from abc import ABCMeta
 from enum import Enum, unique, auto
@@ -30,8 +31,9 @@ import urllib3.util
 from collections import defaultdict
 from types import SimpleNamespace
 
-from typing import Any, Callable, Dict, List, Optional, Set, Union, Generator, Tuple, Iterable, Sequence, TypeVar
+from typing import Any, Callable, Dict, List, Optional, Set, Union, Generator, Tuple, Iterable, Sequence, TypeVar, OrderedDict
 from pathlib import Path
+import json5
 
 scripts_dir_path = Path(__file__).parent.parent.resolve()  # containing directory
 sys.path.insert(0, str(scripts_dir_path))
@@ -90,6 +92,7 @@ CERTORA_RUN_SCRIPT = "certoraRun.py"
 CERTORA_RUN_APP = "certoraRun"
 PACKAGE_FILE = Path("package.json")
 REMAPPINGS_FILE = Path("remappings.txt")
+FOUNDRY_TOML_FILE = Path("foundry.toml")
 RECENT_JOBS_FILE = Path(".certora_recent_jobs.json")
 LAST_CONF_FILE = Path("run.conf")
 EMV_JAR = Path("emv.jar")
@@ -1350,25 +1353,49 @@ def is_local(object: Any) -> bool:
     default_jar_path = Path(certora_root_dir) / EMV_JAR
     return getattr(object, 'jar', None) or (default_jar_path.is_file() and not getattr(object, 'server', None))
 
+def get_mappings_from_forge_remappings() -> List[str]:
+    remappings_output = ""
+    try:
+        result = subprocess.run(['forge', 'remappings'], capture_output=True, text=True, check=True)
+        remappings_output = result.stdout
+    except Exception as e:
+        context_logger.debug(f"get_mappings_from_forge_remappings: forge failed to run\n{e}")
+
+    remappings = []
+    if remappings_output:
+        for line in remappings_output.strip().split('\n'):
+            if '=' in line:
+                remappings.append(line.strip())
+
+    return remappings
+
 
 def handle_remappings_file(context: SimpleNamespace) -> List[str]:
     """"
-    Tries to reach packages from remappings.txt
+    Tries to reach packages from remappings.txt.
+    If the file exists in cwd and foundry.toml does not exist in cwd we return the mappings in
+    the file (legacy implementation).
+    In all other cases we add the remappings returned from running the "forge remappings" command. Forge remappings
+    takes into consideration mappings in remappings.txt but also mappings in foundry.toml and mappings from auto scan
     :return:
     """
-    if REMAPPINGS_FILE.exists():
+    remappings = []
+    if REMAPPINGS_FILE.exists() and not FOUNDRY_TOML_FILE.exists():
         try:
             with REMAPPINGS_FILE.open() as remappings_file:
                 remappings = list(filter(lambda x: x != "", map(lambda x: x.strip(), remappings_file.readlines())))
                 keys = [s.split('=')[0] for s in remappings]
                 if len(set(keys)) < len(keys):
                     raise CertoraUserInputError(f"remappings.txt includes duplicated keys in: {keys}")
-                return remappings
         except CertoraUserInputError as e:
             raise e from None
         except Exception as e:
+            # create CertoraUserInputError from other exceptions
             raise CertoraUserInputError(f"Invalid remappings file: {REMAPPINGS_FILE}", e)
-    return []
+    elif find_nearest_foundry_toml():
+        remappings = get_mappings_from_forge_remappings()
+
+    return remappings
 
 
 def get_ir_flag(solc: str) -> str:
@@ -1437,14 +1464,33 @@ def eq_by(f: Callable[[T, T], bool], a: Sequence[T], b: Sequence[T]) -> bool:
     """
     return len(a) == len(b) and all(map(f, a, b))
 
-def find_nearest_cargo_toml() -> Optional[Path]:
+
+def find_file_in_parents(file_name: Union[Path, str]) -> Optional[Path]:
+    """
+    find file_name in current directory or in one of its parent directories
+    """
     current = Path.cwd()
     for parent in [current] + list(current.parents):
-        candidate = parent / CARGO_TOML_FILE
+        candidate = parent / str(file_name)
         if candidate.is_file():
             return candidate
     return None
 
+def find_nearest_cargo_toml() -> Optional[Path]:
+    """
+    Find the nearest Cargo.toml file in the current directory or its parent directories.
+    Returns the path to the Cargo.toml file if found, otherwise returns None.
+    """
+    return find_file_in_parents(CARGO_TOML_FILE)
+
+def find_nearest_foundry_toml() -> Optional[Path]:
+    """
+    Find the nearest foundry.toml file in the current directory or its parent directories.
+    Returns the path to the foundry.toml file if found, otherwise returns None.
+    """
+    return find_file_in_parents(FOUNDRY_TOML_FILE)
+
+
 def file_in_source_tree(file_path: Path) -> bool:
     # if the file is under .certora_source, return True
     file_path = Path(file_path).absolute()
@@ -1455,3 +1501,20 @@ def file_in_source_tree(file_path: Path) -> bool:
         return True
     except ValueError:
         return False
+
+def parse_int_as_str(val: str) -> str:
+    return str(val)
+
+def read_conf_file(file: io.TextIOWrapper) -> OrderedDict:
+    res = json5.load(file, allow_duplicate_keys=False, object_pairs_hook=OrderedDict, parse_int=parse_int_as_str)
+    return res
+
+def convert_str_ints(obj: Union[dict, list, str, int]) -> Union[dict, list, str, int]:
+    if isinstance(obj, dict):
+        return {k: convert_str_ints(v) for k, v in obj.items()}
+    elif isinstance(obj, list):
+        return [convert_str_ints(v) for v in obj]
+    elif isinstance(obj, str) and re.fullmatch(r"-?\d+", obj):
+        return int(obj)
+    else:
+        return obj

certora_cli/Shared/proverCommon.py

@@ -36,7 +36,6 @@ sys.path.insert(0, str(scripts_dir_path))
 from CertoraProver.certoraCloudIO import validate_version_and_branch
 from Shared.certoraLogging import LoggingManager
 from Shared import certoraUtils as Util
-from Shared.certoraAttrUtil import Attributes
 import CertoraProver.certoraContext as Ctx
 from CertoraProver.certoraContextClass import CertoraContext
 import CertoraProver.certoraContextAttributes as Attrs
@@ -44,6 +43,7 @@ from CertoraProver.certoraCollectRunMetadata import collect_run_metadata
 from CertoraProver.certoraCollectConfigurationLayout import collect_configuration_layout
 from CertoraProver import certoraContextValidator as Cv
 from CertoraProver.certoraCloudIO import CloudVerification
+import CertoraProver.certoraApp as App
 
 log = logging.getLogger(__name__)
 
@@ -65,7 +65,7 @@ class CertoraFoundViolations(Exception):
 # --------------------------------------------------------------------------- #
 # Setup Environment
 # --------------------------------------------------------------------------- #
-def build_context(args: List[str], attributes: Type[Attributes]) -> Tuple[CertoraContext, LoggingManager]:
+def build_context(args: List[str], app: Type[App.CertoraApp]) -> Tuple[CertoraContext, LoggingManager]:
     """
     Build the context for the Certora Prover.
     This function is responsible for setting up the context and logging manager
@@ -76,11 +76,11 @@ def build_context(args: List[str], attributes: Type[Attributes]) -> Tuple[Certor
 
     Args:
         args: The command line arguments to parse.
-        attributes: The attributes class to use for the context. (e.g., SolanaProverAttributes or SorobanProverAttributes)
+        app: The application
     Returns:
         A tuple containing the CertoraContext object and the LoggingManager object.
     """
-    Attrs.set_attribute_class(attributes)
+    Attrs.set_attribute_class(app.attr_class)
     non_str_els = [x for x in args if not isinstance(x, str)]
     if non_str_els:
         print(f"args for run_certora that are not strings: {non_str_els}")
@@ -98,8 +98,8 @@ def build_context(args: List[str], attributes: Type[Attributes]) -> Tuple[Certor
         Util.safe_create_dir(Util.get_build_dir())
         logging_manager = LoggingManager()
 
-    Ctx.handle_flags_in_args(args)
-    context = Ctx.get_args(args)  # Parse arguments
+    Ctx.handle_flags_in_args(args, app)
+    context = Ctx.get_args(args, app)  # Parse arguments
 
     assert logging_manager, "logging manager was not set"
     logging_manager.set_log_level_and_format(is_quiet=Ctx.is_minimal_cli_output(context),

certora_cli/certoraConcord.py

@@ -21,7 +21,7 @@ from pathlib import Path
 scripts_dir_path = Path(__file__).parent.resolve()  # containing directory
 sys.path.insert(0, str(scripts_dir_path))
 
-import CertoraProver.certoraContextAttributes as Attrs
+import CertoraProver.certoraApp as App
 from certoraRun import run_certora
 from Shared.proverCommon import CertoraRunResult, catch_exits
 
@@ -29,7 +29,7 @@ from typing import List, Optional
 
 
 def run_concord(args: List[str]) -> Optional[CertoraRunResult]:
-    return run_certora(args, Attrs.ConcordAttributes, prover_cmd=sys.argv[0])
+    return run_certora(args, App.ConcordApp, prover_cmd=sys.argv[0])
 
 @catch_exits
 def entry_point() -> None:

certora_cli/certoraEVMProver.py

@@ -21,14 +21,14 @@ from pathlib import Path
 scripts_dir_path = Path(__file__).parent.resolve()  # containing directory
 sys.path.insert(0, str(scripts_dir_path))
 
-import CertoraProver.certoraContextAttributes as Attrs
+import CertoraProver.certoraApp as App
 from Shared.proverCommon import CertoraRunResult
 from certoraRun import run_certora
 from typing import List, Optional
 
 
 def run_evm_prover(args: List[str]) -> Optional[CertoraRunResult]:
-    return run_certora(args, Attrs.EvmProverAttributes)
+    return run_certora(args, App.EvmApp)
 
 def entry_point() -> None:
     run_evm_prover(sys.argv[1:])

certora_cli/certoraRanger.py

@@ -21,7 +21,7 @@ from pathlib import Path
 scripts_dir_path = Path(__file__).parent.resolve()  # containing directory
 sys.path.insert(0, str(scripts_dir_path))
 
-import CertoraProver.certoraContextAttributes as Attrs
+import CertoraProver.certoraApp as App
 from certoraRun import run_certora
 from Shared.proverCommon import CertoraRunResult, catch_exits
 
@@ -29,7 +29,7 @@ from typing import List, Optional
 
 
 def run_ranger(args: List[str]) -> Optional[CertoraRunResult]:
-    return run_certora(args, Attrs.RangerAttributes, prover_cmd=sys.argv[0])
+    return run_certora(args, App.RangerApp, prover_cmd=sys.argv[0])
 
 @catch_exits
 def entry_point() -> None:

certora_cli/certoraRun.py

@@ -28,10 +28,10 @@ from CertoraProver.certoraCloudIO import CloudVerification
 
 from CertoraProver.certoraBuild import build
 import CertoraProver.certoraContext as Ctx
+import CertoraProver.certoraApp as App
 
 from CertoraProver import certoraContextValidator as Cv
-import CertoraProver.certoraContextAttributes as Attrs
-from Shared import certoraAttrUtil as AttrUtil
+
 from Shared.proverCommon import (
     build_context,
     collect_and_dump_metadata,
@@ -51,7 +51,7 @@ BUILD_SCRIPT_PATH = Path("CertoraProver/certoraBuild.py")
 # Also serves as the default logger for errors originating from unexpected places.
 run_logger = logging.getLogger("run")
 
-def run_certora(args: List[str], attrs_class: Type[AttrUtil.Attributes] = Attrs.EvmProverAttributes,
+def run_certora(args: List[str], app: Type[App.CertoraApp] = App.EvmApp,
                 prover_cmd: Optional[str] = None) -> Optional[CertoraRunResult]:
     """
     The main function that is responsible for the general flow of the script.
@@ -60,7 +60,7 @@ def run_certora(args: List[str], attrs_class: Type[AttrUtil.Attributes] = Attrs.
     2. Run the necessary steps (type checking/ build/ cloud verification/ local verification)
 
     """
-    context, logging_manager = build_context(args, attrs_class)
+    context, logging_manager = build_context(args, app)
 
     if prover_cmd:
         context.prover_cmd = prover_cmd
@@ -127,15 +127,15 @@ def run_certora(args: List[str], attrs_class: Type[AttrUtil.Attributes] = Attrs.
     else:  # Remote run
         # Syntax checking and typechecking
         if Cv.mode_has_spec_file(context):
-            if context.disable_local_typechecking:
-                run_logger.warning(
-                    "Local checks of CVL specification files disabled. It is recommended to enable "
-                    "the checks.")
-            else:
+            if Ctx.should_run_local_speck_check(context):
                 typechecking_start = time.perf_counter()
                 Ctx.run_local_spec_check(True, context)
                 typechecking_end = time.perf_counter()
                 timings['typecheckingTime'] = round(typechecking_end - typechecking_start, 4)
+            else:
+                run_logger.warning(
+                    "Local checks of CVL specification files disabled. It is recommended to enable "
+                    "the checks.")
 
         # Remove debug logger and run remote verification
         logging_manager.remove_debug_logger()

certora_cli/certoraSolanaProver.py

@@ -24,7 +24,7 @@ scripts_dir_path = Path(__file__).parent.resolve()  # containing directory
 sys.path.insert(0, str(scripts_dir_path))
 
 
-import CertoraProver.certoraContextAttributes as Attrs
+import CertoraProver.certoraApp as App
 from CertoraProver.certoraBuildRust import build_rust_project
 from Shared.proverCommon import (
     build_context,
@@ -50,7 +50,7 @@ def run_solana_prover(args: List[str]) -> Optional[CertoraRunResult]:
     1. Parse program arguments
     2. Run the necessary steps (build/ cloud verification/ local verification)
     """
-    context, logging_manager = build_context(args, Attrs.SolanaProverAttributes)
+    context, logging_manager = build_context(args, App.SolanaApp)
 
     timings: Dict[str, float] = {}
     exit_code = 0  # The exit code of the script. 0 means success, any other number is an error.

certora_cli/certoraSorobanProver.py

@@ -23,8 +23,7 @@ scripts_dir_path = Path(__file__).parent.resolve()  # containing directory
 sys.path.insert(0, str(scripts_dir_path))
 
 from typing import List, Optional, Dict
-
-import CertoraProver.certoraContextAttributes as Attrs
+import CertoraProver.certoraApp as App
 
 from CertoraProver.certoraBuildRust import build_rust_project
 from Shared.proverCommon import (
@@ -49,7 +48,7 @@ def run_soroban_prover(args: List[str]) -> Optional[CertoraRunResult]:
     2. Run the necessary steps (build/ cloud verification/ local verification)
     """
 
-    context, logging_manager = build_context(args, Attrs.SorobanProverAttributes)
+    context, logging_manager = build_context(args, App.SorobanApp)
     timings: Dict[str, float] = {}
     exit_code = 0  # The exit code of the script. 0 means success, any other number is an error.
     return_value = None

{certora_cli_beta_mirror-8.0.0.dist-info → certora_cli_beta_mirror-8.1.1.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-beta-mirror
-Version: 8.0.0
+Version: 8.1.1
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-beta-mirror
 Author: Certora
@@ -26,6 +26,7 @@ Requires-Dist: StrEnum
 Requires-Dist: universalmutator
 Requires-Dist: jinja2
 Requires-Dist: wcmatch
+Requires-Dist: typing_extensions
 Dynamic: author
 Dynamic: author-email
 Dynamic: classifier
@@ -38,4 +39,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 852805e.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit b03ee33.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_beta_mirror-8.0.0.dist-info → certora_cli_beta_mirror-8.1.1.dist-info}/RECORD

@@ -1,31 +1,32 @@
 certora_bins/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 certora_cli/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 certora_cli/certoraCVLFormatter.py,sha256=P2S5Lk4R-Xg09ex0EYXTqlsd8FgY226n_pQImWcDPKk,2767
-certora_cli/certoraConcord.py,sha256=cyRShi1ArHqVcruvxdYw5sw60lHt-t4mcauk7a7c2xU,1317
-certora_cli/certoraEVMProver.py,sha256=gLxqPXG9jKlCdLdgfo0aNjvp09vbHGSs8wghY6RH0Gg,1274
+certora_cli/certoraConcord.py,sha256=H6-Ft-kZvB6BNwr8OgCsfZN2vxPw9_mYfCSO_1-FKLk,1292
+certora_cli/certoraEVMProver.py,sha256=AH8ZeWXAs7wK6nNKFANCt6seLf9EaaFXtfpjc3xdIfc,1243
 certora_cli/certoraEqCheck.py,sha256=qfZq7bpU1kbAIezC66W61VfKNZz7Uywg2Ygup62qYeo,1069
 certora_cli/certoraMutate.py,sha256=XhFHyNVP_sk-3XkY6AAV5fVliEFAVRq-JeDGsqE5IQQ,3333
-certora_cli/certoraRanger.py,sha256=cwejxWTNlHsbwtu6Lew0SNsynSeq_ZKJu1Cr9uu0DhE,1314
-certora_cli/certoraRun.py,sha256=ueQiuTUb_zTzZDoD2VTAj9rXn8MLCTZMvIJciXGPiEY,6652
-certora_cli/certoraSolanaProver.py,sha256=PIuJiFHPq8oeU1Q_RMb3C7Lcc4_LyaaLrp3TKBNBMl4,3281
-certora_cli/certoraSorobanProver.py,sha256=thqd0mAcjAOZO5oHByihbGhpGfrIz3ImqLzwSfd-xOw,2872
+certora_cli/certoraRanger.py,sha256=thJ4EKo-MFHklCk-7zJADZ-9SO6eCg1AFv88-QssLj0,1289
+certora_cli/certoraRun.py,sha256=11tc3-l_G8cidFNSQfzCmuPbqfF-n_UEIZC4yASLz8g,6561
+certora_cli/certoraSolanaProver.py,sha256=1R1YnGHCofb05GqFgpxRh3ZmHkmwMm1hPM7rfeiEu7o,3250
+certora_cli/certoraSorobanProver.py,sha256=SYJKz5Sw-N0bJrSa1njRCE53R9_PMz7IWLhfamOjisk,2840
 certora_cli/rustMutator.py,sha256=6AvOGU8Ijz89zW_ZJCWlfXkeobJsk7EsqZhK7Eqwn-Y,14544
 certora_cli/CertoraProver/__init__.py,sha256=QHNr-PJQAoyuPgTkO7gg23GRchiWSXglWNG7yLSQZvs,849
-certora_cli/CertoraProver/certoraBuild.py,sha256=yk4zzGATe-HPqVUPwNBejaCqPN3WqLQPEsiNJobTdE0,212894
+certora_cli/CertoraProver/certoraApp.py,sha256=ffHaqpokTOH0OcNpf8pzrbfygVJtNKyxShvjixnlsQg,1426
+certora_cli/CertoraProver/certoraBuild.py,sha256=IFADu1Oi3bIRLgw0Hc-HoXeNpeOVSXJvEEBTT_DqCnI,221048
 certora_cli/CertoraProver/certoraBuildCacheManager.py,sha256=YnZmBZ_gCIbLwExgK5oxFlVDQGe4_YuGIpDLMy589E0,13318
-certora_cli/CertoraProver/certoraBuildDataClasses.py,sha256=8tPny9-pasC7CCRKQclaVQ3qcEDNa6EdOUu1ZWh0MZY,14704
-certora_cli/CertoraProver/certoraBuildRust.py,sha256=s_tZpzQQLASYiv27LLqn6S_FVUKn5UOljXQgIGrjlBo,6051
+certora_cli/CertoraProver/certoraBuildDataClasses.py,sha256=hO0w3YK9V9gZsTbh4gxxlnEAaOiubUwfzNEw6uL1HaE,14841
+certora_cli/CertoraProver/certoraBuildRust.py,sha256=ZPbNp4ttRmzcKhFsgHSiHDRExNPaLOzgxTRqu23o1D0,6061
 certora_cli/CertoraProver/certoraBuildSui.py,sha256=oOY6l3JnxYtFl3i3ibEcOp69x0mKsFg4Z86UnVC6CwY,2383
 certora_cli/CertoraProver/certoraCloudIO.py,sha256=99IRWSA4wAF1q_yu7m1IpDlybMVqtupW_C5qa3Xrhs0,54351
-certora_cli/CertoraProver/certoraCollectConfigurationLayout.py,sha256=6aHEGrhT_Y9aYfM5n_Mk--awgcQfdtc-chBPRl7FU4E,14095
+certora_cli/CertoraProver/certoraCollectConfigurationLayout.py,sha256=Rln6LsqMp-u0H2fAFulTLAn7GW-j3ox2XZSz0ghdjk0,14116
 certora_cli/CertoraProver/certoraCollectRunMetadata.py,sha256=i31dkYt8kwlX44SHZtV_b8QI1Egi6cbB5-uuh5beYN0,12630
 certora_cli/CertoraProver/certoraCompilerParameters.py,sha256=r35y03IRwWIoz1GCNC7PuW3n8JPz9J1NGwhwUYKdYtI,1452
-certora_cli/CertoraProver/certoraConfigIO.py,sha256=TEmOhbuZLuX8AEJorungS_dP_90nZLdbnJFUGLdUFng,7604
-certora_cli/CertoraProver/certoraContext.py,sha256=2quDk2spVMtDIOI4oCN_m3Jwnbk-_u82LE0AEbDpSU0,28225
-certora_cli/CertoraProver/certoraContextAttributes.py,sha256=UBhbGvbacsuIPb6XpQ_edNPObMjFeLWt_wPhKxvnyYI,66504
+certora_cli/CertoraProver/certoraConfigIO.py,sha256=J12jAZ8aKdOQhnMtGUtWmvibjzm_2qlvH6YwI8I4LAc,7483
+certora_cli/CertoraProver/certoraContext.py,sha256=l6aXnfe-fdaDacIVFlhwGqfWb5dne69AnqBrck7-3bw,28758
+certora_cli/CertoraProver/certoraContextAttributes.py,sha256=O7beTjvk0uBTFyxUaSgdV9Tcg33--G4XA6nnIdX00GU,66778
 certora_cli/CertoraProver/certoraContextClass.py,sha256=d7HDqM72K7YnswR7kEcAHGwkFNrTqRz5-_0m7cl2Mso,900
-certora_cli/CertoraProver/certoraContextValidator.py,sha256=CW54on8TtVyx0Euma-ysJ94jK9QKuyUyCSGZwdtwZHY,46341
-certora_cli/CertoraProver/certoraContractFuncs.py,sha256=ipSwge5QQzp8qhUavY44bZ-eCR6szK_HWwSIWqQyuR0,6921
+certora_cli/CertoraProver/certoraContextValidator.py,sha256=clXwmYHIBUmOJ8ADRUmu9U6_pNe_tXRNawvUPBLlYVY,46490
+certora_cli/CertoraProver/certoraContractFuncs.py,sha256=-CV7MkmsrwYfdYFAd6ZZib_6-mDG_ytxPM4hAjxtbMM,7137
 certora_cli/CertoraProver/certoraExtensionInfo.py,sha256=YlShzdoqJQgXXj3r0TJ3fir1KntIR99Rk8JN5qii2lk,2026
 certora_cli/CertoraProver/certoraJobList.py,sha256=FBIYgJ60I0Ok7vchfTbcuJJbiXgnfAhrONoVeZoHti4,11464
 certora_cli/CertoraProver/certoraMiniSpecParser.py,sha256=NjjMwf5Rav3YWpoOJh4PZ-QOS8exC2cg4yIBSbZA6l0,9660
@@ -33,17 +34,17 @@ certora_cli/CertoraProver/certoraNodeFilters.py,sha256=5Uk2mixZKeis_JVd3HkLgoEVk
 certora_cli/CertoraProver/certoraParseBuildScript.py,sha256=l7KQA1poEjmbmuYbMskz0jOQg6cW0lM3vk5ruAGPjPI,4863
 certora_cli/CertoraProver/certoraProjectScanner.py,sha256=jT7FeWzcy8o83LrZRwsg_L4x6im6Fm_0LZFKVbKr3Jk,6862
 certora_cli/CertoraProver/certoraSourceFinders.py,sha256=qwJtwrQq3NUNYmdmn1UmANN4lmJFIUh4M-St2x1FJ2Y,19038
-certora_cli/CertoraProver/certoraType.py,sha256=wD-Sr3xk_dJGtbvw33oIGu_lf15NCZuKWjUb4HlVcUM,29318
-certora_cli/CertoraProver/certoraVerifyGenerator.py,sha256=VcWUprCL6dxE28B2gzYYXZK-rav5KU1Pd6Fuq1gC3xA,11006
+certora_cli/CertoraProver/certoraType.py,sha256=inwaLkMVwtJnwkyQhDJs-wRxoyytu2Xa_BJ5MdGlZqY,29737
+certora_cli/CertoraProver/certoraVerifyGenerator.py,sha256=YMuzGj2RNOnADOx8UnV2ys1ptw_-2mermgC9ZLMWceo,11052
 certora_cli/CertoraProver/erc7201.py,sha256=BME5kBZsDx6lgqLn7EE91I1cEOZtsnZ8BlRVF62eEBE,1660
-certora_cli/CertoraProver/splitRules.py,sha256=YisV7T_Rr2MpVAcantCVp9aPeFI-qtcdo81eecjK2AU,7683
+certora_cli/CertoraProver/splitRules.py,sha256=dNhy05ShB_-rWYTnJH5m-Xc5A4HGStAvwLRs1BTu1GA,7627
 certora_cli/CertoraProver/storageExtension.py,sha256=nrCrbH8ne-yCYSDFzh3J9A7Q6h96WxhEfLbfxGSUCSc,14363
 certora_cli/CertoraProver/Compiler/CompilerCollector.py,sha256=cr-PIl7LY9VfNs4s4H3-EnSnomPiCgXudfwP9-KenMk,6740
-certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py,sha256=TOpHMSYGhfSmVQwJYZMVOI_Ws03k6cTffzaQUmhnNUo,8761
+certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py,sha256=drMPTUz9cabxqIu2ngGp0x1ZZ_Jqqn-Db2qql97PTaw,8544
 certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py,sha256=7nAY2FLMUlGJn4f_YoZMqpa3rf7THqhJVjLwTaChcBc,5027
 certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py,sha256=UasYWyu8Of6R84vXsqRNGpscYcFQghmSIY_dyaAWDYA,1350
 certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py,sha256=e95xOHK5Bz8BbzjbCVLCrGSutVs8ejqOImh5wH9o3Jk,69918
-certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py,sha256=El4WYJZVp3DpXQMZ53yVDPKOWPda5oLs3yD1qhb7dAE,5177
+certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py,sha256=ZTyWIMtaf4gLPRM3_jjq58Gb0r5LE_giajz6sssIi0Y,5299
 certora_cli/CertoraProver/Compiler/__init__.py,sha256=tEFAmNyx9WL0kzpp_-4s7b6pLvxHmBWz6pQAq0yeROM,789
 certora_cli/EquivalenceCheck/Eq_default.conf,sha256=J-tMFzIuQa1NcklOh-wv2bpnikfAxFogpRFOl3qoSwM,164
 certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec,sha256=HC3Zhpp9ePV10ClZE09Ah7h84O-BTNIUH6w0aA-qIOQ,2286
@@ -51,28 +52,28 @@ certora_cli/EquivalenceCheck/Eq_mc_template.spec,sha256=pbRhwqw0a_KHQ6W3biJeGS9o
 certora_cli/EquivalenceCheck/Eq_sanity.conf,sha256=BuBI5YNg25b--iQxpNxBzb4v-q-HByObCx7R5Uy1jRw,161
 certora_cli/EquivalenceCheck/Eq_template.spec,sha256=YGaG5KxSOhelDiBd1oxDnVC8VhPl6coaxHiY4lXVf6o,823
 certora_cli/EquivalenceCheck/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli/EquivalenceCheck/equivCheck.py,sha256=D3TA1DRppaXpEcVW_smqMQzeUle0jPu0wIXXEd5un0U,20620
+certora_cli/EquivalenceCheck/equivCheck.py,sha256=nfKm1zyboMui_eOGwXZCAC9LkcmW67teUEx8YEANCyY,20671
 certora_cli/EquivalenceCheck/sanity.spec,sha256=tWmE9z2Sq3_SWaqKDRQaNajRrw94maUrirvoUmX89LE,103
 certora_cli/Mutate/__init__.py,sha256=QHNr-PJQAoyuPgTkO7gg23GRchiWSXglWNG7yLSQZvs,849
-certora_cli/Mutate/mutateApp.py,sha256=jcZGd-bk_8UeewCHfUoHF5Ch1NZ-A7wgFBShXFBMZx0,88255
+certora_cli/Mutate/mutateApp.py,sha256=UY4TWn9f318b2upVAFUL0cqcgzlyTDZ5XeNW3MjofkA,88701
 certora_cli/Mutate/mutateAttributes.py,sha256=2onGaPmztwmHg5V_X7BUG4HcQCThhqYzGYKBy695Izc,10587
 certora_cli/Mutate/mutateConstants.py,sha256=LRrz3wMM8WpPYSshkc-PLYqT0nexcWQeBNsehip-LOE,3945
 certora_cli/Mutate/mutateUtil.py,sha256=B7MCIFtZBetjR4MMxU6F5ikYsaot1wTG7XYMjgVXl4k,2287
-certora_cli/Mutate/mutateValidate.py,sha256=9mWzR1zd9N_k78IH9MkvnTzUWb1xPdW086b2-lpi4mQ,7437
+certora_cli/Mutate/mutateValidate.py,sha256=BV1nwGQfNvWlvNDgqY8679Rz5Uy0XKdcRuAJAludUQ4,7436
 certora_cli/Shared/ExpectedComparator.py,sha256=eyRR-jni4WJoa6j2TK2lnZ89Tyb8U99wT2PNdu4se8w,18457
 certora_cli/Shared/__init__.py,sha256=s0dhvolFtsS4sRNzPVhC_rlw8mm194rCZ0WhOxInY40,1025
 certora_cli/Shared/certoraAttrUtil.py,sha256=Nw8ban5Axp6c6dT-KJfCD9i9tKnGk1DbvRDDNH3--DU,8574
 certora_cli/Shared/certoraLogging.py,sha256=cV2UQMhQ5j8crGXgeq9CEamI-Lk4HgdiA3HCrP-kSR4,14013
-certora_cli/Shared/certoraUtils.py,sha256=3imWdLsEQhpEHCpfERHet_zJLu1aShgf3XQFs8Qvbr8,55006
+certora_cli/Shared/certoraUtils.py,sha256=Pj319ac48U0pQZEvCAaIQ0RHVPxK9olcxiVGWT4-tXc,57521
 certora_cli/Shared/certoraValidateFuncs.py,sha256=BPLuVsS3yAcYIuCvkXtDuFQKf2qaT74TIddB0lM84yM,42508
-certora_cli/Shared/proverCommon.py,sha256=jpX4nfzIPvBHI9IUW3e2rwLHOC_Op8vDW9672J-EANk,11305
-certora_jars/ASTExtraction.jar,sha256=58Ex1h7YYLpkAYZorsYJ0EHJlR1uWs_nN-jG0i4Cgkk,17533256
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=i7WoCF3KuTtnU1nNmEJHC2QA5vUPt9WCXRF8QqqOw-w,144
-certora_jars/Typechecker.jar,sha256=JtIlUDMIP9YK_jeEnKWxJTt8gctTU9ZLZZjQlN5qJmw,17495413
+certora_cli/Shared/proverCommon.py,sha256=uZkl9PDLPj81kKRnBnlPUmvhMZovNP25_74No_7jaQ4,11215
+certora_jars/ASTExtraction.jar,sha256=chudYF-_mStmKDgqsZHxhZDzyZ1c5IPjyi0H4sioUmM,17562779
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=PNje5L4z_LLNebQk3DqGwhNXPiTaBJKVmuBQIiaW_bE,143
+certora_jars/Typechecker.jar,sha256=KopfIVe2A3lLPpef8IcWFnNbMsSIyQm9HUt7d79ss2s,17524936
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_beta_mirror-8.0.0.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_beta_mirror-8.0.0.dist-info/METADATA,sha256=o6xRNRvYfzjWcYk-LEPODsMZbNrYZOuKWfqBrbsf_lE,1253
-certora_cli_beta_mirror-8.0.0.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
-certora_cli_beta_mirror-8.0.0.dist-info/entry_points.txt,sha256=ClZiFkCYDdK25_ufxZvnE2Rx_kNk1_4vj7KpgYUKxGM,509
-certora_cli_beta_mirror-8.0.0.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_beta_mirror-8.0.0.dist-info/RECORD,,
+certora_cli_beta_mirror-8.1.1.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_beta_mirror-8.1.1.dist-info/METADATA,sha256=-IrQQVdM-CWRDoFTuEVu9mnRJ7OUwq6JvC3t3rG2S8g,1286
+certora_cli_beta_mirror-8.1.1.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
+certora_cli_beta_mirror-8.1.1.dist-info/entry_points.txt,sha256=ClZiFkCYDdK25_ufxZvnE2Rx_kNk1_4vj7KpgYUKxGM,509
+certora_cli_beta_mirror-8.1.1.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_beta_mirror-8.1.1.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +1 @@
-{"name": "certora-cli-beta-mirror", "tag": "8.0.0", "branch": "", "commit": "852805e", "timestamp": "20250721.16.13.726664", "version": "8.0.0"}
+{"name": "certora-cli-beta-mirror", "tag": "8.1.1", "branch": "", "commit": "b03ee33", "timestamp": "20250812.16.6.250096", "version": "8.1.1"}