Wheelodex » Projects » hpl-rv » hpl_rv-1.2.0-py3-none-any.whl

hpl-rv

View on PyPI — Reverse Dependencies (1)

1.2.0 hpl_rv-1.2.0-py3-none-any.whl

Wheel Details

Project: hpl-rv
Version: 1.2.0
Filename: hpl_rv-1.2.0-py3-none-any.whl
Download: [link]
Size: 53933
MD5: 22888866c557d96d882d08f94d467a23
SHA256: eece5241972059660f0d7a7ffa6d17c1e63000bd294e8c0e73351c606ca53b4e
Uploaded: 2023-11-06 15:29:49 +0000

dist-info

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

METADATA

Metadata-Version: 2.1
Name: hpl-rv
Version: 1.2.0
Summary: Tools to enable Runtime Verification from HPL properties
Author: André Santos
Author-Email: haros.framework[at]gmail.com
Home-Page: https://github.com/git-afsantos/hpl-rv
Project-Url: Source, https://github.com/git-afsantos/hpl-rv/
Project-Url: Tracker, https://github.com/git-afsantos/hpl-rv/issues
License: MIT
Keywords: runtime verification,runtime monitoring,code generation
Classifier: Development Status :: 3 - Alpha
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 :: Libraries
Classifier: Topic :: Software Development :: Quality Assurance
Requires-Python: >=3.8, <4
Requires-Dist: attrs (>=23.1.0)
Requires-Dist: bottle (>=0.12)
Requires-Dist: bottle-websocket (>=0.2)
Requires-Dist: gevent (>=23.0)
Requires-Dist: hpl-specs (<2.0.0)
Requires-Dist: Jinja2 (>=3.1.0)
Requires-Dist: pytest; extra == "dev"
Requires-Dist: tox; extra == "dev"
Provides-Extra: dev
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 4298 characters]

WHEEL

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

RECORD

