February 2026 release

February 2026 release candidate

Update silver submodule

Avoiding Viper functions in hashsets and as keys in hashmaps (#918)

* Avoiding functions and predicates in sets and as keys in maps

* Preserve previous function verification order

* Avoiding Functions and Predicates as keys in some other maps

Update silver submodule

Add preliminary instructions for compiling with GraalVM native-image (#…

…945)

* added preliminary instructions for compiling with GraalVM native-image

* added clarification to the second step in native image compilation instructions

Update silver submodule

minor fix

August 2025 release

Update silver submodule