certora-cli-alpha-master 20241219.16.13.477788__py3-none-macosx_10_9_universal2.whl → 20241219.18.0.830641__py3-none-macosx_10_9_universal2.whl

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

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

@@ -17,7 +17,7 @@ certora_cli/EVMVerifier/certoraConfigIO.py,sha256=oyNOyBjVWFfB1dmj0jNnEwvokM7UMo
 certora_cli/EVMVerifier/certoraContext.py,sha256=aYvsuedXdiHsdEbok9hRT3KZcaNY8HIg_Lee3HBVVrE,22266
 certora_cli/EVMVerifier/certoraContextAttributes.py,sha256=Lx1vi9PgPiUcv0xRsdQncvknkpdvMWagGsT-Tw0saX4,55636
 certora_cli/EVMVerifier/certoraContextClass.py,sha256=qdHYmrzI4zeQaAaMnonw4C-h1PFrPEhI84trrgvxFj0,210
-certora_cli/EVMVerifier/certoraContextValidator.py,sha256=YE4_BYRhZhXWEtjodD_Pligh8opdaOjs27mVEoy74ZY,37210
+certora_cli/EVMVerifier/certoraContextValidator.py,sha256=zQupDhoTMu0aA3Rmp6x6KgOa_CNd5A3Cqf60_vJZ5rE,37560
 certora_cli/EVMVerifier/certoraContractFuncs.py,sha256=W3lAvKotGKK7ZGJLg4yYh0FzTwwSQJbZMpizyGaYXZo,6229
 certora_cli/EVMVerifier/certoraExtensionInfo.py,sha256=bHjEBKg3qQ1lS419KSU6v6HKbhrSOz2TmEE21YrOfYI,1336
 certora_cli/EVMVerifier/certoraJobList.py,sha256=JlPOANEzNHP6cDrM5UKfO314pmWYokuhAPTkH3ezNb4,10768
@@ -52,14 +52,14 @@ certora_cli/Shared/ExpectedComparator.py,sha256=rDDY3-FaE3OS_ZjZ-nOyvUTlUp8eQCHw
 certora_cli/Shared/__init__.py,sha256=QGoFb_Uu87tWp4E4L6C_VtzdG-sfNrzdNtRK79h5_Lw,333
 certora_cli/Shared/certoraAttrUtil.py,sha256=IbIIvTbtPzmPSSrK7VIWZNitkz1iwvW_e0ggX1e2joY,6751
 certora_cli/Shared/certoraLogging.py,sha256=5Lx-XWKl7GnwnWi7KlwTLIfsEvUvCTZ8KeyfNyi_6RU,13323
-certora_cli/Shared/certoraUtils.py,sha256=8EGXrxfIxu34VTx46QeTx6tTYLdwpTLT9ulVQijmD9Y,53624
+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=lTGGVSgZjQnhq1GhSPEB6ONakcPVKXIDHNQvFTSM16w,170
-certora_jars/Typechecker.jar,sha256=CtHfKd0FeMUOx8NOlmOpegwlKDSZTecEoZn9556af9U,16755362
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=SF9VyFZLGfIrUj4dB4zFVFGsdP_KyIfqMZFcrQLYRm0,168
+certora_jars/Typechecker.jar,sha256=RvgLfNJNp19TEHh0XJUk5lWbftqpELQYrQ5b8SfW6Vc,16755362
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_alpha_master-20241219.16.13.477788.dist-info/LICENSE,sha256=VeEBJLgfzZqyAUfjLoKUztf7KJBBUjtZ1ap99eQubOo,1065
-certora_cli_alpha_master-20241219.16.13.477788.dist-info/METADATA,sha256=t5lF3Vv4vezwHg6jzwxip00vIHt1dDRmkCyQdMMrU48,838
-certora_cli_alpha_master-20241219.16.13.477788.dist-info/WHEEL,sha256=N3Zagyg8u7FcZiPCx4UnuNyRRYq7IQpu24eWYyuhGOQ,110
-certora_cli_alpha_master-20241219.16.13.477788.dist-info/entry_points.txt,sha256=Y90wInBDlKPSU3YnuTn3JqAsSgPRTDHc8lf6BfKILjY,261
-certora_cli_alpha_master-20241219.16.13.477788.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_alpha_master-20241219.16.13.477788.dist-info/RECORD,,
+certora_cli_alpha_master-20241219.18.0.830641.dist-info/LICENSE,sha256=VeEBJLgfzZqyAUfjLoKUztf7KJBBUjtZ1ap99eQubOo,1065
+certora_cli_alpha_master-20241219.18.0.830641.dist-info/METADATA,sha256=iXDOJ0L2RJUTrB-dgyzxYjP3-qV8Y7E-ThqtYu6E7Kk,837
+certora_cli_alpha_master-20241219.18.0.830641.dist-info/WHEEL,sha256=N3Zagyg8u7FcZiPCx4UnuNyRRYq7IQpu24eWYyuhGOQ,110
+certora_cli_alpha_master-20241219.18.0.830641.dist-info/entry_points.txt,sha256=Y90wInBDlKPSU3YnuTn3JqAsSgPRTDHc8lf6BfKILjY,261
+certora_cli_alpha_master-20241219.18.0.830641.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_alpha_master-20241219.18.0.830641.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

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