certora-cli-alpha-master 20250708.13.43.606302__tar.gz → 20250708.16.32.202680__tar.gz

{certora_cli_alpha_master-20250708.13.43.606302/certora_cli_alpha_master.egg-info → certora_cli_alpha_master-20250708.16.32.202680}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250708.13.43.606302
+Version: 20250708.16.32.202680
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -38,4 +38,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit d87e722.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 74f300a.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250708.16.32.202680/README.md

@@ -0,0 +1 @@
+Commit 74f300a.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_alpha_master-20250708.13.43.606302 → certora_cli_alpha_master-20250708.16.32.202680}/certora_cli/CertoraProver/certoraBuildRust.py

@@ -13,10 +13,20 @@
 #     You should have received a copy of the GNU General Public License
 #     along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
+from __future__ import annotations
+
+import sys
+from pathlib import Path
+
+scripts_dir_path = Path(__file__).parent.parent.resolve()  # containing directory
+sys.path.insert(0, str(scripts_dir_path))
+
 import glob
 import shutil
+import time
+import logging
 from pathlib import Path
-from typing import Set
+from typing import Set, Dict
 
 from CertoraProver.certoraBuild import build_source_tree
 from CertoraProver.certoraContextClass import CertoraContext
@@ -25,6 +35,25 @@ import CertoraProver.certoraContextAttributes as Attrs
 from Shared import certoraUtils as Util
 
 
+log = logging.getLogger(__name__)
+
+
+def build_rust_project(context: CertoraContext, timings: Dict) -> None:
+    """
+    Compile the Rust artefact and record elapsed time in *timings*.
+
+    Args:
+        context: The CertoraContext object containing the configuration.
+        timings: A dictionary to store timing information.
+    """
+    log.debug("Build Rust target")
+    start = time.perf_counter()
+    set_rust_build_directory(context)
+    timings["buildTime"] = round(time.perf_counter() - start, 4)
+    if context.test == str(Util.TestValue.AFTER_BUILD):
+        raise Util.TestResultsReady(context)
+
+
 def set_rust_build_directory(context: CertoraContext) -> None:
     if not context.files:
         build_rust_app(context)

certora_cli_alpha_master-20250708.13.43.606302/certora_cli/Shared/rustProverCommon.py → certora_cli_alpha_master-20250708.16.32.202680/certora_cli/CertoraProver/certoraBuildSui.py

@@ -13,13 +13,6 @@
 #     You should have received a copy of the GNU General Public License
 #     along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-"""
-Shared helpers for Rust-based targets (Solana & Soroban).
-
-Placing the build  logic in one module removes
-duplication from the dedicated entry scripts.
-"""
-
 from __future__ import annotations
 
 import sys
@@ -28,25 +21,21 @@ from pathlib import Path
 scripts_dir_path = Path(__file__).parent.parent.resolve()  # containing directory
 sys.path.insert(0, str(scripts_dir_path))
 
+import shutil
 import time
 import logging
-from typing import Dict
-
-from Shared import certoraUtils as Util
+from pathlib import Path
+from typing import Set, Dict
 
+from CertoraProver.certoraBuild import build_source_tree
 from CertoraProver.certoraContextClass import CertoraContext
-
-from CertoraProver.certoraBuildRust import set_rust_build_directory
+from Shared import certoraUtils as Util
 
 
 log = logging.getLogger(__name__)
 
 
-# --------------------------------------------------------------------------- #
-# Build
-# --------------------------------------------------------------------------- #
-
-def build_rust_project(context: CertoraContext, timings: Dict) -> None:
+def build_sui_project(context: CertoraContext, timings: Dict) -> None:
     """
     Compile the Rust artefact and record elapsed time in *timings*.
 
