certora-cli-alpha-master 20250527.20.54.231732__py3-none-macosx_10_9_universal2.whl → 20250529.18.27.551748__py3-none-macosx_10_9_universal2.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.20.54.231732.dist-info → certora_cli_alpha_master-20250529.18.27.551748.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250527.20.54.231732
+Version: 20250529.18.27.551748
 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 53f9b8f.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 9b1a2ca.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_alpha_master-20250527.20.54.231732.dist-info → certora_cli_alpha_master-20250529.18.27.551748.dist-info}/RECORD

@@ -43,10 +43,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
@@ -65,12 +65,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=cru57Ax-GQduUJfZMgg-SAi0tbwKPk4jKLyNy4HOL9U,170
-certora_jars/Typechecker.jar,sha256=hYgrgoWRfRTrGudPS67VOv0IwzRp2IWBW6-VOz67iK4,17139020
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=qlvM-5L24udd2nKrVchc2yoUc_3cNb-VEpZtsQpjNs8,170
+certora_jars/Typechecker.jar,sha256=5OC_a4qtXgB43ZO37vOXkPog_7NEfL-viUBhor0tXWQ,17139020
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_alpha_master-20250527.20.54.231732.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_alpha_master-20250527.20.54.231732.dist-info/METADATA,sha256=sThO3tw-QXgkX4Qpd2C5DMG30TGO2_mPcCUpKWjuUOU,1248
-certora_cli_alpha_master-20250527.20.54.231732.dist-info/WHEEL,sha256=9Ig2YBzm5cpS_YWKLeuYxVAxcKv_uDQsCzy9XJbRZ_g,110
-certora_cli_alpha_master-20250527.20.54.231732.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
-certora_cli_alpha_master-20250527.20.54.231732.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_alpha_master-20250527.20.54.231732.dist-info/RECORD,,
+certora_cli_alpha_master-20250529.18.27.551748.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_alpha_master-20250529.18.27.551748.dist-info/METADATA,sha256=CFHamvLC18PSaEv-VOcJUH2fKXvAqPb_gGYgDt3RaFk,1248
+certora_cli_alpha_master-20250529.18.27.551748.dist-info/WHEEL,sha256=9Ig2YBzm5cpS_YWKLeuYxVAxcKv_uDQsCzy9XJbRZ_g,110
+certora_cli_alpha_master-20250529.18.27.551748.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
+certora_cli_alpha_master-20250529.18.27.551748.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_alpha_master-20250529.18.27.551748.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +1 @@
-{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "53f9b8f", "timestamp": "20250527.20.54.231732", "version": "20250527.20.54.231732+53f9b8f"}
+{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "9b1a2ca", "timestamp": "20250529.18.27.551748", "version": "20250529.18.27.551748+9b1a2ca"}