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

nagini
Release 0.8.5

Static verifier for Python 3, based on Viper.

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

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

Login to resync this project