Wheelodex » Projects » python-liv » python_liv-0.1.dev0-py3-none-any.whl

python-liv

View on PyPI — Reverse Dependencies (0)

0.1.dev0 python_liv-0.1.dev0-py3-none-any.whl

Wheel Details

Project: python-liv
Version: 0.1.dev0
Filename: python_liv-0.1.dev0-py3-none-any.whl
Download: [link]
Size: 17841
MD5: 84969ab78da70e437153b048d6b29d08
SHA256: f93e91b7d62c66cba8398d2e2d847f6326bd2eff4f68d61232857da44abaf115
Uploaded: 2023-02-28 15:10:58 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · zip-safe

METADATA

Metadata-Version: 2.1
Name: python-liv
Version: 0.1.dev0
Summary: Generating verification conditions out of C programs.
Author: Martin Spiessl
Home-Page: https://gitlab.com/sosy-lab/software/liv
Project-Url: Documentation, https://gitlab.com/sosy-lab/software/liv/doc
Project-Url: Changelog, https://gitlab.com/sosy-lab/software/liv/CHANGELOG.md
Project-Url: Issue Tracker, https://gitlab.com/sosy-lab/software/liv/issues
License: Apache-2.0
Keywords: verification,validation
Classifier: Development Status :: 1 - Planning
Classifier: Environment :: Console
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Operating System :: POSIX :: Linux
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Topic :: Software Development
Platform: Linux
Requires-Dist: PyYAML
Requires-Dist: coveriteam
Requires-Dist: graphviz
Description-Content-Type: text/markdown
[Description omitted; length: 64 characters]

WHEEL

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

RECORD

Path Digest Size
liv/__init__.py sha256=6whtJaQQYQh6jrQhGIiMasRbSkD7lE0LfFTaPHZUO2E 24
liv/ast.py sha256=yUlY7cSGRTrTltj2eEVzMW58Oc4_gP46IPF6jPPmxqs 2146
liv/blocks.py sha256=kFl_2OlthkDZJ6rpBEkL6FZKibSZykMxP2B-iPHhgQ0 4412
liv/compat.py sha256=2u8-Dy1AltcnftqfTdnNgEPRsSXPkGejLLSf1eQiFS8 1468
liv/invariant.py sha256=EQOdhqNyuJQwNCS5gCKDhD-pVT4fS0vH8kNZ_g98TUU 660
liv/labels.py sha256=N8vl9Qcl77x_lh9JcpZsLWSuNMM1jgdNXpzjYfTIS2o 621
liv/liv.py sha256=EP-Lf3TQZvKFzODx588nOfPvOQs-DFJxd5Kc8nMoKsE 5733
liv/preprocess.py sha256=corIqsDv2uVFWoyh7UYBA9BggQZT1wgmJuh4kr7IP78 3864
liv/programgeneration.py sha256=Zw2QzJ0OSkRi5Z1ULz2GcgI18Lxv24ZU7hhDP2aLvrk 7172
liv/scope.py sha256=Vnb2tyJy4Srwp0g9rVBPuPkNn8RIu9QST0RcCtT1BMo 3023
liv/util.py sha256=dA1NULHj2baKn1YLjG6xM4XRC4z3B9VH4imWSPfvBis 903
liv/verifier.py sha256=zfxLBPT0iAZIvq3mZJz6yLvviWlKhJK3PKUJXuFUkx4 1241
liv/visualization.py sha256=gHJK2XqXN8Y8VuuFieQSEBP7_az73nvnEdMrdaWvfI0 1160
python_liv-0.1.dev0.dist-info/Apache-2.0.txt sha256=y16Ofl9KOYjhBjwULGDcLfdWBfTEZRXnduOspt-XbhQ 11325
python_liv-0.1.dev0.dist-info/METADATA sha256=hdcLEtzmRcrjBazrNqLH3Eptm4Lo1qt6BCYH8mIhoWA 1009
python_liv-0.1.dev0.dist-info/WHEEL sha256=2wepM1nk4DS4eFpYrW1TTqPcoGNfHhhO_i5m4cOimbo 92
python_liv-0.1.dev0.dist-info/top_level.txt sha256=bEAjKLCaeWL4jpoqn-6iX3YpOmIJHze6xlyQjkShPWU 4
python_liv-0.1.dev0.dist-info/zip-safe sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs 1
python_liv-0.1.dev0.dist-info/RECORD — —

top_level.txt

liv

zip-safe