Set silver submodule to e0db674851819e23c7b8bc38bbe78bc7dae84053 [ski… · viper-admin/carbon@c6d6139

Commit

Set silver submodule to e0db674851819e23c7b8bc38bbe78bc7dae84053 [ski…

…p ci]

Silver Bot committed Aug 28, 2024

1 parent 759f3c1 commit c6d6139

+6 −0		src/main/scala/viper/silver/ast/Ast.scala
+18 −1		src/main/scala/viper/silver/ast/Expression.scala
+1 −0		src/main/scala/viper/silver/ast/Program.scala
+3 −0		src/main/scala/viper/silver/ast/pretty/PrettyPrinter.scala
+1 −1		src/main/scala/viper/silver/ast/utility/ImpureAssumeRewriter.scala
+115 −48		src/main/scala/viper/silver/ast/utility/Simplifier.scala
+1 −1		src/main/scala/viper/silver/ast/utility/rewriter/Rewritable.scala
+1 −1		src/main/scala/viper/silver/cfg/silver/CfgGenerator.scala
+11 −1		src/main/scala/viper/silver/frontend/SilFrontend.scala
+25 −1		src/main/scala/viper/silver/parser/ParseAst.scala
+27 −2		src/main/scala/viper/silver/parser/Resolver.scala
+16 −10		src/main/scala/viper/silver/parser/Translator.scala
+1 −1		src/main/scala/viper/silver/plugin/standard/termination/TerminationASTExtension.scala
+48 −0		src/main/scala/viper/silver/utility/Common.scala