certora-cli-alpha-master 20251008.9.8.448739__tar.gz → 20251008.22.19.660157__tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (87) hide show
  1. {certora_cli_alpha_master-20251008.9.8.448739/certora_cli_alpha_master.egg-info → certora_cli_alpha_master-20251008.22.19.660157}/PKG-INFO +2 -2
  2. certora_cli_alpha_master-20251008.22.19.660157/README.md +1 -0
  3. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157/certora_cli_alpha_master.egg-info}/PKG-INFO +2 -2
  4. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_jars/ASTExtraction.jar +0 -0
  5. certora_cli_alpha_master-20251008.22.19.660157/certora_jars/CERTORA-CLI-VERSION-METADATA.json +1 -0
  6. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_jars/Typechecker.jar +0 -0
  7. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/setup.py +2 -2
  8. certora_cli_alpha_master-20251008.9.8.448739/README.md +0 -1
  9. certora_cli_alpha_master-20251008.9.8.448739/certora_jars/CERTORA-CLI-VERSION-METADATA.json +0 -1
  10. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/LICENSE +0 -0
  11. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/MANIFEST.in +0 -0
  12. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_bins/__init__.py +0 -0
  13. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/Compiler/CompilerCollector.py +0 -0
  14. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py +0 -0
  15. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py +0 -0
  16. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py +0 -0
  17. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py +0 -0
  18. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py +0 -0
  19. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/Compiler/__init__.py +0 -0
  20. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/__init__.py +0 -0
  21. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraApp.py +0 -0
  22. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraBuild.py +0 -0
  23. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraBuildCacheManager.py +0 -0
  24. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraBuildDataClasses.py +0 -0
  25. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraBuildRust.py +0 -0
  26. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraBuildSui.py +0 -0
  27. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraCloudIO.py +0 -0
  28. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py +0 -0
  29. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraCollectRunMetadata.py +0 -0
  30. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraCompilerParameters.py +0 -0
  31. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraConfigIO.py +0 -0
  32. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraContext.py +0 -0
  33. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraContextAttributes.py +0 -0
  34. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraContextClass.py +0 -0
  35. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraContextValidator.py +0 -0
  36. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraContractFuncs.py +0 -0
  37. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraExtensionInfo.py +0 -0
  38. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraJobList.py +0 -0
  39. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraMiniSpecParser.py +0 -0
  40. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraNodeFilters.py +0 -0
  41. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraParseBuildScript.py +0 -0
  42. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraProjectScanner.py +0 -0
  43. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraSourceFinders.py +0 -0
  44. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraType.py +0 -0
  45. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/certoraVerifyGenerator.py +0 -0
  46. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/erc7201.py +0 -0
  47. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/splitRules.py +0 -0
  48. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/CertoraProver/storageExtension.py +0 -0
  49. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/EquivalenceCheck/Eq_default.conf +0 -0
  50. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec +0 -0
  51. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/EquivalenceCheck/Eq_mc_template.spec +0 -0
  52. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/EquivalenceCheck/Eq_sanity.conf +0 -0
  53. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/EquivalenceCheck/Eq_template.spec +0 -0
  54. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/EquivalenceCheck/__init__.py +0 -0
  55. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/EquivalenceCheck/equivCheck.py +0 -0
  56. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/EquivalenceCheck/sanity.spec +0 -0
  57. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/Mutate/__init__.py +0 -0
  58. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/Mutate/mutateApp.py +0 -0
  59. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/Mutate/mutateAttributes.py +0 -0
  60. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/Mutate/mutateConstants.py +0 -0
  61. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/Mutate/mutateUtil.py +0 -0
  62. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/Mutate/mutateValidate.py +0 -0
  63. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/Shared/ExpectedComparator.py +0 -0
  64. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/Shared/__init__.py +0 -0
  65. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/Shared/certoraAttrUtil.py +0 -0
  66. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/Shared/certoraLogging.py +0 -0
  67. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/Shared/certoraUtils.py +0 -0
  68. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/Shared/certoraValidateFuncs.py +0 -0
  69. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/Shared/proverCommon.py +0 -0
  70. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/__init__.py +0 -0
  71. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/certoraCVLFormatter.py +0 -0
  72. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/certoraConcord.py +0 -0
  73. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/certoraEVMProver.py +0 -0
  74. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/certoraEqCheck.py +0 -0
  75. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/certoraMutate.py +0 -0
  76. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/certoraRanger.py +0 -0
  77. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/certoraRun.py +0 -0
  78. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/certoraSolanaProver.py +0 -0
  79. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/certoraSorobanProver.py +0 -0
  80. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli/rustMutator.py +0 -0
  81. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli_alpha_master.egg-info/SOURCES.txt +0 -0
  82. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli_alpha_master.egg-info/dependency_links.txt +0 -0
  83. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli_alpha_master.egg-info/entry_points.txt +0 -0
  84. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli_alpha_master.egg-info/requires.txt +0 -0
  85. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_cli_alpha_master.egg-info/top_level.txt +0 -0
  86. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/certora_jars/__init__.py +0 -0
  87. {certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/setup.cfg +0 -0
{certora_cli_alpha_master-20251008.9.8.448739/certora_cli_alpha_master.egg-info → certora_cli_alpha_master-20251008.22.19.660157}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.2
2
2
  Name: certora-cli-alpha-master
3
- Version: 20251008.9.8.448739
3
+ Version: 20251008.22.19.660157
4
4
  Summary: Runner for the Certora Prover
5
5
  Home-page: https://pypi.org/project/certora-cli-alpha-master
6
6
  Author: Certora
@@ -39,4 +39,4 @@ Dynamic: requires-dist
39
39
  Dynamic: requires-python
40
40
  Dynamic: summary
41
41
 
42
- Commit 9d3b45e. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
42
+ Commit bf17ec7. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
certora_cli_alpha_master-20251008.22.19.660157/README.md ADDED
@@ -0,0 +1 @@
1
+ Commit bf17ec7. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
{certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157/certora_cli_alpha_master.egg-info}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.2
2
2
  Name: certora-cli-alpha-master
3
- Version: 20251008.9.8.448739
3
+ Version: 20251008.22.19.660157
4
4
  Summary: Runner for the Certora Prover
5
5
  Home-page: https://pypi.org/project/certora-cli-alpha-master
6
6
  Author: Certora
@@ -39,4 +39,4 @@ Dynamic: requires-dist
39
39
  Dynamic: requires-python
40
40
  Dynamic: summary
41
41
 
42
- Commit 9d3b45e. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
42
+ Commit bf17ec7. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
certora_cli_alpha_master-20251008.22.19.660157/certora_jars/CERTORA-CLI-VERSION-METADATA.json ADDED
@@ -0,0 +1 @@
1
+ {"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "bf17ec7", "timestamp": "20251008.22.19.660157", "version": "20251008.22.19.660157+bf17ec7"}
{certora_cli_alpha_master-20251008.9.8.448739 → certora_cli_alpha_master-20251008.22.19.660157}/setup.py RENAMED
@@ -3,11 +3,11 @@ import setuptools
3
3
 
4
4
  setuptools.setup(
5
5
  name="certora-cli-alpha-master",
6
- version="20251008.9.8.448739",
6
+ version="20251008.22.19.660157",
7
7
  author="Certora",
8
8
  author_email="support@certora.com",
9
9
  description="Runner for the Certora Prover",
10
- long_description="Commit 9d3b45e. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
10
+ long_description="Commit bf17ec7. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
11
11
  long_description_content_type="text/markdown",
12
12
  url="https://pypi.org/project/certora-cli-alpha-master",
13
13
  packages=setuptools.find_packages(),
certora_cli_alpha_master-20251008.9.8.448739/README.md DELETED
@@ -1 +0,0 @@
1
- Commit 9d3b45e. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
certora_cli_alpha_master-20251008.9.8.448739/certora_jars/CERTORA-CLI-VERSION-METADATA.json DELETED
@@ -1 +0,0 @@
1
- {"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "9d3b45e", "timestamp": "20251008.9.8.448739", "version": "20251008.9.8.448739+9d3b45e"}