certora-cli-alpha-master 20250515.12.1.492548__tar.gz → 20250515.14.53.199146__tar.gz

{certora_cli_alpha_master-20250515.12.1.492548/certora_cli_alpha_master.egg-info → certora_cli_alpha_master-20250515.14.53.199146}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250515.12.1.492548
+Version: 20250515.14.53.199146
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -37,4 +37,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 6ae6ea8.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 00ead1f.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250515.14.53.199146/README.md

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

{certora_cli_alpha_master-20250515.12.1.492548 → certora_cli_alpha_master-20250515.14.53.199146}/certora_cli/CertoraProver/certoraBuild.py

@@ -2678,7 +2678,8 @@ class CertoraBuildGenerator:
         self.handle_links()
         self.handle_struct_links()
         self.handle_contract_extensions()
-        self.handle_erc7201_annotations()
+        if self.context.storage_extension_annotation:
+            self.handle_erc7201_annotations()
         self.handle_storage_extension_harnesses()
 
     def extract_slayout(self, original_file: str, ns_storage: Set[NameSpacedStorage]) -> NewStorageInfo:
@@ -2711,6 +2712,14 @@ class CertoraBuildGenerator:
             var_to_slot = storageExtension.write_harness_contract(tmp_file, harness_name, ns_storage)
             tmp_file.flush()
 
+            if self.context.extract_storage_extension_annotation:
+                # If the flag is set, save the storage extension contract
+                build_dir = Util.get_build_dir()
+                shutil.copyfile(
+                    Path(tmp_file.name),
+                    build_dir / f"{Path(original_file).stem}_storage_extension.sol"
+                )
+
             # Add harness to compiler map
             storageExtension.add_harness_to_compiler_map(
                 original_file,

{certora_cli_alpha_master-20250515.12.1.492548 → certora_cli_alpha_master-20250515.14.53.199146}/certora_cli/CertoraProver/certoraContextAttributes.py

@@ -998,6 +998,24 @@ class EvmAttributes(AttrUtil.Attributes):
         disables_build_cache=False
     )
 
+    STORAGE_EXTENSION_ANNOTATION = AttrUtil.AttributeDefinition(
+        arg_type=AttrUtil.AttrArgType.BOOLEAN,
+        argparse_args={
+            'action': AttrUtil.STORE_TRUE
+        },
+        affects_build_cache_key=True,
+        disables_build_cache=False
+    )
+
+    EXTRACT_STORAGE_EXTENSION_ANNOTATION = AttrUtil.AttributeDefinition(
+        arg_type=AttrUtil.AttrArgType.BOOLEAN,
+        argparse_args={
+            'action': AttrUtil.STORE_TRUE
+        },
+        affects_build_cache_key=False,
+        disables_build_cache=False
+    )
+
     OPTIMISTIC_HASHING = AttrUtil.AttributeDefinition(
         arg_type=AttrUtil.AttrArgType.BOOLEAN,
         help_msg="Bound the length of data (with potentially unbounded length) to the value given in "

{certora_cli_alpha_master-20250515.12.1.492548 → certora_cli_alpha_master-20250515.14.53.199146/certora_cli_alpha_master.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250515.12.1.492548
+Version: 20250515.14.53.199146
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -37,4 +37,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 6ae6ea8.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 00ead1f.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

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

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

{certora_cli_alpha_master-20250515.12.1.492548 → certora_cli_alpha_master-20250515.14.53.199146}/setup.py

@@ -3,11 +3,11 @@ import setuptools
 
 setuptools.setup(
     name="certora-cli-alpha-master",
-    version="20250515.12.1.492548",
+    version="20250515.14.53.199146",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit 6ae6ea8.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit 00ead1f.                    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-20250515.12.1.492548/README.md

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

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

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