Set silver submodule to c6828c094e48e10e956484e6a90d33f996e879f5 [ski… · viper-admin/carbon@a33942f

Commit

Set silver submodule to c6828c094e48e10e956484e6a90d33f996e879f5 [ski…

…p ci]

Silver Bot committed Dec 28, 2024

1 parent 5b32f7f commit a33942f

+2 −2		src/main/scala/viper/silver/ast/Expression.scala
+2 −2		src/main/scala/viper/silver/ast/utility/Consistency.scala
+17 −0		src/main/scala/viper/silver/ast/utility/Expressions.scala
+12 −3		src/main/scala/viper/silver/ast/utility/GenericTriggerGenerator.scala
+8 −3		src/main/scala/viper/silver/ast/utility/Triggers.scala
+1 −1		src/main/scala/viper/silver/plugin/standard/termination/TerminationPlugin.scala
+66 −3		src/main/scala/viper/silver/plugin/standard/termination/transformation/FunctionCheck.scala
+3 −2		src/main/scala/viper/silver/plugin/standard/termination/transformation/Trafo.scala
+3 −0		src/test/resources/all/issues/carbon/0406.vpr
+3 −0		src/test/resources/all/issues/carbon/0422.vpr
+13 −0		src/test/resources/all/issues/carbon/0489.vpr
+89 −0		src/test/resources/termination/functions/basic/permission_issues.vpr
+1 −0		src/test/resources/termination/functions/expressions/access.vpr
+5 −0		src/test/scala/ConsistencyTests.scala