Skip to content

Commit

Permalink
Update silver submodule
Browse files Browse the repository at this point in the history
  • Loading branch information
Silver Bot committed Jul 12, 2023
1 parent 72c416e commit 0acf785
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion silver
Submodule silver updated 24 files
+1 −1 src/main/scala/viper/silver/ast/Statement.scala
+2 −2 src/main/scala/viper/silver/ast/utility/rewriter/Rewritable.scala
+3 −8 src/main/scala/viper/silver/cfg/CfgTest.scala
+8 −19 src/main/scala/viper/silver/frontend/SilFrontend.scala
+3 −3 src/main/scala/viper/silver/parser/FastMessage.scala
+101 −505 src/main/scala/viper/silver/parser/FastParser.scala
+424 −0 src/main/scala/viper/silver/parser/MacroExpander.scala
+143 −98 src/main/scala/viper/silver/parser/ParseAst.scala
+72 −125 src/main/scala/viper/silver/parser/Resolver.scala
+9 −8 src/main/scala/viper/silver/parser/Transformer.scala
+116 −64 src/main/scala/viper/silver/parser/Translator.scala
+16 −4 src/main/scala/viper/silver/plugin/standard/adt/AdtPASTExtension.scala
+20 −24 src/main/scala/viper/silver/plugin/standard/adt/AdtPlugin.scala
+2 −1 src/main/scala/viper/silver/plugin/standard/predicateinstance/PredicateInstancePASTExtension.scala
+0 −2 src/main/scala/viper/silver/plugin/standard/termination/TerminationPlugin.scala
+1 −1 src/main/scala/viper/silver/verifier/VerificationError.scala
+7 −1 src/main/scala/viper/silver/verifier/VerificationResult.scala
+53 −0 src/test/resources/all/basic/multi_initialization.vpr
+20 −0 src/test/resources/all/basic/multi_initialization_err.vpr
+13 −0 src/test/resources/all/basic/multi_initialization_translate_err.vpr
+2 −2 src/test/resources/all/issues/silver/0090.vpr
+6 −1 src/test/resources/all/issues/silver/0128.vpr
+1 −1 src/test/resources/all/issues/silver/0138.vpr
+1 −1 src/test/scala/ASTTransformationTests.scala

0 comments on commit 0acf785

Please sign in to comment.