certora-cli-alpha-master 20250527.16.56.876022__py3-none-any.whl → 20250529.13.13.199542__py3-none-any.whl

certora_cli/EquivalenceCheck/Eq_default.conf

@@ -3,7 +3,6 @@
     "msg": "Equivalence Check",
     "optimistic_loop": true,
     "loop_iter": "4",
-    "process": "emv",
     "rule_sanity": "basic",
     "verify": "",
     "msg": ""

certora_cli/EquivalenceCheck/Eq_sanity.conf

@@ -4,6 +4,5 @@
     "msg": "Equivalence Check",
     "optimistic_loop": true,
     "loop_iter": "4",
-    "process": "emv",
     "verify": ""
 }

{certora_cli_alpha_master-20250527.16.56.876022.dist-info → certora_cli_alpha_master-20250529.13.13.199542.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250527.16.56.876022
+Version: 20250529.13.13.199542
 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 b2040da.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 6c65583.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_alpha_master-20250527.16.56.876022.dist-info → certora_cli_alpha_master-20250529.13.13.199542.dist-info}/RECORD

@@ -42,10 +42,10 @@ certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py,sha256=UasYWyu8O
 certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py,sha256=e95xOHK5Bz8BbzjbCVLCrGSutVs8ejqOImh5wH9o3Jk,69918
 certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py,sha256=El4WYJZVp3DpXQMZ53yVDPKOWPda5oLs3yD1qhb7dAE,5177
 certora_cli/CertoraProver/Compiler/__init__.py,sha256=tEFAmNyx9WL0kzpp_-4s7b6pLvxHmBWz6pQAq0yeROM,789
-certora_cli/EquivalenceCheck/Eq_default.conf,sha256=p9b8_cPnU41dVBrd8ry16H4x75TNp16HdJdmQeMuVxw,186
+certora_cli/EquivalenceCheck/Eq_default.conf,sha256=J-tMFzIuQa1NcklOh-wv2bpnikfAxFogpRFOl3qoSwM,164
 certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec,sha256=HC3Zhpp9ePV10ClZE09Ah7h84O-BTNIUH6w0aA-qIOQ,2286
 certora_cli/EquivalenceCheck/Eq_mc_template.spec,sha256=pbRhwqw0a_KHQ6W3biJeGS9otNJCnw7gPo1Fb6ROwik,2633
-certora_cli/EquivalenceCheck/Eq_sanity.conf,sha256=j1Rm9dXNiQT4ULc3jmn4OxhsG1UgiTyoGsnrIHMQDBk,183
+certora_cli/EquivalenceCheck/Eq_sanity.conf,sha256=BuBI5YNg25b--iQxpNxBzb4v-q-HByObCx7R5Uy1jRw,161
 certora_cli/EquivalenceCheck/Eq_template.spec,sha256=YGaG5KxSOhelDiBd1oxDnVC8VhPl6coaxHiY4lXVf6o,823
 certora_cli/EquivalenceCheck/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 certora_cli/EquivalenceCheck/equivCheck.py,sha256=D3TA1DRppaXpEcVW_smqMQzeUle0jPu0wIXXEd5un0U,20620
@@ -64,12 +64,12 @@ certora_cli/Shared/certoraUtils.py,sha256=fWb0-zZMCT_lRvhaPhf8GeXUySW6I0enChv1aO
 certora_cli/Shared/certoraValidateFuncs.py,sha256=WG4UiyES8u49o3XmuRIvNf79rcpWFuCKtV__QUptOEQ,41852
 certora_cli/Shared/proverCommon.py,sha256=-Lw6_zEIlPA7i_n6xOUsmJeUKjqYWAnGW9GKWBB_GC0,11171
 certora_cli/Shared/rustProverCommon.py,sha256=NIZ5ECbhuiMegyRAl07CV3r68MFG2tBNKgUAQoV4uLI,2049
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=Uz9VT3i3sYv3bbcwhO4I4_UaWTUqhrMLWoxeX78x8HE,170
-certora_jars/Typechecker.jar,sha256=2zGB8szmtBtGfVGcgZAGu-GXx53X50oMMGMVVM6LqLY,17137905
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=YOeQQcTklkPJ0jS-JnK_eaJLNPt52b5PO2U_dkUV2Jc,170
+certora_jars/Typechecker.jar,sha256=ae38MQAeXKGhA38QddKa8IdM1MvGQGZvAjh_oJnlwEg,17139020
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_alpha_master-20250527.16.56.876022.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_alpha_master-20250527.16.56.876022.dist-info/METADATA,sha256=Zae2C9v5oF0UwMwJlE4Rh-20v1sHU7VLHcXLDEw2lG8,1248
-certora_cli_alpha_master-20250527.16.56.876022.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
-certora_cli_alpha_master-20250527.16.56.876022.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
-certora_cli_alpha_master-20250527.16.56.876022.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_alpha_master-20250527.16.56.876022.dist-info/RECORD,,
+certora_cli_alpha_master-20250529.13.13.199542.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_alpha_master-20250529.13.13.199542.dist-info/METADATA,sha256=wiIx8AP9nrNG7LizCRwV3BhwWRJhbytc_u9sDrU3pFI,1248
+certora_cli_alpha_master-20250529.13.13.199542.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
+certora_cli_alpha_master-20250529.13.13.199542.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
+certora_cli_alpha_master-20250529.13.13.199542.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_alpha_master-20250529.13.13.199542.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +1 @@
-{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "b2040da", "timestamp": "20250527.16.56.876022", "version": "20250527.16.56.876022+b2040da"}
+{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "6c65583", "timestamp": "20250529.13.13.199542", "version": "20250529.13.13.199542+6c65583"}