Set silver submodule to 6326764a9e107cc23d7ac474f79519d120d54fc5 [ski… · viper-admin/carbon@cfc659a

Commit

Set silver submodule to 6326764a9e107cc23d7ac474f79519d120d54fc5 [ski…

…p ci]

Silver Bot committed Aug 28, 2024

1 parent 759f3c1 commit cfc659a

+6 −0		src/main/scala/viper/silver/ast/Ast.scala
+16 −0		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
+56 −11		src/main/scala/viper/silver/ast/utility/Simplifier.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
+48 −0		src/main/scala/viper/silver/utility/Common.scala