Wheelodex » Projects » cbmc-viewer

cbmc-viewer

View on PyPI — Reverse Dependencies (0)

3.10 cbmc_viewer-3.10-py3-none-any.whl

Wheel Details

Project: cbmc-viewer
Version: 3.10
Filename: cbmc_viewer-3.10-py3-none-any.whl
Download: [link]
Size: 71254
MD5: 8290a0aec6a9eab087c49dd3ebe64ffb
SHA256: f17368bf14da35b411a0766e4e4664619cf71e653bf13b85d76bd53a562fdd88
Uploaded: 2024-10-01 09:54:45 +0000

dist-info

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

METADATA

Metadata-Version: 2.1
Name: cbmc-viewer
Version: 3.10
Summary: CBMC viewer produces a browsable summary of CBMC findings
Author: Mark R. Tuttle
Author-Email: mrtuttle[at]amazon.com
Home-Page: https://github.com/model-checking/cbmc-viewer
License: Apache License 2.0
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.7
Requires-Dist: jinja2
Requires-Dist: setuptools
Requires-Dist: voluptuous
Description-Content-Type: text/markdown
License-File: LICENSE
License-File: NOTICE
[Description omitted; length: 3593 characters]

WHEEL

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

RECORD

Path Digest Size
cbmc_viewer/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
cbmc_viewer/cbmc_viewer.py sha256=tPjhlqHaVrHajPWdwBPprUqXJJH0BjO055czxCIH5_4 353
cbmc_viewer/configt.py sha256=dA91GZo85sDhu5glFkgxg8Fi2nZxyb6EaiLhGvEVe7o 896
cbmc_viewer/coveraget.py sha256=HGjb1GhZNyvjwl4egnrtv6V-jE_mc5Led602QBzlGno 22936
cbmc_viewer/ctagst.py sha256=f5I5GrlxkP2nYOhlTr2o3GJdvLkSbvZzcfYZypUBwdE 6406
cbmc_viewer/filet.py sha256=WhJqKWhNkC6iq34BMpla7c3vdT4eJn6uDUiyKUsu9tM 1978
cbmc_viewer/loopt.py sha256=74DP2IcOmz9H9SbOPoGy2hQYbn_EWM1OpONvp6xRr4Y 9137
cbmc_viewer/markup_code.py sha256=iQplMbO0at9xcIvcU-EvEY88-2m9v81xxjE6msqPe2Y 7804
cbmc_viewer/markup_link.py sha256=BY9d7t5-_tLotDGphoq30K0vg5gNcnZ7QhYCqcfmUsU 3968
cbmc_viewer/markup_summary.py sha256=9Tdo4q7EPoLyCEbWrGrovPLArEIYP4MCDKIVxNvqm7I 8253
cbmc_viewer/markup_trace.py sha256=hD8qDfxEHg8sRd_M3NUEF7N2d99shJPDEU6PAJSSm7E 7197
cbmc_viewer/optionst.py sha256=Jvc6rjvPUnTjs-ejVlkCBVvQ6sEJiVe67953xcQpyM0 16535
cbmc_viewer/parse.py sha256=Y-O2RxoMjR4EBuNWjgbm-h8AomsCncKNHam74VJZI30 1388
cbmc_viewer/propertyt.py sha256=DV4WKWhbvlJo392IHjmVzehwMisw7kTWSi6Hj6LJmZE 7401
cbmc_viewer/reachablet.py sha256=edsFg1Zk5LyeIQguSE14j3ZN56Cf3jQssijJh7VLI5U 7478
cbmc_viewer/report.py sha256=ihWnGBljq-FNKXNa8ReVRZgSJOPSECynpiDkMWdie2w 2103
cbmc_viewer/resultt.py sha256=UiWaCRT6zA8WbgGKZ8SSZL-pIT2dUFd91ATBZo57SUQ 17441
cbmc_viewer/runt.py sha256=vvfA6eJyF5HTmLUCFDB5sLG50ghdeBZJOAND3nGHCfU 3101
cbmc_viewer/sourcet.py sha256=og69QIZrni3xC1lAFuQDocipgSQ6z8R_YX_29wx7GaA 18918
cbmc_viewer/srcloct.py sha256=4P0ncXQlIyyugXGPZfK0qelECTgcGeVoFe7xGy68bfU 9307
cbmc_viewer/symbol_table.py sha256=uyuruSM_sPPM3m1s6gcAYPjxLn90j76X_ojkfMedcZs 6564
cbmc_viewer/symbolt.py sha256=y8Svbt3dt7HKdLR2tUBOTdGdJGf7lVNhP7lWG01l8v4 9973
cbmc_viewer/templates.py sha256=e8SHEIPoZQ1cAar0_l77Zmv-f21uKGnKN_1xc1fr9sI 1413
cbmc_viewer/tracet.py sha256=77DgKc9X8BHek9GTC5zK_fwMv7EEEUckl0tcmuwFMtU 24191
cbmc_viewer/util.py sha256=lYJWmeEDauxV0mZi-eBetMEsBWPRknTYHC4QLujvm1c 2295
cbmc_viewer/version.py sha256=7GvA2ULaV6V5B0jy8V2sMKGsUG1eyOhZ56fjhTqDir4 323
cbmc_viewer/viewer.css sha256=7lhKojetEWia8Qk7CzEHk93wR5_iotUvyNOyadX4MEU 1557
cbmc_viewer/viewer.js sha256=nFf726FR0ngTOWb5Omh4fHnEa4PQsQTAkvCWVG6gRrU 2507
cbmc_viewer/viewer.py sha256=7EANkOgtoB7ca2_bk-ykEXZ_RpMPNq8EHIKHw0mc3-U 4116
cbmc_viewer/etc/bash_completion.d/cbmc-viewer.sh sha256=OrDk96knwwG_VaLNGlbnWnRTWq9BeXgiWaY3eHhAXpU 4213
cbmc_viewer/templates/code.jinja.html sha256=1kDBfAliAzmqWoM3gz0EIaL-JuA4c4pouHiedKZqbNY 316
cbmc_viewer/templates/link.jinja.html sha256=UFe97ud6fNITrbOp6SK0bnAUuX1IfvQH9au9V92KTWg 1499
cbmc_viewer/templates/summary.jinja.html sha256=Mpu2-ijvf4IkeAMRi3GdBCuRMXfhBrfDl4AMSllhWZE 4623
cbmc_viewer/templates/trace.jinja.html sha256=jxRA3J94fO9Vq5V7rBXbnvBN090qYAjX0uRVPEM58ho 2403
cbmc_viewer-3.10.dist-info/LICENSE sha256=CeipvOyAZxBGUsFoaFqwkx54aPnIKEtm9a5u2uXxEws 10142
cbmc_viewer-3.10.dist-info/METADATA sha256=P-PvqnOvASxJPVKpCin6y_x5VDFUuO6djh6eH_D6ZPg 4195
cbmc_viewer-3.10.dist-info/NOTICE sha256=hykFW1iXUuLa8R33ME7Woa2Zzh_1HJ2Di5MNUXxdsyQ 87
cbmc_viewer-3.10.dist-info/WHEEL sha256=GV9aMThwP_4oNCtvEC2ec3qUYutgWeAzklro_0m4WJQ 91
cbmc_viewer-3.10.dist-info/entry_points.txt sha256=615tpplCmCBQDpEmLZZxD9L-9Crd6JaENNE4QNNLeug 61
cbmc_viewer-3.10.dist-info/top_level.txt sha256=ydk1V8g8i-w93Rvi7by1Za8kkzFJoxmi85PUwogVYCQ 12
cbmc_viewer-3.10.dist-info/RECORD — —

top_level.txt

cbmc_viewer

entry_points.txt

[console_scripts]
cbmc-viewer = cbmc_viewer.cbmc_viewer:main