certora-cli-alpha-master 20250604.14.55.21044__tar.gz → 20250604.20.57.729922__tar.gz

{certora_cli_alpha_master-20250604.14.55.21044/certora_cli_alpha_master.egg-info → certora_cli_alpha_master-20250604.20.57.729922}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250604.14.55.21044
+Version: 20250604.20.57.729922
 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 831a2b0.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 8c0c2db.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250604.20.57.729922/README.md

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

{certora_cli_alpha_master-20250604.14.55.21044 → certora_cli_alpha_master-20250604.20.57.729922}/certora_cli/CertoraProver/certoraContextAttributes.py

@@ -1719,7 +1719,7 @@ class RangerAttributes(EvmProverAttributes):
     @classmethod
     def ranger_unsupported_attributes(cls) -> List[AttrUtil.AttributeDefinition]:
         return [cls.PROJECT_SANITY, cls.RULE_SANITY, cls.COVERAGE_INFO, cls.FOUNDRY, cls.INDEPENDENT_SATISFY,
-                cls.MULTI_ASSERT_CHECK, cls.MULTI_EXAMPLE]
+                cls.MULTI_ASSERT_CHECK, cls.MULTI_EXAMPLE, cls.VYPER]
 
     @classmethod
     def ranger_true_by_default_attributes(cls) -> List[AttrUtil.AttributeDefinition]:

{certora_cli_alpha_master-20250604.14.55.21044 → certora_cli_alpha_master-20250604.20.57.729922/certora_cli_alpha_master.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250604.14.55.21044
+Version: 20250604.20.57.729922
 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 831a2b0.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 8c0c2db.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

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

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

{certora_cli_alpha_master-20250604.14.55.21044 → certora_cli_alpha_master-20250604.20.57.729922}/setup.py

@@ -3,11 +3,11 @@ import setuptools
 
 setuptools.setup(
     name="certora-cli-alpha-master",
-    version="20250604.14.55.021044",
+    version="20250604.20.57.729922",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit 831a2b0.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit 8c0c2db.                    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-20250604.14.55.21044/README.md

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

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

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