Wheelodex » Projects » haros-plugin-rv-gen

haros-plugin-rv-gen

View on PyPI — Reverse Dependencies (0)

1.0.0 haros_plugin_rv_gen-1.0.0-py3-none-any.whl

Wheel Details

Project: haros-plugin-rv-gen
Version: 1.0.0
Filename: haros_plugin_rv_gen-1.0.0-py3-none-any.whl
Download: [link]
Size: 4774
MD5: 4ca2989df4e9c15aa207053ec921f2df
SHA256: 768ea05ba193720305697563f5af2d016223827f7be3b82c8fa7a6260d6b66b5
Uploaded: 2023-08-01 13:02:18 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: haros-plugin-rv-gen
Version: 1.0.0
Summary: HAROS plugin to enable Runtime Verification from HPL properties
Author: André Santos
Author-Email: haros.framework[at]gmail.com
Home-Page: https://github.com/git-afsantos/haros-plugin-rv-gen
Project-Url: Source, https://github.com/git-afsantos/haros-plugin-rv-gen/
Project-Url: Tracker, https://github.com/git-afsantos/haros-plugin-rv-gen/issues
License: MIT
Keywords: haros,ros,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: hpl-rv-ros (>=1.0.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: 1006 characters]

WHEEL

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

RECORD

Path Digest Size
haros_plugin_hplrv/__init__.py sha256=rUfw8RTONYSQh5IsUghNIIDKQPdDlxmHfJL7XOWuOJM 671
haros_plugin_hplrv/plugin.py sha256=hyAM5EmFK3T8Cu97Wf6UD6Fsk69Cvox521X7Gg3KXQI 3670
haros_plugin_hplrv/plugin.yaml sha256=AZ4p178q61oB9uWi9LnKhWOjJNn1FM0v0DxSSUeJ6FY 162
haros_plugin_rv_gen-1.0.0.dist-info/LICENSE sha256=SmN5t61DpK1f9yysci-wag1YZg9pl9_xTege637Cxeg 1091
haros_plugin_rv_gen-1.0.0.dist-info/METADATA sha256=8dxb9T_VW1umw_VifhYovtwu9EsCH4Vhg0eUrrVRHCc 2446
haros_plugin_rv_gen-1.0.0.dist-info/WHEEL sha256=AtBG6SXL3KF_v0NxLf0ehyVOh0cold-JbJYXNGorC6Q 92
haros_plugin_rv_gen-1.0.0.dist-info/top_level.txt sha256=GUgb3WRwehRxCTHGS_SqX4krJqMoGcH0FpUr-aIYgkk 19
haros_plugin_rv_gen-1.0.0.dist-info/RECORD — —

top_level.txt

haros_plugin_hplrv