Skip to content

Commit

Permalink
Set silver submodule to 04de8bc1a606b3d7d864ead2f7983a0e386e2eee [ski…
Browse files Browse the repository at this point in the history 
…p ci]
  • Loading branch information
Silver Bot committed Apr 22, 2024
1 parent 5e3ab01 commit 722a685
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion silver
Submodule silver updated 24 files
+2 −2 src/main/scala/viper/silver/ast/utility/ImpureAssumeRewriter.scala
+1 −0 src/main/scala/viper/silver/frontend/SilFrontend.scala
+185 −0 src/main/scala/viper/silver/plugin/standard/reasoning/BeforeVerifyHelper.scala
+148 −0 src/main/scala/viper/silver/plugin/standard/reasoning/ReasoningASTExtension.scala
+40 −0 src/main/scala/viper/silver/plugin/standard/reasoning/ReasoningErrors.scala
+200 −0 src/main/scala/viper/silver/plugin/standard/reasoning/ReasoningPASTExtension.scala
+298 −0 src/main/scala/viper/silver/plugin/standard/reasoning/ReasoningPlugin.scala
+331 −0 src/main/scala/viper/silver/plugin/standard/reasoning/analysis/VarAnalysisGraphMap.scala
+17 −17 src/test/resources/all/basic/many_conjuncts.vpr
+3 −3 src/test/resources/all/issues/silicon/0365.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
+195 −0 src/test/resources/reasoning/universal_introduction/ui_assume.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
+268 −0 src/test/resources/reasoning/universal_introduction/ui_methods.vpr
+88 −0 src/test/resources/reasoning/universal_introduction/ui_while.vpr
+7 −7 src/test/resources/transformations/Performance/BinomialHeap.vpr

0 comments on commit 722a685

Please sign in to comment.