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

Multiset support and consistent names for pure data types #138

Closed marcoeilers closed 5 years ago

marcoeilers commented 5 years ago

Added support for pure multisets to the contract library. All pure data types (sets, sequences, multisets) are now represented by types starting with P (PSet, PSeq, PMultiset instead of PSet, Sequence).

This change is Reviewable