@@ -56,7 +45,24 @@ def build_rust_project(context: CertoraContext, timings: Dict) -> None:
     """
     log.debug("Build Rust target")
     start = time.perf_counter()
-    set_rust_build_directory(context)
+    set_sui_build_directory(context)
     timings["buildTime"] = round(time.perf_counter() - start, 4)
     if context.test == str(Util.TestValue.AFTER_BUILD):
         raise Util.TestResultsReady(context)
+
+
+def set_sui_build_directory(context: CertoraContext) -> None:
+    assert context.move_path, "build_sui_project: expecting move_path to link to a build directory"
+
+    shutil.copytree(context.move_path, Util.get_build_dir() / Path(context.move_path).name)
+
+    sources: Set[Path] = set()
+    if getattr(context, 'conf_file', None) and Path(context.conf_file).exists():
+        sources.add(Path(context.conf_file).absolute())
+
+    try:
+        # Create generators
+        build_source_tree(sources, context)
+
+    except Exception as e:
+        raise Util.CertoraUserInputError(f"Collecting build files failed with the exception: {e}")

{certora_cli_alpha_master-20250708.13.43.606302 → certora_cli_alpha_master-20250708.16.32.202680}/certora_cli/CertoraProver/certoraCloudIO.py

@@ -73,6 +73,7 @@ class EcoEnum(Util.NoValEnum):
     EVM = Util.auto()
     SOROBAN = Util.auto()
     SOLANA = Util.auto()
+    SUI = Util.auto()
 
 class ProductEnum(Util.NoValEnum):
     PROVER = Util.auto()
@@ -623,6 +624,11 @@ class CloudVerification:
                     rust_jar_settings.append(paths_in_source_dir(self.context.solana_inlining))
 
             auth_data["jarSettings"] = rust_jar_settings + jar_settings
+
+        elif Attrs.is_sui_app():
+            sui_jar_settings = ['-movePath', Path(self.context.move_path).name]
+            auth_data["jarSettings"] = sui_jar_settings + jar_settings
+
         else:
             auth_data["jarSettings"] = jar_settings
 
@@ -644,6 +650,8 @@ class CloudVerification:
             auth_data["ecosystem"] = EcoEnum.SOLANA.name
         elif Attrs.is_soroban_app():
             auth_data["ecosystem"] = EcoEnum.SOROBAN.name
+        elif Attrs.is_sui_app():
+            auth_data["ecosystem"] = EcoEnum.SUI.name
         else:
             auth_data["ecosystem"] = EcoEnum.EVM.name
 
@@ -773,6 +781,16 @@ class CloudVerification:
 
             result = compress_files(self.ZipFilePath, *files_list,
                                     short_output=Ctx.is_minimal_cli_output(self.context))
+        elif Attrs.is_sui_app():
+            files_list = [Util.get_certora_metadata_file(),
+                          Util.get_configuration_layout_data_file(),
+                          Util.get_build_dir() / Path(self.context.move_path).name]
+
+            if Util.get_certora_sources_dir().exists():
+                files_list.append(Util.get_certora_sources_dir())
+
+            result = compress_files(self.ZipFilePath, *files_list,
+                                    short_output=Ctx.is_minimal_cli_output(self.context))
 
         else:
             # Zip the log file first separately and again with the rest of the files, so it will not be decompressed

{certora_cli_alpha_master-20250708.13.43.606302 → certora_cli_alpha_master-20250708.16.32.202680}/certora_cli/CertoraProver/certoraContext.py

@@ -122,7 +122,11 @@ def get_local_run_cmd(context: CertoraContext) -> List[str]:
     """
     run_args = []
 
-    if Attrs.is_rust_app():
+    if Attrs.is_sui_app():
+        # For local runs, we want path to be relative to cwd instead of zip root.
+        move_rel_path = os.path.relpath(Path(context.move_path), os.getcwd())
+        run_args.extend(['-movePath', move_rel_path])
+    elif Attrs.is_rust_app():
         # For local runs, we want path to be relative to cwd instead of zip root.
         rust_rel_path = os.path.relpath(Path(context.files[0]), os.getcwd())
         run_args.append(rust_rel_path)

{certora_cli_alpha_master-20250708.13.43.606302 → certora_cli_alpha_master-20250708.16.32.202680}/certora_cli/CertoraProver/certoraContextAttributes.py

@@ -1672,6 +1672,36 @@ class SorobanProverAttributes(CommonAttributes, InternalUseAttributes, BackendAt
     )
 
 
