search

marcoeilers / nagini

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

Python 3.10 support and updated jpype and pytest #168

Open marcoeilers opened 9 months ago

marcoeilers commented 9 months ago

This change is Reviewable