Wheelodex » Projects » polywit » polywit-1.0.0-py3-none-any.whl

polywit

View on PyPI — Reverse Dependencies (0)

1.0.0 polywit-1.0.0-py3-none-any.whl

Wheel Details

Project: polywit
Version: 1.0.0
Filename: polywit-1.0.0-py3-none-any.whl
Download: [link]
Size: 16650
MD5: 353ca029bfc34448e6ae3d5488d24edf
SHA256: 202ac54595c557ab0f856eb5f80645845bf7c282cfc8c64cf83a9230d4a829f7
Uploaded: 2022-11-20 15:00:09 +0000

dist-info

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

METADATA

Metadata-Version: 2.1
Name: polywit
Version: 1.0.0
Summary: A poly-language execution-based violation-witness validator.
Author: Joss Moffatt
Home-Page: https://github.com/polywit/polywit
Project-Url: Issue Tracker, https://github.com/polywit/polywit/issues
Requires-Python: >=3.10
Requires-Dist: networkx (>=2.8.8)
Requires-Dist: javalang (>=0.13.0)
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 3107 characters]

WHEEL

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

RECORD

Path Digest Size
polywit/__init__.py sha256=cv7DlweuZoivMVY4ETccM5JKBR9D1XLHIYqLlqr603g 49
polywit/__main__.py sha256=hfZSQWhUNYdYY7TpHgsS-LHZr4unJ0uvp9ltmHpwUFM 2461
polywit/base/__init__.py sha256=Z6Iwo11ZwJBfxwufOqnS-L8CXwPw384IEQlOTL4miDE 307
polywit/base/file_processors.py sha256=ZX-voLCGPJrujyCoPio7Rlh5zv9C9rWKV-OORZjzkRY 4176
polywit/base/test_harness.py sha256=Wzf31kClOcfad4nVvd1BRKsofhqk-eFpzZg9UJw0Fxk 3690
polywit/base/validator.py sha256=TGLXRe-wRPjMVSSxc3xnMpgdpM0Ee40bnpNHzvxEOsQ 2024
polywit/java/__init__.py sha256=CTVRaRttwF4Zs82eC6m5mSh_TNby7V-ZrlbbnwL6s0w 295
polywit/java/file_processors.py sha256=qFB9fvfs7nD1uB0cbTQVcaEKisj9lVubU1LYuK8i4bY 9255
polywit/java/test_harness.py sha256=mmcZaKtKIEXtng5UR8vXzJTYKk0E3_an-kuf-ucs7qw 4312
polywit/java/validator.py sha256=mGMW55MSV-fGsc9uH-NgE4YhtiRW2hIiU0hUAZjts-g 1151
polywit/java/resources/Test.java sha256=sut4IryfvxvbsUeedCIY7oBwVoA4x2HW9zfrN-OpnIE 255
polywit/java/resources/Verifier.java sha256=QyFeQaD-n_F0cQMKdPdci-zoPjxipxmE8RCzfzWDurw 1619
polywit/java/resources/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
polywit/types/__init__.py sha256=lugc8wb57sHpbednESZyEDfgPAHUPEMBMYCV6rZd8t4 99
polywit/types/aliases.py sha256=UZ4wSTzYS_zlm0ek0lm91RLnE27rLbl9fSQogJUTTHI 120
polywit/utils/__init__.py sha256=2ofEgdjyK61NdFin952lfguoYAgrKl0u2fuT5XPmEnM 99
polywit/utils/witness_utils.py sha256=aMGVKljsiH9mYF94NYtEIrei1VKyzxByFVee2Ul6NlU 591
polywit-1.0.0.dist-info/LICENSE sha256=y2xIBHI-V3HVHhABzU06jLdfe3c5k2R49JEC0d-xEBQ 1064
polywit-1.0.0.dist-info/METADATA sha256=DFV7z1WTInsG2-YyE5P6L18r5QHQQ-jrA9tdcXrPyyc 3521
polywit-1.0.0.dist-info/WHEEL sha256=2wepM1nk4DS4eFpYrW1TTqPcoGNfHhhO_i5m4cOimbo 92
polywit-1.0.0.dist-info/entry_points.txt sha256=B7tn9XYKVTi_9M29K7KfcXrHV2DVVdwhorcIIt6TTII 50
polywit-1.0.0.dist-info/top_level.txt sha256=fm7yox23ikGPq0gFgY8uSAkzP88EfDTOc6RfuaXqbG4 8
polywit-1.0.0.dist-info/RECORD — —

top_level.txt

polywit

entry_points.txt

[console_scripts]
polywit = polywit.__main__:main