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
Let arbitrary boolean values used in MaySet encoding depend on reference #191
Closed
marcoeilers closed 6 months ago
This change is