search

viperproject / silver

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

Only simplify div and mod for positive arguments (like Carbon does) #794

Closed marcoeilers closed 5 months ago

marcoeilers commented 5 months ago

This fixes #782. The Simplifier now behaves exactly like Carbon's optimization, see https://github.com/viperproject/carbon/pull/448.