silicon icon indicating copy to clipboard operation
silicon copied to clipboard
verified publisher icon viperproject

Avoiding Viper functions in hashsets and as keys in hashmaps

Open marcoeilers opened this issue 8 months ago • 0 comments

Adapting Silicon to the changes in https://github.com/viperproject/silver/pull/867, and also changing its State to avoid Viper functions/predicates as keys in maps for the same reason.

marcoeilers avatar May 15 '25 08:05 marcoeilers