horus-compile

View on PyPIReverse Dependencies (0)

0.0.6.13 horus_compile-0.0.6.13-py3-none-any.whl

Wheel Details

Project: horus-compile
Version: 0.0.6.13
Filename: horus_compile-0.0.6.13-py3-none-any.whl
Download: [link]
Size: 31813
MD5: f1a3919e3031dc71fd1c6f36dfb20876
SHA256: ef6ae113aa073063f486d05411eb39e93fa35dcc956b2bd4ad7089aaaa87c247
Uploaded: 2023-03-02 12:59:48 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: horus-compile
Version: 0.0.6.13
Summary: Use formally verified annotations in your Cairo code
Author: Nethermind
Author-Email: hello[at]nethermind.io
Maintainer: Ganesh Tiwari
Maintainer-Email: ganesh[at]nethermind.io
License: APACHE LICENSE, VERSION 2.0
Classifier: License :: OSI Approved :: Apache Software License
Classifier: License :: Other/Proprietary License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.7
Requires-Python: >=3.7,<3.10
Requires-Dist: cairo-lang (==0.10.1)
Requires-Dist: eth-utils (<2.0.0,>=1.2.0)
Requires-Dist: lark (<2.0.0,>=1.1.4)
Requires-Dist: marshmallow (<4.0.0,>=3.15.0)
Requires-Dist: marshmallow-dataclass (<8.5.4,>=7.1.0)
Requires-Dist: z3-solver (<5.0.0,>=4.8.15)
Description-Content-Type: text/markdown
[Description omitted; length: 1994 characters]

WHEEL

Wheel-Version: 1.0
Generator: poetry-core 1.5.1
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
horus/__init__.py sha256=801xH_hPXLic-zXY3fcVSj0DRfSyg4vMfnZyid38N-U 25
horus/compiler/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
horus/compiler/allowed_syscalls.py sha256=1Fi9a9t7Ct24n0F8mJ9CXO5viKKXFvHwu9jHwOtoDwg 347
horus/compiler/code_elements.py sha256=UjYA-v_efLzBRWHBNtJjGAEwfnvxuCoAkqI002QiDX0 4780
horus/compiler/contract_definition.py sha256=zPh6qPphLCXjE4_bx4brviFKRcjD7dvfN2pPiF6ob9I 4201
horus/compiler/horus.ebnf sha256=O8dfJATCvYIgfF6zE6EwkMDCFeszxtA2_M5lYfNJFvk 2392
horus/compiler/horus_compile.py sha256=bWxn9aY_0bc0gwoMy9jRkuuOaczBzRSpi5F7pKnTNIY 14652
horus/compiler/parser.py sha256=kD33HpR-RROki4OVpW0yiwymYgql3B7p85g2x3PtqlY 4054
horus/compiler/parser_transformer.py sha256=JWDzWjrjVSJWmUqsDA0o_UDvNPuYRGNYZbEw8aqhIRw 6950
horus/compiler/preprocessor.py sha256=LFzBsA5l7Gf8QmoofvAjzPk3-nrjGsx5z81Tg39vATA 16146
horus/compiler/type_checker.py sha256=ck-Zg0DJy8uBt6eTo-MqkLYAUcyvGWycM1itENrXFoQ 19311
horus/compiler/var_names.py sha256=l-SlPzx9pFbxNnP-6Y68r-8BH9OIzTpum5lWc1CjXhM 489
horus/compiler/z3_transformer.py sha256=G5Y1FdsMKZth8htirzHexpbBhjWdpt19CDr-S7FTVDM 17657
horus/horus_error.py sha256=W3JyhQhbWrY8yrzlgS2il-SU_5skLuauOOUS5Gpynk4 93
horus/scripts/horus-compile sha256=Jc7cZnXz9FdTO0-hydkk5VAi_IHIMgEk7zFrZ25pyCU 207
horus/utils.py sha256=FTVbD3Jn5TYazkawwAld636nfOukeONtqbA--Ho-WEY 1121
horus_compile-0.0.6.13.dist-info/LICENSE sha256=UNFrsVR6nXI8-vjDEFB1AUtztmY41vTFQf8AgVMtIOQ 23886
horus_compile-0.0.6.13.dist-info/METADATA sha256=a5S1nd_pSLhteVUmiGOe6lPuTOP4yVCk-KZ0EZ6JCiM 2959
horus_compile-0.0.6.13.dist-info/WHEEL sha256=kLuE8m1WYU0Ig0_YEGrXyTtiJvKPpLpDEiChiNyei5Y 88
horus_compile-0.0.6.13.dist-info/entry_points.txt sha256=is80DyHn1FT3vO_d52klQfdOFgFXOmeCxjX38XYDIBQ 66
horus_compile-0.0.6.13.dist-info/RECORD

entry_points.txt

horus-compile = horus.compiler.horus_compile:run