search

viperproject / silver

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

Properly treating let-expressions when generating triggers #753

Closed marcoeilers closed 10 months ago

marcoeilers commented 10 months ago

This should fix issue #751.

Requires https://github.com/viperproject/silicon/pull/771 to work properly in Silicon.