Wheelodex » Projects » certora-cli

certora-cli

View on PyPI — Reverse Dependencies (0)

7.3.0	certora_cli-7.3.0-py3-none-any.whl
	certora_cli-7.3.0-py3-none-macosx_10_9_universal2.whl
	certora_cli-7.3.0-py3-none-manylinux_2_28_x86_64.whl
1.0.0	certora_cli-1.0.0-py3-none-any.whl

Wheel Details

Project:	certora-cli
Version:	1.0.0
Filename:	certora_cli-1.0.0-py3-none-any.whl
Download:	[link]
Size:	34362
MD5:	`f1864de7f43698aaeee69e20ba6e0f9f`
SHA256:	`c5bc070878a90eb5a7307791cc2e7f0eb3fdb14c02915777d05b891476755998`
Uploaded:	2020-11-26 12:08:07 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version:	2.1
Name:	certora-cli
Version:	1.0.0
Summary:	Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover
Author:	Certora
Author-Email:	support[at]certora.com
Home-Page:	https://github.com/Certora/CertoraCLI
Classifier:	Programming Language :: Python :: 3
Classifier:	License :: OSI Approved :: MIT License
Classifier:	Operating System :: OS Independent
Requires-Python:	>=3.5
Requires-Dist:	tabulate
Requires-Dist:	requests
Requires-Dist:	pycryptodome
Requires-Dist:	tqdm
Requires-Dist:	click
Description-Content-Type:	text/markdown

[Description omitted; length: 99 characters]

WHEEL

Wheel-Version:	1.0
Generator:	bdist_wheel (0.35.1)
Root-Is-Purelib:	true
Tag:	py3-none-any

RECORD

Path	Digest	Size
certora_cli/__init__.py	sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU	0
certora_cli/certoraBuild.py	sha256=mJCIvNxvoA3h-v6VnYYk4drSGT-gPwp2lpm-LRgrOzg	68777
certora_cli/certoraRun.py	sha256=VQDobGZhakkTsA9hBOqYv1Vm2E4YsG-hat46mM9Ivuc	16160
certora_cli/certoraTester.py	sha256=t7eTYn4LqSWhJRzPc9gthgvhnF-zo11JQTiuONqAjhI	5567
certora_cli/certoraUtils.py	sha256=p8nBzRgh7iMwLTS74oCQaBGuJdIJ8HXTmZe1BsO-fDs	39684
certora_cli-1.0.0.dist-info/LICENSE	sha256=6RFAy5ngsn8selL9EnKdAMOHmPaXJatmf191zIm-IAk	1064
certora_cli-1.0.0.dist-info/METADATA	sha256=bsoJWQOiaFyJ5d18Kw_6wvqzORWI79S7t882b6pDPTA	741
certora_cli-1.0.0.dist-info/WHEEL	sha256=EVRjI69F5qVjm_YgqcTXPnTAv3BfSUr0WVAHuSP3Xoo	92
certora_cli-1.0.0.dist-info/entry_points.txt	sha256=8Z2P7ot3snpKPyqD8aXs4WhG-vpIJ07KALQy9azIkLE	105
certora_cli-1.0.0.dist-info/top_level.txt	sha256=gRAmndk64_aY7KGvAPSQvAr0W-_pRiVlTC5cZr2L_zE	12
certora_cli-1.0.0.dist-info/RECORD	—	—

top_level.txt

certora_cli

entry_points.txt

[console_scripts]

certoraBuild = certora_cli.certoraBuild:main

certoraRun = certora_cli.certoraRun:main