search

viperproject / silver

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

Fixing macro substitution for label statements #793

Closed marcoeilers closed 4 months ago

marcoeilers commented 4 months ago

Fixes issue #787