search

viperproject / silver

Definition of the Viper intermediate verification language.
Mozilla Public License 2.0
78 stars 40 forks source link

Adapting tests for improved sequence, set, ... axioms in Silicon #765

Closed marcoeilers closed 7 months ago