+class SuiProverAttributes(CommonAttributes, InternalUseAttributes, BackendAttributes):
+    FILES = AttrUtil.AttributeDefinition(
+        attr_validation_func=Vf.validate_dir,
+        arg_type=AttrUtil.AttrArgType.LIST,
+        argparse_args={
+            'nargs': AttrUtil.MULTIPLE_OCCURRENCES
+        },
+        affects_build_cache_key=True,
+        disables_build_cache=False,
+        config_data=AttributeJobConfigData(
+            main_section=MainSection.NEW_SECTION
+        )
+    )
+
+    MOVE_PATH = AttrUtil.AttributeDefinition(
+        attr_validation_func=Vf.validate_dir,
+        arg_type=AttrUtil.AttrArgType.STRING,
+        help_msg="path to a directory which includes all binary .mv files for the Prover",
+        default_desc="",
+        argparse_args={
+            'action': AttrUtil.UniqueStore
+        },
+        affects_build_cache_key=True,
+        disables_build_cache=False,
+        config_data=AttributeJobConfigData(
+            main_section=MainSection.NEW_SECTION
+        )
+    )
+
+
 class SolanaProverAttributes(CommonAttributes, InternalUseAttributes, BackendAttributes, RustAttributes):
     FILES = AttrUtil.AttributeDefinition(
         attr_validation_func=Vf.validate_solana_extension,
@@ -1753,3 +1783,7 @@ def is_ranger_app() -> bool:
 
 def is_sophy_app() -> bool:
     return False  # wait for the tool to be added
+
+
+def is_sui_app() -> bool:
+    return get_attribute_class() == SuiProverAttributes

{certora_cli_alpha_master-20250708.13.43.606302 → certora_cli_alpha_master-20250708.16.32.202680}/certora_cli/Shared/proverCommon.py

@@ -156,11 +156,13 @@ def ensure_version_compatibility(context: CertoraContext) -> None:
         """
         validate_version_and_branch(context)
 
+
 # --------------------------------------------------------------------------- #
 # Verification helpers
 # --------------------------------------------------------------------------- #
 
-def run_local(context: CertoraContext, timings: Dict, additional_commands: Optional[List[str]] = None, compare_with_expected_file: bool = False) -> int:
+def run_local(context: CertoraContext, timings: Dict, additional_commands: Optional[List[str]] = None,
+              compare_with_expected_file: bool = False) -> int:
     """
     Run the verifier locally and return its exit code (0 = success).
     Args:

{certora_cli_alpha_master-20250708.13.43.606302 → certora_cli_alpha_master-20250708.16.32.202680}/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_alpha_master-20250708.13.43.606302 → certora_cli_alpha_master-20250708.16.32.202680}/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_alpha_master-20250708.13.43.606302 → certora_cli_alpha_master-20250708.16.32.202680/certora_cli_alpha_master.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250708.13.43.606302
+Version: 20250708.16.32.202680
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -38,4 +38,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit d87e722.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 74f300a.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_alpha_master-20250708.13.43.606302 → certora_cli_alpha_master-20250708.16.32.202680}/certora_cli_alpha_master.egg-info/SOURCES.txt

@@ -17,6 +17,7 @@ certora_cli/CertoraProver/certoraBuild.py
 certora_cli/CertoraProver/certoraBuildCacheManager.py
 certora_cli/CertoraProver/certoraBuildDataClasses.py
 certora_cli/CertoraProver/certoraBuildRust.py
+certora_cli/CertoraProver/certoraBuildSui.py
 certora_cli/CertoraProver/certoraCloudIO.py
 certora_cli/CertoraProver/certoraCollectConfigurationLayout.py
 certora_cli/CertoraProver/certoraCollectRunMetadata.py
@@ -67,7 +68,6 @@ certora_cli/Shared/certoraLogging.py
 certora_cli/Shared/certoraUtils.py
 certora_cli/Shared/certoraValidateFuncs.py
 certora_cli/Shared/proverCommon.py
-certora_cli/Shared/rustProverCommon.py
 certora_cli_alpha_master.egg-info/PKG-INFO
 certora_cli_alpha_master.egg-info/SOURCES.txt
 certora_cli_alpha_master.egg-info/dependency_links.txt

certora_cli_alpha_master-20250708.16.32.202680/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -0,0 +1 @@
+{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "74f300a", "timestamp": "20250708.16.32.202680", "version": "20250708.16.32.202680+74f300a"}

{certora_cli_alpha_master-20250708.13.43.606302 → certora_cli_alpha_master-20250708.16.32.202680}/setup.py

@@ -3,11 +3,11 @@ import setuptools
 
 setuptools.setup(
     name="certora-cli-alpha-master",
-    version="20250708.13.43.606302",
+    version="20250708.16.32.202680",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit d87e722.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit 74f300a.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
     long_description_content_type="text/markdown",
     url="https://pypi.org/project/certora-cli-alpha-master",
     packages=setuptools.find_packages(),

certora_cli_alpha_master-20250708.13.43.606302/README.md

@@ -1 +0,0 @@
-Commit d87e722.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250708.13.43.606302/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +0,0 @@
-{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "d87e722", "timestamp": "20250708.13.43.606302", "version": "20250708.13.43.606302+d87e722"}