Skip to content

Commit

Permalink
Set silver submodule to 20cf3e9350702e94259c071e7cf45472ede62a20 [ski…
Browse files Browse the repository at this point in the history 
…p ci]
  • Loading branch information
Silver Bot committed Jun 24, 2024
1 parent 4033dd2 commit 25c3a97
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion silver
Submodule silver updated 27 files
+2 −2 src/main/scala/viper/silver/ast/utility/ImpureAssumeRewriter.scala
+1 −0 src/main/scala/viper/silver/frontend/SilFrontend.scala
+146 −0 src/main/scala/viper/silver/plugin/standard/reasoning/BeforeVerifyHelper.scala
+173 −0 src/main/scala/viper/silver/plugin/standard/reasoning/ReasoningASTExtension.scala
+39 −0 src/main/scala/viper/silver/plugin/standard/reasoning/ReasoningErrors.scala
+229 −0 src/main/scala/viper/silver/plugin/standard/reasoning/ReasoningPASTExtension.scala
+293 −0 src/main/scala/viper/silver/plugin/standard/reasoning/ReasoningPlugin.scala
+400 −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 −25 src/test/resources/all/issues/silicon/0851.vpr
+8 −8 src/test/resources/quantifiedpermissions/misc/misc1.vpr
+34 −0 src/test/resources/reasoning/existential_elim.vpr
+59 −0 src/test/resources/reasoning/immutableVar.vpr
+23 −0 src/test/resources/reasoning/influenced_heap.vpr
+15 −0 src/test/resources/reasoning/old_call.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
+34 −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
+289 −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 25c3a97

Please sign in to comment.