search

viperproject / silver

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

Adding test for new Silicon annotations #784

Closed marcoeilers closed 5 months ago

marcoeilers commented 5 months ago

Requires https://github.com/viperproject/silicon/pull/828 to be merged first.