Big news! Sonar has entered a definitive agreement to acquire Tidelift!

nagini
Release 1.1.1

Static verifier for Python 3, based on Viper.

License: MPL-2.0
Install: pip install nagini==1.1.1

Dependencies: 7
Dependent packages: 0
Dependent repositories: 0
Total releases: 11
Latest release: Oct 9, 2024
First release: Nov 27, 2017
SourceRank: 5

Releases

1.1.1: Oct 9, 2024
1.1.0: Oct 9, 2024
0.9.0: May 18, 2021
0.8.6: Jul 26, 2020
0.8.5: May 20, 2020
0.8.3.1: Jul 11, 2019
0.8.3: Mar 22, 2019
0.8.2: Feb 20, 2019
0.8.1: Feb 20, 2019
0.8: Feb 20, 2019

See all 11 releases

Dependencies

astunparse: ==1.6.2
jpype1: ==1.2.1
mypy: ==0.782
pytest: ==4.3.0
pytest-xdist: ==1.27.0
toposort: ==1.5
z3-solver: ==4.8.7.0

Explore dependencies

Login to resync this project