Set silver submodule to 4b08104f98d070bba668707b02e2f4de4c2ab279 [ski… · viper-admin/silicon@28b7725

Commit

Set silver submodule to 4b08104f98d070bba668707b02e2f4de4c2ab279 [ski…

…p ci]

Silver Bot committed Oct 11, 2023

1 parent e85c426 commit 28b7725

+2 −2		src/main/scala/viper/silver/frontend/SilFrontEndConfig.scala
+8 −2		src/main/scala/viper/silver/plugin/standard/adt/AdtPlugin.scala
+183 −4		src/main/scala/viper/silver/plugin/standard/adt/encoding/AdtEncoder.scala
+5 −0		src/main/scala/viper/silver/plugin/standard/adt/encoding/AdtNameManager.scala
+1 −1		src/main/scala/viper/silver/plugin/standard/termination/TerminationPlugin.scala
+105 −0		src/test/resources/adt/termination_1.vpr
+44 −0		src/test/resources/adt/termination_2.vpr
+51 −0		src/test/resources/adt/termination_3.vpr
+108 −0		src/test/resources/adt/termination_mutual_1.vpr
+18 −0		src/test/resources/termination/functions/basic/preventAutoImport.vpr