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.tar.gz
(219.8 kB
view details)
Built Distribution
nagini-0.8-py3-none-any.whl
(290.4 kB
view details)
File details
Details for the file nagini-0.8.tar.gz.
File metadata
- Download URL: nagini-0.8.tar.gz
- Upload date:
- Size: 219.8 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 | e74c0b8e0c011c0e1b46e443fa8b7d6d408c6d01f74be692f60e494d9e938c47 |
|
| MD5 | e23dca2bfda7f08928867a42cf3a7372 |
|
| BLAKE2b-256 | 9f433525e2244cb186f430f1c4d2d7a3be67ede97c3a59b3009e80c1808b415a |
File details
Details for the file nagini-0.8-py3-none-any.whl.
File metadata
- Download URL: nagini-0.8-py3-none-any.whl
- Upload date:
- Size: 290.4 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 | 13869330c1c9af423ba7286403783a2be13e8cc640d61160bf627e83a12e30e4 |
|
| MD5 | 2b4cac051004e6455230f04927a1bbe9 |
|
| BLAKE2b-256 | edd04d7547b5f2d5675880010b4f77291def5b4090cc5369ab60b7079322d2d0 |
