hpl-specs

View on PyPIReverse Dependencies (6)

1.4.0 hpl_specs-1.4.0-py3-none-any.whl

Wheel Details

Project: hpl-specs
Version: 1.4.0
Filename: hpl_specs-1.4.0-py3-none-any.whl
Download: [link]
Size: 42891
MD5: ed99ba445e436a07fadee079ff06ecda
SHA256: 359b0d269c61b3d40069cbc418e07e590dcb33e87ecf01138daefdb3dc2903c5
Uploaded: 2023-11-20 10:44:12 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: hpl-specs
Version: 1.4.0
Summary: High-level Property Specification Language
Author: André Santos
Author-Email: haros.framework[at]gmail.com
Home-Page: https://github.com/git-afsantos/hpl-specs
Project-Url: Source, https://github.com/git-afsantos/hpl-specs/
Project-Url: Tracker, https://github.com/git-afsantos/hpl-specs/issues
License: MIT
Keywords: safety,liveness,property specification,specification language,parser,parsing,ast
Classifier: Development Status :: 5 - Production/Stable
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Topic :: Scientific/Engineering
Classifier: Topic :: Software Development
Classifier: Topic :: Software Development :: Compilers
Classifier: Topic :: Software Development :: Libraries
Classifier: Topic :: Software Development :: Quality Assurance
Requires-Python: >=3.8, <4
Requires-Dist: attrs (~=23.0)
Requires-Dist: lark (~=1.0)
Requires-Dist: typeguard (~=4.1)
Requires-Dist: hypothesis[lark] (~=6.82); extra == "dev"
Requires-Dist: pytest; extra == "dev"
Requires-Dist: tox; extra == "dev"
Provides-Extra: dev
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 1951 characters]

WHEEL

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

RECORD

Path Digest Size
hpl/__init__.py sha256=SkQqrJe7TAe8iYG7gWO0FnFF1sD0cKsXouwT7iNj6Mc 638
hpl/__main__.py sha256=y1vDiRIXGsZJxYz8kw9kEjt1d46S8tBGmsSRSRChidE 832
hpl/_unused.py sha256=SQIik8Zc43sj8Y7ZyPASlf-GsfKitAyu8Tw0_AsFy5E 1431
hpl/cli.py sha256=VWdLp_yiXTPvinSkXpJ1p97HqALJpdW1VFURNGc8G9g 4908
hpl/errors.py sha256=LyPkMAcSkLstuPF3y3uEtX-4qJX0pwTl83Lqr8BVY6o 2508
hpl/grammar.py sha256=2g-VF2Wzb-qJ3fVwHUt2ZXJJmlbAk2FKayKRBEPcNpg 7110
hpl/parser.py sha256=ZSf3qhFZVEvPjf3qb06NEsW3_CVafz6dDbGMJ9ANBjI 12880
hpl/rewrite.py sha256=H8tikrI4qLAXjzs2QrBcNOgc80E5jOqRF4dn1XVZ28M 44018
hpl/types.py sha256=JUHebYvKFxCUDTjsVmpPoytU8CEdr57tJyJMjcQVX1o 9878
hpl/ast/__init__.py sha256=X2ZwsoB5j3Dei9eL8vVHKy9_HD7NA3cYD5mKR3Hj1zs 1392
hpl/ast/_unused.py sha256=oRZH9vRGKFHGwSasPbDQeIMk_Ps6ZLO5tqjyma9Qiig 13148
hpl/ast/base.py sha256=vVish6_MAyM0wGpNpLe6mWkgm6dFfNacE03DER3CFYY 1923
hpl/ast/events.py sha256=SZSs8DoRcj-RAeVaDqw_D73N02UGzfLKIlroh1DbO0I 6299
hpl/ast/expressions.py sha256=xknazt4WLCFSDG2dsATwSTHj755fuZ3L0XPJyYBmHF4 49463
hpl/ast/predicates.py sha256=dRGUC-VvrgBjc_Sh0J9hgrmP6v4XyRC5b9Z8Oxd_81Q 9311
hpl/ast/properties.py sha256=qI4nv5b3DbJf37b_72m0zUFAiPsZUZjiNWJ_W7SnetE 14222
hpl/ast/specs.py sha256=gBvGu53xrXfsTNQQpqSWzrGSxuB6JWVgf-qEl2Dx91w 1063
hpl/grammars/files.lark sha256=-fJKgnPNg7tmVVtrbFW83CyjGuDpBHXab9XoE_0g9Rs 154
hpl/grammars/predicates.lark sha256=Wj5vIDzPUePrmbwHYwyKCn7DFTGvY-g5mpxqKRWTvZ0 1499
hpl/grammars/properties.lark sha256=J3lWHSbO8xiOhwcrt3RDely6EQc5vGecJxhDG8RQYBQ 1253
hpl/grammars/tokens.lark sha256=mKV0tA4l3L4WuaMIJg2kFfo-F3iDO43Md4UTaNhDH58 1402
hpl_specs-1.4.0.dist-info/LICENSE sha256=g9yJPOzPTL7hHwNxeg4Qp813m0QLVAOcMFGF16T_IeA 1070
hpl_specs-1.4.0.dist-info/METADATA sha256=EaPNLsVX9X9CRulrZP01EDqbVlRABlbrHRzrjz8Y1jk 3456
hpl_specs-1.4.0.dist-info/WHEEL sha256=Xo9-1PvkuimrydujYJAjF7pCkriuXBpUPEjma1nZyJ0 92
hpl_specs-1.4.0.dist-info/entry_points.txt sha256=0M87H0kfOegyX0qoE8m3FSxprOxAtg0jJW2q0d5RkQY 37
hpl_specs-1.4.0.dist-info/top_level.txt sha256=dfsZv96csd0Jydc1EN1TymaZAmdEFdFVby31Dnk63Gk 4
hpl_specs-1.4.0.dist-info/RECORD

top_level.txt

hpl

entry_points.txt

hpl = hpl.cli:main