Update silver · viperproject/silicon@f7f31b7

Commit

Update silver

Browse files

JonasAlaif committed Jul 12, 2023

2 parents 1df57d8 + 259efc1 commit f7f31b7

+1 −1		src/main/scala/viper/silver/ast/utility/ImpureAssumeRewriter.scala
+3 −1		src/main/scala/viper/silver/ast/utility/Simplifier.scala
+74 −0		src/main/scala/viper/silver/cfg/silver/SilverCfg.scala
+2 −1		src/main/scala/viper/silver/frontend/SilFrontend.scala
+3 −3		src/main/scala/viper/silver/parser/Resolver.scala
+1 −1		src/main/scala/viper/silver/parser/Translator.scala
+30 −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
+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
+4 −4		src/test/resources/all/issues/silver/0238.vpr
+8 −0		src/test/resources/all/issues/silver/0717.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
+6 −0		src/test/scala/SimplifierTests.scala