frail

View on PyPIReverse Dependencies (0)

0.0.3 frail-0.0.3-py3-none-any.whl

Wheel Details

Project: frail
Version: 0.0.3
Filename: frail-0.0.3-py3-none-any.whl
Download: [link]
Size: 12126
MD5: 661159806f8f382fbed3ad4827cc8072
SHA256: 5a99c67bfb3ee6f3e5aee8eacf4bd495e7182cfffd11369f60f5ee5660a2f34e
Uploaded: 2021-01-12 22:27:58 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: frail
Version: 0.0.3
Summary: Create and prove equivalence of affine indexing hardware using recurrence relations encoded in scans
Maintainer: David Durst
Maintainer-Email: davidbdurst[at]gmail.com
Home-Page: https://github.com/David-Durst/frail
License: MIT
Requires-Python: >=3.8
Requires-Dist: pysmt
Requires-Dist: fault
Description-Content-Type: text/markdown
[Description omitted; length: 292 characters]

WHEEL

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

RECORD

Path Digest Size
frail/__init__.py sha256=yMFql7kN0_HR3bVkhX-Ks5f_n0u4qfRKudpUcWWO79Y 167
frail/ast.py sha256=0j9D5Ca0PsVZU8pA3Q-4pdEvvrWviDNhmxy5rYsz72I 4783
frail/debug_printer.py sha256=AwOunkAyIf3JLBRCK1tI66akIQhupk_GK8HWRWlqNy4 4766
frail/examples.py sha256=kPJ7uO4TQAKT2e3JOyUvf9T9-BznE3lrCLs-GGxV6Qg 3270
frail/smt_printer.py sha256=1unv2M6nXeV2V2GQ6hIFY8NaX4lkUMMKxt7EAfwYhcA 8227
frail/smt_utils.py sha256=aNhoj1LEnKnBAwOSJj55plQwVb71DJpFbEDHsJWabm0 1475
frail/verilog_printer.py sha256=n6QaqeggcmUvdqyOeehzoFWQGCoBMmMd_ZSp-fZHo7A 18732
frail-0.0.3.dist-info/LICENSE sha256=iRdgsF5NIJ15O4tKaN3Wa-hTYHbU8bTw0rkFffz2acs 1068
frail-0.0.3.dist-info/METADATA sha256=GVemN8fwO8eYh67DGiK4Wtg98_Kx0G08TKglnKAcoUs 700
frail-0.0.3.dist-info/WHEEL sha256=EVRjI69F5qVjm_YgqcTXPnTAv3BfSUr0WVAHuSP3Xoo 92
frail-0.0.3.dist-info/top_level.txt sha256=VFpERysyVPlPUa_rtG0qDRpLHR2FE5OepIQ4qKQelKc 6
frail-0.0.3.dist-info/RECORD

top_level.txt

frail