Wheelodex » Projects » saw-client

saw-client

View on PyPI — Reverse Dependencies (0)

1.2.1 saw_client-1.2.1-py3-none-any.whl

Wheel Details

Project: saw-client
Version: 1.2.1
Filename: saw_client-1.2.1-py3-none-any.whl
Download: [link]
Size: 35088
MD5: 5f5da77f82bff8b43fc98bb272425dc8
SHA256: c9a69466f7d0c14d10cb8417dbe5ca561dead3b10d62da20559933a56ec078e4
Uploaded: 2024-09-18 19:32:16 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: saw-client
Version: 1.2.1
Summary: SAW client for the SAW RPC server
Author: Galois, Inc.
Author-Email: saw[at]galois.com
License: BSD License
Classifier: License :: Other/Proprietary 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.11
Classifier: Programming Language :: Python :: 3.12
Requires-Python: >=3.8,<4.0
Requires-Dist: BitVector (<4.0.0,>=3.4.9)
Requires-Dist: argo-client (>=0.0.13)
Requires-Dist: cbor2 (<6.0.0,>=5.4.6)
Requires-Dist: cryptol (==3.2.1)
Requires-Dist: lmdb (<2.0.0,>=1.4.1)
Requires-Dist: python-dateutil (<3.0.0,>=2.8.2)
Requires-Dist: requests (<3.0.0,>=2.25.1)
Description-Content-Type: text/markdown
[Description omitted; length: 7468 characters]

WHEEL

Wheel-Version: 1.0
Generator: poetry-core 1.9.0
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
mypy.ini sha256=V4vG8LvMYrESmBoU6QTiGzNlnvwVBvNI1nvEcY5mAf8 429
saw_client/__init__.py sha256=9tYjmmeMGdva94FNAHCi8DIG1k1znNI5mqIhBq8Q2r0 30686
saw_client/commands.py sha256=4s0ezk1DgLROA7ULmleO4uFMoSnbHdg74UUqDx0wrhM 12808
saw_client/connection.py sha256=I1Rvee5ErmLwKt8wz-e_d6-7Hg_6d7S6IAtL72BK7Ss 15117
saw_client/crucible.py sha256=cT8WJT6Z2gAH9cy7sxItmKHrXvUZYW2YeUXHPJPFV0Y 36761
saw_client/dashboard.py sha256=NHxFX4jAylXRzqDrPih6btOyac_W27D5lsatXlnHF-Q 10102
saw_client/exceptions.py sha256=SxlBW-zBBojfNI5JYVszIhmPXvQMvgl4eWmQK9WqABA 3152
saw_client/jvm.py sha256=h3ZUuEIt0FmHSKz5TZ2akEQYiSan_K0ibL_TyirIXVU 112
saw_client/jvm_type.py sha256=PrK2BiydLgVY5hw3fguZTGeZoTN3-MGIguxluxsnqWw 1955
saw_client/llvm.py sha256=-7lA2CPi_BXVCw_kXW1JUSVuWQ9-JUPaLFGBDunx3DI 1387
saw_client/llvm_type.py sha256=xs15NfFxAWsdla3xcPAOKerM4z5y2lPyTLMX1DWl5wI 1736
saw_client/mir.py sha256=Af2tglTKzB9qaWYdyYd5v3gJDlDznaM-GSKX5cxjKik 2459
saw_client/mir_type.py sha256=NiaujCUBSVMcqDe28RLBZaXiX4dXylDy5SNBXb_ag8Y 3551
saw_client/option.py sha256=gY_yiXrqJsdHg7xA8iQ3duPKFxJ7O0lT0Sky20IoMeY 976
saw_client/proofscript.py sha256=E8pIcoe6igo2zyZA8i4hDE1mKFfOroy7Xx_5-pfrWxo 3619
saw_client/py.typed sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
saw_client/solver_cache.py sha256=oCA09wVATemcs4ZaiepdqEEP22vwwQ6P6kRoEwNHiIA 5329
saw_client/utils.py sha256=s2xzn94qua5Wlh2YHTOpL8FOA8DUxL9DlX1eUD-A8cU 855
saw_client-1.2.1.dist-info/METADATA sha256=7qMGe2PmcpeSqgnDwmq8CRL1C_AqbtLHSgDSgvqMssI 8333
saw_client-1.2.1.dist-info/WHEEL sha256=sP946D7jFCHeNz5Iq4fL4Lu-PrWrFsgfLXbbkciIZwg 88
saw_client-1.2.1.dist-info/RECORD — —