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

certora_cli/certoraRun.py

@@ -24,10 +24,9 @@ scripts_dir_path = Path(__file__).parent.resolve()  # containing directory
 sys.path.insert(0, str(scripts_dir_path))
 from Shared import certoraUtils as Util
 
-from CertoraProver.certoraCloudIO import CloudVerification, validate_version_and_branch
+from CertoraProver.certoraCloudIO import CloudVerification
 
 from CertoraProver.certoraBuild import build
-from CertoraProver.certoraBuildRust import set_rust_build_directory
 import CertoraProver.certoraContext as Ctx
 
 from CertoraProver import certoraContextValidator as Cv
@@ -52,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: Optional[Type[AttrUtil.Attributes]] = None,
+def run_certora(args: List[str], attrs_class: Type[AttrUtil.Attributes] = Attrs.EvmProverAttributes,
                 prover_cmd: Optional[str] = None) -> Optional[CertoraRunResult]:
     """
     The main function that is responsible for the general flow of the script.
@@ -61,9 +60,6 @@ def run_certora(args: List[str], attrs_class: Optional[Type[AttrUtil.Attributes]
     2. Run the necessary steps (type checking/ build/ cloud verification/ local verification)
 
     """
-    if not attrs_class:
-        attrs_class = Attrs.detect_application_class(args)
-
     context, logging_manager = build_context(args, attrs_class)
 
     if prover_cmd:
@@ -78,7 +74,7 @@ def run_certora(args: List[str], attrs_class: Optional[Type[AttrUtil.Attributes]
     # Collect and dump configuration layout
     collect_and_dump_config_layout(context)
 
-    if Attrs.is_evm_app() and context.split_rules:
+    if context.split_rules:
         context.build_only = True
         build(context)
         context.build_only = False
@@ -90,96 +86,60 @@ def run_certora(args: List[str], attrs_class: Optional[Type[AttrUtil.Attributes]
         else:
             raise Util.ExitException("Split rules failed", exit_code)
 
-    if Attrs.is_rust_app():
-        set_rust_build_directory(context)
-
-        if context.local:
-            check_cmd = Ctx.get_local_run_cmd(context)
-            check_cmd_string = " ".join(check_cmd)
-            print(f"Verifier run command:\n {check_cmd_string}", flush=True)
-
-            compare_with_tool_output = False
-            if context.test == str(Util.TestValue.BEFORE_LOCAL_PROVER_CALL):
-                raise Util.TestResultsReady(' '.join(check_cmd))
-            run_result = Util.run_jar_cmd(check_cmd, compare_with_tool_output, logger_topic="verification",
-                                          print_output=True)
-            # For solana and wasm, we don't check types so build time is zero.
-            timings["buildTime"] = 0.0
-            if run_result != 0:
-                exit_code = 1
-            else:
-                Util.print_completion_message("Finished running verifier:")
-                print(f"\t{check_cmd_string}")
-        else:
-            validate_version_and_branch(context)
-            context.key = Cv.validate_certora_key()
-            cloud_verifier = CloudVerification(context, timings)
-            # Wrap strings with space with ' so it can be copied and pasted to shell
-            pretty_args = [f"'{arg}'" if ' ' in arg else arg for arg in args]
-            cl_args = ' '.join(pretty_args)
-            logging_manager.remove_debug_logger()
-            result = cloud_verifier.cli_verify_and_report(cl_args, context.wait_for_results)
-            if cloud_verifier.statusUrl:
-                return_value = CertoraRunResult(cloud_verifier.statusUrl, False,
-                                                Util.get_certora_sources_dir(), cloud_verifier.reportUrl)
+    # Version validation
+    ensure_version_compatibility(context)
+
+    # When a TAC file is provided, no build arguments will be processed
+    if not context.is_tac:
+        run_logger.debug(f"There is no TAC file. Going to script {BUILD_SCRIPT_PATH} to main_with_args()")
+        build_start = time.perf_counter()
+
+        # If we are not in CI, we also check the spec for Syntax errors.
+        build(context)
+        build_end = time.perf_counter()
+
+        timings["buildTime"] = round(build_end - build_start, 4)
+        if context.test == str(Util.TestValue.AFTER_BUILD):
+            raise Util.TestResultsReady(context)
+
+    if context.build_only:
+        return return_value
+
+    # either we skipped building (TAC MODE) or build succeeded
+    if context.local:
+        compare_with_expected_file = Path(context.expected_file).exists()
+
+        run_result = run_local(context, timings, compare_with_expected_file=compare_with_expected_file)
+        emv_dir = latest_emv_dir()
+        return_value = CertoraRunResult(str(emv_dir) if emv_dir else None, True,
+                                        Util.get_certora_sources_dir(), None)
+        if run_result != 0:
+            exit_code = run_result
+        elif compare_with_expected_file:
+            print("Comparing tool output to the expected output:")
+            output_path = context.tool_output or (
+                'tmpOutput.json' if emv_dir is None else
+                str(emv_dir / 'Reports/output.json')
+            )
+            result = Util.check_results_from_file(output_path, context.expected_file)
             if not result:
                 exit_code = 1
-    else:
-
-        # Version validation
-        ensure_version_compatibility(context)
-
-        # When a TAC file is provided, no build arguments will be processed
-        if not context.is_tac:
-            run_logger.debug(f"There is no TAC file. Going to script {BUILD_SCRIPT_PATH} to main_with_args()")
-            build_start = time.perf_counter()
-
-            # If we are not in CI, we also check the spec for Syntax errors.
-            build(context)
-            build_end = time.perf_counter()
-
-            timings["buildTime"] = round(build_end - build_start, 4)
-            if context.test == str(Util.TestValue.AFTER_BUILD):
-                raise Util.TestResultsReady(context)
-
-        if context.build_only:
-            return return_value
-
-        # either we skipped building (TAC MODE) or build succeeded
-        if context.local:
-            compare_with_expected_file = Path(context.expected_file).exists()
-
-            run_result = run_local(context, timings, compare_with_expected_file=compare_with_expected_file)
-            emv_dir = latest_emv_dir()
-            return_value = CertoraRunResult(str(emv_dir) if emv_dir else None, True,
-                                            Util.get_certora_sources_dir(), None)
-            if run_result != 0:
-                exit_code = run_result
-            elif compare_with_expected_file:
-                print("Comparing tool output to the expected output:")
-                output_path = context.tool_output or (
-                    'tmpOutput.json' if emv_dir is None else
-                    str(emv_dir / 'Reports/output.json')
-                )
-                result = Util.check_results_from_file(output_path, context.expected_file)
-                if not result:
-                    exit_code = 1
-        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:
-                    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)
-
-            # Remove debug logger and run remote verification
-            logging_manager.remove_debug_logger()
-            exit_code, return_value = run_remote(context, args, timings)
+    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:
+                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)
+
+        # Remove debug logger and run remote verification
+        logging_manager.remove_debug_logger()
+        exit_code, return_value = run_remote(context, args, timings)
 
     # Handle exit codes and return
     return handle_exit(exit_code, return_value)

certora_cli/certoraSolanaProver.py

@@ -25,7 +25,7 @@ sys.path.insert(0, str(scripts_dir_path))
 
 
 import CertoraProver.certoraContextAttributes as Attrs
-from Shared.rustProverCommon import build_rust_project
+from CertoraProver.certoraBuildRust import build_rust_project
 from Shared.proverCommon import (
     build_context,
     collect_and_dump_metadata,

certora_cli/certoraSorobanProver.py

@@ -26,7 +26,7 @@ from typing import List, Optional, Dict
 
 import CertoraProver.certoraContextAttributes as Attrs
 
-from Shared.rustProverCommon import build_rust_project
+from CertoraProver.certoraBuildRust import build_rust_project
 from Shared.proverCommon import (
     build_context,
     collect_and_dump_metadata,

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-beta-mirror
-Version: 7.31.0
+Version: 8.0.0
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-beta-mirror
 Author: Certora
@@ -11,7 +11,7 @@ Project-URL: Source, https://github.com/Certora/CertoraProver
 Classifier: Programming Language :: Python :: 3
 Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
 Classifier: Operating System :: OS Independent
-Requires-Python: >=3.8
+Requires-Python: >=3.9
 Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: click
@@ -38,4 +38,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 89159ec.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 852805e.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

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

@@ -1,27 +1,30 @@
 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/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=mTBAi-SVCApy8BvfvKAL8Z4PdGcaBV3G5vNXPrFdgTI,8817
-certora_cli/certoraSolanaProver.py,sha256=7hu-YJJNA_P5eAJq_jYh6IGjiUf0PegGUBRCJ5AhE7s,3274
-certora_cli/certoraSorobanProver.py,sha256=qE6b_vicC8KgOvUz7UTOaDuXT3UW0MMhq3keQgUVvzs,2865
+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/rustMutator.py,sha256=6AvOGU8Ijz89zW_ZJCWlfXkeobJsk7EsqZhK7Eqwn-Y,14544
 certora_cli/CertoraProver/__init__.py,sha256=QHNr-PJQAoyuPgTkO7gg23GRchiWSXglWNG7yLSQZvs,849
-certora_cli/CertoraProver/certoraBuild.py,sha256=eAAaRcyF16XNjr9Es54cQPutErqjW6j8VUefrGAxumc,212517
-certora_cli/CertoraProver/certoraBuildCacheManager.py,sha256=I60x0ykMFPzciD193cPXihsHh0fdV--UOmNKbIZW6Rc,13238
+certora_cli/CertoraProver/certoraBuild.py,sha256=yk4zzGATe-HPqVUPwNBejaCqPN3WqLQPEsiNJobTdE0,212894
+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=ofKvmtqzUGTrgVm5crcybV7gbElbjiUc6Z4FphPEjz0,6016
-certora_cli/CertoraProver/certoraCloudIO.py,sha256=w3mqA5ANgIX6dsb6Nxg4jl9zBRdAX5kw9xLeYmA-iHc,53062
+certora_cli/CertoraProver/certoraBuildRust.py,sha256=s_tZpzQQLASYiv27LLqn6S_FVUKn5UOljXQgIGrjlBo,6051
+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/certoraCollectRunMetadata.py,sha256=n67E7hjVdPlBXMh1FMzcWSgu3v5SfFM_HOO2JpbCeY0,11787
+certora_cli/CertoraProver/certoraCollectRunMetadata.py,sha256=i31dkYt8kwlX44SHZtV_b8QI1Egi6cbB5-uuh5beYN0,12630
 certora_cli/CertoraProver/certoraCompilerParameters.py,sha256=r35y03IRwWIoz1GCNC7PuW3n8JPz9J1NGwhwUYKdYtI,1452
-certora_cli/CertoraProver/certoraConfigIO.py,sha256=uq-uNnjVBzg9Kh41fDqn-lnwSJXe4k2_iy5GTnQIDa8,7560
-certora_cli/CertoraProver/certoraContext.py,sha256=HyYQlzIEk3gzzEH2ilTC_Qxw1zXvsKU3IJuCLiV2Sro,26916
-certora_cli/CertoraProver/certoraContextAttributes.py,sha256=d8ywqZrWfhzwS8w3VSduwIqwgSASML7k_guXzsoxIdU,69463
+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/certoraContextClass.py,sha256=d7HDqM72K7YnswR7kEcAHGwkFNrTqRz5-_0m7cl2Mso,900
-certora_cli/CertoraProver/certoraContextValidator.py,sha256=SgdtQJFimBi51c9SUnpgEYow9FBEYU_7LUdZhISBxpo,45064
+certora_cli/CertoraProver/certoraContextValidator.py,sha256=CW54on8TtVyx0Euma-ysJ94jK9QKuyUyCSGZwdtwZHY,46341
 certora_cli/CertoraProver/certoraContractFuncs.py,sha256=ipSwge5QQzp8qhUavY44bZ-eCR6szK_HWwSIWqQyuR0,6921
 certora_cli/CertoraProver/certoraExtensionInfo.py,sha256=YlShzdoqJQgXXj3r0TJ3fir1KntIR99Rk8JN5qii2lk,2026
 certora_cli/CertoraProver/certoraJobList.py,sha256=FBIYgJ60I0Ok7vchfTbcuJJbiXgnfAhrONoVeZoHti4,11464
@@ -31,10 +34,10 @@ certora_cli/CertoraProver/certoraParseBuildScript.py,sha256=l7KQA1poEjmbmuYbMskz
 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=nZlSuw57oLwPKj4ec3Kn9q05PevaYd3ZD1O8FTSjZn4,10825
+certora_cli/CertoraProver/certoraVerifyGenerator.py,sha256=VcWUprCL6dxE28B2gzYYXZK-rav5KU1Pd6Fuq1gC3xA,11006
 certora_cli/CertoraProver/erc7201.py,sha256=BME5kBZsDx6lgqLn7EE91I1cEOZtsnZ8BlRVF62eEBE,1660
-certora_cli/CertoraProver/splitRules.py,sha256=HfSqsKeeLZDeOnv8TGgpPDHoaXgdVc0HOrLcGk-cU1Q,7681
-certora_cli/CertoraProver/storageExtension.py,sha256=BZC9HJygeLxqS5TmhNxbIrVNfH3kLEPjN1VjsWQi8s8,15922
+certora_cli/CertoraProver/splitRules.py,sha256=YisV7T_Rr2MpVAcantCVp9aPeFI-qtcdo81eecjK2AU,7683
+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/CompilerCollectorSol.py,sha256=7nAY2FLMUlGJn4f_YoZMqpa3rf7THqhJVjLwTaChcBc,5027
@@ -51,25 +54,25 @@ certora_cli/EquivalenceCheck/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NM
 certora_cli/EquivalenceCheck/equivCheck.py,sha256=D3TA1DRppaXpEcVW_smqMQzeUle0jPu0wIXXEd5un0U,20620
 certora_cli/EquivalenceCheck/sanity.spec,sha256=tWmE9z2Sq3_SWaqKDRQaNajRrw94maUrirvoUmX89LE,103
 certora_cli/Mutate/__init__.py,sha256=QHNr-PJQAoyuPgTkO7gg23GRchiWSXglWNG7yLSQZvs,849
-certora_cli/Mutate/mutateApp.py,sha256=vLLTokkVs-dSyOPSymMZRGj_MmVxwdogTJgS_8LqPXI,87887
-certora_cli/Mutate/mutateAttributes.py,sha256=brsoisPowxpxQxN_-y0NDvsv8feoHONhtlOayXaLDdk,10092
+certora_cli/Mutate/mutateApp.py,sha256=jcZGd-bk_8UeewCHfUoHF5Ch1NZ-A7wgFBShXFBMZx0,88255
+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/Shared/ExpectedComparator.py,sha256=eyRR-jni4WJoa6j2TK2lnZ89Tyb8U99wT2PNdu4se8w,18457
 certora_cli/Shared/__init__.py,sha256=s0dhvolFtsS4sRNzPVhC_rlw8mm194rCZ0WhOxInY40,1025
-certora_cli/Shared/certoraAttrUtil.py,sha256=ZsoS6xbSZnAjEoPEcfiJi6CvHU-1ySBKubvVKh78ohs,8373
+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=5uxgeGyfq8jw4w9l7fxiyMsgw74GpEtS8Wy8u5MNBHs,55178
-certora_cli/Shared/certoraValidateFuncs.py,sha256=Fn6GN_LEwlMjBdTiVO6WzCg8P5F6DhwkvP9Xl-XiQ6o,41921
-certora_cli/Shared/proverCommon.py,sha256=PqkjycZ3TdZr0RNWoPuA_VZ5b7EAAsu9ewymNH6kIm4,11291
-certora_cli/Shared/rustProverCommon.py,sha256=NIZ5ECbhuiMegyRAl07CV3r68MFG2tBNKgUAQoV4uLI,2049
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=YT2XfCbYZ3cwuV-9FyvRVu5GrruMtCHqT0n1kvOSlGY,145
-certora_jars/Typechecker.jar,sha256=NmnUZaxhNvRthGr1tEh9FVlT0wEO8A-jj9J22gOtngY,17143207
+certora_cli/Shared/certoraUtils.py,sha256=3imWdLsEQhpEHCpfERHet_zJLu1aShgf3XQFs8Qvbr8,55006
+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_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_beta_mirror-7.31.0.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_beta_mirror-7.31.0.dist-info/METADATA,sha256=OGfFfEjLrMpnJSD69pQjP_yH9-2Jfvh1GviqnGpZTN0,1254
-certora_cli_beta_mirror-7.31.0.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
-certora_cli_beta_mirror-7.31.0.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
-certora_cli_beta_mirror-7.31.0.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_beta_mirror-7.31.0.dist-info/RECORD,,
+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-7.31.0.dist-info → certora_cli_beta_mirror-8.0.0.dist-info}/entry_points.txt

@@ -1,4 +1,5 @@
 [console_scripts]
+certoraCVLFormatter = certora_cli.certoraCVLFormatter:entry_point
 certoraEVMProver = certora_cli.certoraEVMProver:entry_point
 certoraEqCheck = certora_cli.certoraEqCheck:equiv_check_entry_point
 certoraMutate = certora_cli.certoraMutate:mutate_entry_point

certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +1 @@
-{"name": "certora-cli-beta-mirror", "tag": "7.31.0", "branch": "", "commit": "89159ec", "timestamp": "20250624.9.18.557504", "version": "7.31.0"}
+{"name": "certora-cli-beta-mirror", "tag": "8.0.0", "branch": "", "commit": "852805e", "timestamp": "20250721.16.13.726664", "version": "8.0.0"}