search

viperproject / silver

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

Fix non well formedness of methods generated by the termination plugin #715

Closed Dspil closed 1 year ago

Dspil commented 1 year ago

Fixes #703