certora-cli-alpha-master 20241219.16.13.477788__tar.gz → 20241219.18.0.830641__tar.gz

{certora_cli_alpha_master-20241219.16.13.477788/certora_cli_alpha_master.egg-info → certora_cli_alpha_master-20241219.18.0.830641}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli-alpha-master
-Version: 20241219.16.13.477788
+Version: 20241219.18.0.830641
 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 6339cbf.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 271cc4d.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20241219.18.0.830641/README.md

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

{certora_cli_alpha_master-20241219.16.13.477788 → certora_cli_alpha_master-20241219.18.0.830641}/certora_cli/EVMVerifier/certoraContextValidator.py

@@ -173,14 +173,17 @@ class CertoraContextValidator:
                 "'disable_source_finders' is set to true while 'dynamic_bound' is set to 1 or higher"
             )
             context.disable_source_finders = True
-
+        package_name = Util.get_package_and_version()[1]
         # if --fe_version was not set then if the package is alpha/beta we set it to latest else we set it to production
         if not context.fe_version:
-            lastest_packages = [Util.ALPHA_PACKAGE_NAME, Util.BETA_PACKAGE_NAME, Util.BETA_MIRROR_PACKAGE_NAME]
-            if Util.get_package_and_version()[1] in lastest_packages:
+            lastest_packages = [Util.ALPHA_PACKAGE_MASTER_NAME, Util.BETA_PACKAGE_NAME, Util.BETA_MIRROR_PACKAGE_NAME]
+            if package_name in lastest_packages:
                 context.fe_version = str(Util.FeValue.LATEST)
             else:
                 context.fe_version = str(Util.FeValue.PRODUCTION)
+        if Util.ALPHA_PACKAGE_NAME in package_name and not context.prover_version:
+            raise Util.CertoraUserInputError('When running an "alpha release", a specific branch must be supplied '
+                                             'via --prover_version. For example: "--prover_version master"')
 
         check_conflicting_branch_and_hash(context)
         set_wait_for_results_default(context)

{certora_cli_alpha_master-20241219.16.13.477788 → certora_cli_alpha_master-20241219.18.0.830641}/certora_cli/Shared/certoraUtils.py

@@ -79,7 +79,8 @@ LAST_CONF_FILE = Path("run.conf")
 EMV_JAR = Path("emv.jar")
 CERTORA_SOURCES = Path(".certora_sources")
 SOLANA_DEFAULT_COMMAND = "cargo +solana build-sbf"
-ALPHA_PACKAGE_NAME = 'certora-cli-alpha-master'
+ALPHA_PACKAGE_NAME = 'certora-cli-alpha'
+ALPHA_PACKAGE_MASTER_NAME = ALPHA_PACKAGE_NAME + '-master'
 # contract names in Solidity consists of alphanums, underscores and dollar signs
 # https://docs.soliditylang.org/en/latest/grammar.html#a4.SolidityLexer.Identifier
 SOLIDITY_ID_SUBSTRING_RE = r"[a-zA-Z_$][a-zA-Z0-9_$]*"  # string *contains* a valid solidity ID

{certora_cli_alpha_master-20241219.16.13.477788 → certora_cli_alpha_master-20241219.18.0.830641/certora_cli_alpha_master.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli-alpha-master
-Version: 20241219.16.13.477788
+Version: 20241219.18.0.830641
 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 6339cbf.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 271cc4d.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

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

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

{certora_cli_alpha_master-20241219.16.13.477788 → certora_cli_alpha_master-20241219.18.0.830641}/setup.py

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

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

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

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