Skip to content

Commit

Permalink
Set silver submodule to 8f2fa05a504c28a823725ac817241cf17a2c6329 [ski…
Browse files Browse the repository at this point in the history 
…p ci]
  • Loading branch information
Silver Bot committed Jul 15, 2024
1 parent 46a35ff commit 8d15575
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion silver
Submodule silver updated 35 files
+2 −2 src/main/scala/viper/silver/ast/utility/ImpureAssumeRewriter.scala
+1 −0 src/main/scala/viper/silver/frontend/SilFrontend.scala
+4 −55 src/main/scala/viper/silver/parser/MacroExpander.scala
+1 −1 src/main/scala/viper/silver/parser/ParseAst.scala
+1 −7 src/main/scala/viper/silver/parser/Resolver.scala
+163 −0 src/main/scala/viper/silver/plugin/standard/reasoning/BeforeVerifyHelper.scala
+175 −0 src/main/scala/viper/silver/plugin/standard/reasoning/ReasoningASTExtension.scala
+39 −0 src/main/scala/viper/silver/plugin/standard/reasoning/ReasoningErrors.scala
+234 −0 src/main/scala/viper/silver/plugin/standard/reasoning/ReasoningPASTExtension.scala
+296 −0 src/main/scala/viper/silver/plugin/standard/reasoning/ReasoningPlugin.scala
+514 −0 src/main/scala/viper/silver/plugin/standard/reasoning/analysis/VarAnalysisGraphMap.scala
+0 −31 src/test/resources/all/annotation/annotationProverArgs.vpr
+17 −17 src/test/resources/all/basic/many_conjuncts.vpr
+3 −3 src/test/resources/all/issues/silicon/0365.vpr
+0 −68 src/test/resources/all/issues/silicon/0847.vpr
+0 −25 src/test/resources/all/issues/silicon/0851.vpr
+0 −30 src/test/resources/all/issues/silver/0803.vpr
+8 −8 src/test/resources/quantifiedpermissions/misc/misc1.vpr
+11 −0 src/test/resources/reasoning/existential_elim_fail1.vpr
+29 −0 src/test/resources/reasoning/existential_elim_success1.vpr
+59 −0 src/test/resources/reasoning/immutableVar.vpr
+23 −0 src/test/resources/reasoning/influenced_heap.vpr
+17 −0 src/test/resources/reasoning/old_call_fail1.vpr
+12 −0 src/test/resources/reasoning/old_call_fail2.vpr
+23 −0 src/test/resources/reasoning/old_call_success1.vpr
+173 −0 src/test/resources/reasoning/set_vs_graph.vpr
+53 −0 src/test/resources/reasoning/universal_intro.vpr
+214 −0 src/test/resources/reasoning/universal_introduction/ui_assume.vpr
+167 −0 src/test/resources/reasoning/universal_introduction/ui_assume_methods.vpr
+45 −0 src/test/resources/reasoning/universal_introduction/ui_func.vpr
+92 −0 src/test/resources/reasoning/universal_introduction/ui_heap.vpr
+77 −0 src/test/resources/reasoning/universal_introduction/ui_if.vpr
+304 −0 src/test/resources/reasoning/universal_introduction/ui_methods.vpr
+107 −0 src/test/resources/reasoning/universal_introduction/ui_while.vpr
+7 −7 src/test/resources/transformations/Performance/BinomialHeap.vpr

0 comments on commit 8d15575

Please sign in to comment.