Path Digest Size
hplrv/__init__.py sha256=tbdsSOsxbO0qyo08MsihPesrgpuX3Ns7CyhSKmW2Avw 640
hplrv/__main__.py sha256=Zhs2VZxxnOFNBxWEzA5_w0klLGzsTWKDzowvgp85D_E 834
hplrv/cli.py sha256=VdMnqAY9CpMNGjQCK2TcSlZ4X6pL_BUJB-CgNXGjrwM 3829
hplrv/gen.py sha256=Nh6T_RbcD3AqiPqEsPaetTAFbJlDb2ofhzaqntDgUZE 11712
hplrv/gui.py sha256=e_946hkVVuBr05ccwVLX8obHryAuUKNl1KqMHYfjmlQ 10681
hplrv/monitors.py sha256=HyFIEfVJTxggTxSkVtujpvzPs27dHsaJfjZ0yVqu_cE 15313
hplrv/play.py sha256=4HlpgUw-5C6qwEs20v2N3N5MTG9l9TFpPi0c6RCC4xU 5657
hplrv/traces.py sha256=Ub4xosRzaxWlmUKmZyYkblH5NzwW_IGUpysRnBPe88M 3809
hplrv/dashboard/dashboard.js sha256=l5-h4cJLLAmOKF8Hbl0dqSnoTfVP_Qmwd8Q688Nr0pI 13072
hplrv/dashboard/index.html sha256=VyFT3GU4qH0PZEqrDa5vZtJxYp9n2kNBTRDk0H-6WOM 4997
hplrv/dashboard/style.css sha256=u0RIPcA_OILIrfE44GP_hhilWLzI5kYN4vdw4ELhGOA 3967
hplrv/templates/js/absence.js.jinja sha256=lQGHa6a1eoXW_wr56zOsIAlW_Hua0piEgLvdpyqDeUw 2329
hplrv/templates/js/common.js.jinja sha256=mQN4X53jr_OehL1_MMr2mX_sumb6rIpi8UQCJUpcp-o 9273
hplrv/templates/js/existence.js.jinja sha256=97-2LP6tzjyaBADRSIu59ybIcywji0qTiPlqAJLyTPk 2470
hplrv/templates/js/expression.js.jinja sha256=Lvlrw5YN3yAWdXxQSKS-6K6B-maaBDJTxCLzrFB19mo 431
hplrv/templates/js/library.js.jinja sha256=YDxibwQMThSVKvInDnuh8d27erhOEeGQn8QyynhZmVo 5371
hplrv/templates/js/predicates.js.jinja sha256=vGWDAeME8IIPb9fGN4zlocHvaFk_x2wFt_zqlF_KEmY 11576
hplrv/templates/js/prevention.js.jinja sha256=x_ZxufB1Qbttxch87YGtbsRhIQCnwIocZNJmy3k5y8g 3967
hplrv/templates/js/requirement-refs.js.jinja sha256=vmZm8ggF6DUH7QnGANeN9leDkVDxDkrXlQ_RO6lFx_o 3834
hplrv/templates/js/requirement-simple.js.jinja sha256=v3gRb8JsoCOX6gY28_-gU052ZTJ8F1PLenjK9JC5TRo 3749
hplrv/templates/js/response.js.jinja sha256=F4HlhiPiszbGoKlO1avUVHlJqFa5oMyHX7DSg0Gqq4I 4306
hplrv/templates/py/absence.py.jinja sha256=rrA7KrS6j6h6VPH1BRQWlmA4fs6PP1YZsS8Ifr7tQ0Q 2169
hplrv/templates/py/common.py.jinja sha256=wp9XDnb4-Em6rC4jPF33jaWOZaF7Oe-o4OREXZih8uQ 10537
hplrv/templates/py/existence.py.jinja sha256=1NFbpsSIdvsnr10c5MvXZfTjwy5PqTTxrjIAePF0FvM 2329
hplrv/templates/py/expression.py.jinja sha256=V5dbqSvBe3JJbk72HGBdv4DOSvI36o5XkP4p3m-06ms 431
hplrv/templates/py/library.py.jinja sha256=CMZsPmse3p42VMiypMW1-pcZFRarsv-hk8G8Gqe5uAA 9570
hplrv/templates/py/predicates.py.jinja sha256=Ld821NwDZDVzoKumEPRUIvgPJp4IhpqboquLeGNyPD0 18513
hplrv/templates/py/prevention.py.jinja sha256=EzUBDFDDShOcKI3KGHieqEkROHF35Q4OrM8CGRgrz00 3567
hplrv/templates/py/requirement-refs.py.jinja sha256=5v9kO_2itWCaX8ryZ-WVk-mqmBmI4liJUedcVr9rYMQ 3477
hplrv/templates/py/requirement-simple.py.jinja sha256=O-70QLuTgrT3xzszNtOhBK0su3LTuf-mTNYW-KHzTQc 3553
hplrv/templates/py/response.py.jinja sha256=XQHTMy-iOAtK5FY5myiPjvipxRuyGNVXJDEIqznLKII 4099
hpl_rv-1.2.0.dist-info/LICENSE sha256=g9yJPOzPTL7hHwNxeg4Qp813m0QLVAOcMFGF16T_IeA 1070
hpl_rv-1.2.0.dist-info/METADATA sha256=ceiEwJwj2S9GmR1hMqp9_1B61NNq08Y5RUNK-VJIylI 5755
hpl_rv-1.2.0.dist-info/WHEEL sha256=Xo9-1PvkuimrydujYJAjF7pCkriuXBpUPEjma1nZyJ0 92
hpl_rv-1.2.0.dist-info/entry_points.txt sha256=j3U1uUTgcKqmFaLdn3PJojg4CBOaa3-WkBHDrLDWISM 42
hpl_rv-1.2.0.dist-info/top_level.txt sha256=l1ChIDtswrJB5G2XIfJKXJSSVLD4OE1eJYbWnK01xGs 6
hpl_rv-1.2.0.dist-info/RECORD — —

top_level.txt

hplrv

entry_points.txt

[console_scripts]
hpl-rv = hplrv.cli:main