Static verifier for Python 3, based on Viper.
Project description
The author of this package has not provided a project description
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
nagini-0.8.1.tar.gz
(233.1 kB
view details)
Built Distribution
nagini-0.8.1-py3-none-any.whl
(311.2 kB
view details)
File details
Details for the file nagini-0.8.1.tar.gz.
File metadata
- Download URL: nagini-0.8.1.tar.gz
- Upload date:
- Size: 233.1 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/40.8.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.0
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 8aad7fa121176f03290bbfeb27eca05ff7efd56a57806bc8553661d6e306ed5e |
|
| MD5 | 239fe0204331a24522acea10f44db3d0 |
|
| BLAKE2b-256 | 545bca19ca7d7e53a9c653680b9c0b461c76320ce7c7ffc6d0e0d1b767fe8b64 |
File details
Details for the file nagini-0.8.1-py3-none-any.whl.
File metadata
- Download URL: nagini-0.8.1-py3-none-any.whl
- Upload date:
- Size: 311.2 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/40.8.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.0
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | bdf4b43f8c94b5675e4561666c7e41e5675c8a130539bc7abba9d5ead1070457 |
|
| MD5 | ea4c80d61df748d424dac6e6972283bb |
|
| BLAKE2b-256 | c35ae366ee797b84260b07463dc05a9272a14c6c5f4e5220f895d759f4032d30 |
