Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
Mozilla Public License 2.0
233
stars
8
forks
source link
Fix integer/float comparison and expand legal magic methods whitelist #181
Closed
PascalDevenoge closed 8 months ago
This change is