certora-cli-alpha-master 20241223.10.40.334240__tar.gz → 20241223.13.10.348698__tar.gz

{certora_cli_alpha_master-20241223.10.40.334240/certora_cli_alpha_master.egg-info → certora_cli_alpha_master-20241223.13.10.348698}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli-alpha-master
-Version: 20241223.10.40.334240
+Version: 20241223.13.10.348698
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -23,4 +23,4 @@ Requires-Dist: StrEnum
 Requires-Dist: tomli
 Requires-Dist: universalmutator
 
-Commit 5d1cc5b.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 959aff3.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20241223.13.10.348698/README.md

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

certora_cli_alpha_master-20241223.13.10.348698/certora_cli/certoraEVMProver.py

@@ -0,0 +1,14 @@
+#!/usr/bin/env python3
+
+import sys
+import EVMVerifier.certoraContextAttributes as Attrs
+from certoraRun import run_certora, CertoraRunResult
+from typing import List, Optional
+
+
+def run_evm_prover(args: List[str]) -> Optional[CertoraRunResult]:
+    return run_certora(args, Attrs.EvmProverAttributes)
+
+
+if __name__ == '__main__':
+    run_evm_prover(sys.argv[1:])

certora_cli_alpha_master-20241223.13.10.348698/certora_cli/certoraSorobanProver.py

@@ -0,0 +1,14 @@
+#!/usr/bin/env python3
+
+import sys
+import EVMVerifier.certoraContextAttributes as Attrs
+from certoraRun import run_certora, CertoraRunResult
+from typing import List, Optional
+
+
+def run_soroban_prover(args: List[str]) -> Optional[CertoraRunResult]:
+    return run_certora(args, Attrs.SorobanProverAttributes)
+
+
+if __name__ == '__main__':
+    run_soroban_prover(sys.argv[1:])

{certora_cli_alpha_master-20241223.10.40.334240 → certora_cli_alpha_master-20241223.13.10.348698/certora_cli_alpha_master.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli-alpha-master
-Version: 20241223.10.40.334240
+Version: 20241223.13.10.348698
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -23,4 +23,4 @@ Requires-Dist: StrEnum
 Requires-Dist: tomli
 Requires-Dist: universalmutator
 
-Commit 5d1cc5b.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 959aff3.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_alpha_master-20241223.10.40.334240 → certora_cli_alpha_master-20241223.13.10.348698}/certora_cli_alpha_master.egg-info/SOURCES.txt

@@ -4,10 +4,12 @@ README.md
 setup.py
 certora_bins/__init__.py
 certora_cli/__init__.py
+certora_cli/certoraEVMProver.py
 certora_cli/certoraEqCheck.py
 certora_cli/certoraMutate.py
 certora_cli/certoraRun.py
 certora_cli/certoraSolanaProver.py
+certora_cli/certoraSorobanProver.py
 certora_cli/rustMutator.py
 certora_cli/EVMVerifier/__init__.py
 certora_cli/EVMVerifier/certoraBuild.py

{certora_cli_alpha_master-20241223.10.40.334240 → certora_cli_alpha_master-20241223.13.10.348698}/certora_cli_alpha_master.egg-info/entry_points.txt

@@ -1,5 +1,7 @@
 [console_scripts]
+certoraEVMProver = certora_cli.EVMVerifier.certoraEVMProver:entry_point
 certoraEqCheck = certora_cli.certoraEqCheck:equiv_check_entry_point
 certoraMutate = certora_cli.certoraMutate:mutate_entry_point
 certoraRun = certora_cli.certoraRun:entry_point
 certoraSolanaProver = certora_cli.certoraSolanaProver:entry_point
+certoraSorobanProver = certora_cli.certoraSorobanProver:entry_point

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

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

{certora_cli_alpha_master-20241223.10.40.334240 → certora_cli_alpha_master-20241223.13.10.348698}/setup.py

@@ -3,11 +3,11 @@ import setuptools
 
 setuptools.setup(
     name="certora-cli-alpha-master",
-    version="20241223.10.40.334240",
+    version="20241223.13.10.348698",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit 5d1cc5b.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit 959aff3.                    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(),
@@ -23,7 +23,9 @@ setuptools.setup(
             "certoraRun = certora_cli.certoraRun:entry_point",
             "certoraMutate = certora_cli.certoraMutate:mutate_entry_point",
             "certoraEqCheck = certora_cli.certoraEqCheck:equiv_check_entry_point",
-            "certoraSolanaProver = certora_cli.certoraSolanaProver:entry_point"
+            "certoraSolanaProver = certora_cli.certoraSolanaProver:entry_point",
+            "certoraSorobanProver = certora_cli.certoraSorobanProver:entry_point",
+            "certoraEVMProver = certora_cli.EVMVerifier.certoraEVMProver:entry_point"
         ]
     },
     python_requires='>=3.8',

certora_cli_alpha_master-20241223.10.40.334240/README.md

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

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

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