certora-cli-alpha-master 20241223.10.40.334240__py3-none-any.whl → 20241223.13.10.348698__py3-none-any.whl

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/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.dist-info → certora_cli_alpha_master-20241223.13.10.348698.dist-info}/METADATA

@@ -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.dist-info → certora_cli_alpha_master-20241223.13.10.348698.dist-info}/RECORD

@@ -1,9 +1,11 @@
 certora_bins/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 certora_cli/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+certora_cli/certoraEVMProver.py,sha256=Qo33HMBWytyAotk714xzK5Xbiqgeprn86nuRDSNZr7U,362
 certora_cli/certoraEqCheck.py,sha256=5LtN9GNBSYR_kYghDBeNNL4yWshPw9PNpe0stLtuIxQ,379
 certora_cli/certoraMutate.py,sha256=BUK_keaunrcCYgLiwHfIkDSjIHM_KoGwwnIiuojc-ug,2643
 certora_cli/certoraRun.py,sha256=rnczNnSoYRuUKOkIN7_0cRxjiVDK0x4NJxOT4KNkYdg,11884
 certora_cli/certoraSolanaProver.py,sha256=3Vb05zd5PqkU5CmCNzYvmYfbC-hsmU6Tt390msjQlOc,5898
+certora_cli/certoraSorobanProver.py,sha256=wRLL6TpbBGZeyDIEtvzSNjmpKyc4U657S7b6agULf-8,374
 certora_cli/rustMutator.py,sha256=ezpwwzr-OCK78PsBPVf5fC__GWaESvIbaAI7yjJ8Hs0,13862
 certora_cli/EVMVerifier/__init__.py,sha256=AJxj90KAGh1JqAsxKqDBTL2rFbqgtkhDfW_XmxSHft0,159
 certora_cli/EVMVerifier/certoraBuild.py,sha256=TqPfOSjcuY0zWJYTx1d401zJdIbnLyECa9T5koXRKzM,203842
@@ -53,12 +55,12 @@ certora_cli/Shared/certoraAttrUtil.py,sha256=IbIIvTbtPzmPSSrK7VIWZNitkz1iwvW_e0g
 certora_cli/Shared/certoraLogging.py,sha256=5Lx-XWKl7GnwnWi7KlwTLIfsEvUvCTZ8KeyfNyi_6RU,13323
 certora_cli/Shared/certoraUtils.py,sha256=WmVX8Hz5wMZ7WI2JhYavAilH1kO3fwKLUBsf4hQ4b-o,53676
 certora_cli/Shared/certoraValidateFuncs.py,sha256=OOjPAkcfrURZDD4oDjOMBFTvY6wwQSXboXzu-47AUbY,36871
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=yVJoDaW5U1mi91WfszaIUpBuc3IP7pBHa4f-W2qAnHo,170
-certora_jars/Typechecker.jar,sha256=GrRYVYNZWjJA-YSrGxLHvePHHzriOVhehWNiL4KRcEg,16812998
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=DAaAvSKKg2jpK-stJalfvP4FYT88Aj04iTty54AYJ_4,170
+certora_jars/Typechecker.jar,sha256=AAbZxIfBBo_Ix37OdgquHw99gNPN9tnQ6OeLsVHhnTU,16812998
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_alpha_master-20241223.10.40.334240.dist-info/LICENSE,sha256=VeEBJLgfzZqyAUfjLoKUztf7KJBBUjtZ1ap99eQubOo,1065
-certora_cli_alpha_master-20241223.10.40.334240.dist-info/METADATA,sha256=YjIAvgt0lv7BFfbUq7Fn2GMl9r1FtthL2BHxtdWDB8I,838
-certora_cli_alpha_master-20241223.10.40.334240.dist-info/WHEEL,sha256=P9jw-gEje8ByB7_hXoICnHtVCrEwMQh-630tKvQWehc,91
-certora_cli_alpha_master-20241223.10.40.334240.dist-info/entry_points.txt,sha256=Y90wInBDlKPSU3YnuTn3JqAsSgPRTDHc8lf6BfKILjY,261
-certora_cli_alpha_master-20241223.10.40.334240.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_alpha_master-20241223.10.40.334240.dist-info/RECORD,,
+certora_cli_alpha_master-20241223.13.10.348698.dist-info/LICENSE,sha256=VeEBJLgfzZqyAUfjLoKUztf7KJBBUjtZ1ap99eQubOo,1065
+certora_cli_alpha_master-20241223.13.10.348698.dist-info/METADATA,sha256=GLA0zgAf1fAsOpMY3koDanUCj7R5K5KZk25FFoTZp58,838
+certora_cli_alpha_master-20241223.13.10.348698.dist-info/WHEEL,sha256=P9jw-gEje8ByB7_hXoICnHtVCrEwMQh-630tKvQWehc,91
+certora_cli_alpha_master-20241223.13.10.348698.dist-info/entry_points.txt,sha256=eRUXVz-5HRUeNAVnMPqnWc0zGvYox-9Um8o_TuR1In4,401
+certora_cli_alpha_master-20241223.13.10.348698.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_alpha_master-20241223.13.10.348698.dist-info/RECORD,,

{certora_cli_alpha_master-20241223.10.40.334240.dist-info → certora_cli_alpha_master-20241223.13.10.348698.dist-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_jars/CERTORA-CLI-VERSION-METADATA.json

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