diff --git a/viper-toolchain-versions.sh b/viper-toolchain-versions.sh index 831c21b40..19dd53377 100755 --- a/viper-toolchain-versions.sh +++ b/viper-toolchain-versions.sh @@ -5,7 +5,7 @@ # # Copyright (c) 2011-2021 ETH Zurich. -SILVER_REF="c8b81692028ea8ff7e32691911806387c53e5d5a" -SILICON_REF="1a920cc608bb9f1fbcdd61ffdaa627703c1c586c" -CARBON_REF="a34882dfb31fc1627981d18080f0ef5eb953e83e" -VIPERSERVER_REF="638b8faf1ee2adc582c9e6ff1a44f02175ef1782" +SILVER_REF="22.02-RC" +SILICON_REF="22.02-RC" +CARBON_REF="22.02-RC" +VIPERSERVER_REF="22.02-RC"