Skip to content

Commit

Permalink
Update silver
Browse files Browse the repository at this point in the history
  • Loading branch information
@JonasAlaif
JonasAlaif committed Jul 18, 2023
1 parent de1fc95 commit 0713de1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion silver
Submodule silver updated 67 files
+3 −2 src/main/scala/viper/silver/ast/Expression.scala
+1 −1 src/main/scala/viper/silver/ast/Statement.scala
+29 −13 src/main/scala/viper/silver/ast/pretty/PrettyPrinter.scala
+15 −0 src/main/scala/viper/silver/ast/utility/Consistency.scala
+31 −10 src/main/scala/viper/silver/ast/utility/Functions.scala
+1 −1 src/main/scala/viper/silver/ast/utility/ImpureAssumeRewriter.scala
+3 −1 src/main/scala/viper/silver/ast/utility/Simplifier.scala
+4 −5 src/main/scala/viper/silver/ast/utility/rewriter/Rewritable.scala
+3 −8 src/main/scala/viper/silver/cfg/CfgTest.scala
+74 −0 src/main/scala/viper/silver/cfg/silver/SilverCfg.scala
+8 −19 src/main/scala/viper/silver/frontend/SilFrontend.scala
+3 −3 src/main/scala/viper/silver/parser/FastMessage.scala
+172 −556 src/main/scala/viper/silver/parser/FastParser.scala
+424 −0 src/main/scala/viper/silver/parser/MacroExpander.scala
+194 −157 src/main/scala/viper/silver/parser/ParseAst.scala
+90 −144 src/main/scala/viper/silver/parser/Resolver.scala
+17 −15 src/main/scala/viper/silver/parser/Transformer.scala
+122 −70 src/main/scala/viper/silver/parser/Translator.scala
+7 −0 src/main/scala/viper/silver/plugin/standard/adt/AdtASTExtension.scala
+14 −2 src/main/scala/viper/silver/plugin/standard/adt/AdtPASTExtension.scala
+6 −8 src/main/scala/viper/silver/plugin/standard/adt/AdtPlugin.scala
+0 −1 src/main/scala/viper/silver/plugin/standard/predicateinstance/PredicateInstancePASTExtension.scala
+30 −4 src/main/scala/viper/silver/plugin/standard/termination/TerminationPlugin.scala
+9 −1 src/main/scala/viper/silver/reporter/Message.scala
+12 −0 src/main/scala/viper/silver/reporter/Reporter.scala
+1 −1 src/main/scala/viper/silver/verifier/VerificationError.scala
+14 −1 src/main/scala/viper/silver/verifier/VerificationResult.scala
+66 −0 src/test/resources/all/annotation/annotationMCE.vpr
+3 −0 src/test/resources/all/annotation/annotationSuccess.vpr
+55 −0 src/test/resources/all/basic/comparisons.vpr
+26 −0 src/test/resources/all/basic/comparisons_fail.vpr
+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
+23 −0 src/test/resources/all/domains/axiom_call_func.vpr
+17 −0 src/test/resources/all/domains/axiom_call_func2.vpr
+62 −0 src/test/resources/all/domains/axiom_call_func3.vpr
+1 −0 src/test/resources/all/issues/carbon/0239.vpr
+2 −0 src/test/resources/all/issues/silicon/0203.vpr
+1 −0 src/test/resources/all/issues/silicon/0249.vpr
+1 −0 src/test/resources/all/issues/silicon/0365.vpr
+70 −0 src/test/resources/all/issues/silicon/0509b.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
+4 −4 src/test/resources/all/issues/silver/0238.vpr
+7 −0 src/test/resources/all/issues/silver/0474b.vpr
+19 −0 src/test/resources/all/issues/silver/0534.vpr
+24 −0 src/test/resources/all/issues/silver/0688.vpr
+9 −0 src/test/resources/all/issues/silver/0693.vpr
+32 −0 src/test/resources/all/issues/silver/0697.vpr
+9 −0 src/test/resources/all/issues/silver/0699.vpr
+8 −0 src/test/resources/all/issues/silver/0717.vpr
+9 −0 src/test/resources/all/issues/silver/0720.vpr
+9 −4 src/test/resources/all/third_party/stefan_recent/testTreeWandE1.vpr
+1 −2 src/test/resources/examples/quickselect/arrays_quickselect_rec.vpr
+84 −0 src/test/resources/termination/functions/basic/postSelfRef.vpr
+7 −10 src/test/resources/transformations/Macros/Hygienic/collision2Ref.vpr
+7 −10 src/test/resources/transformations/Macros/Hygienic/collisionRef.vpr
+25 −26 src/test/resources/transformations/Macros/Hygienic/loopConstructionRef.vpr
+7 −14 src/test/resources/transformations/Macros/Hygienic/nestedRef.vpr
+5 −8 src/test/resources/transformations/Macros/Hygienic/simpleRef.vpr
+1 −1 src/test/scala/ASTTransformationTests.scala
+36 −10 src/test/scala/AstPositionsTests.scala
+98 −0 src/test/scala/PrettyPrinterTest.scala
+1 −1 src/test/scala/RewriterTests.scala
+6 −0 src/test/scala/SimplifierTests.scala

0 comments on commit 0713de1

Please sign in to comment.