Set silver submodule to 0dccfad77dc5751ecc2d0ff8a98e75a2c87e1939 [ski… · viper-admin/silicon@f35aa48

Commit

Set silver submodule to 0dccfad77dc5751ecc2d0ff8a98e75a2c87e1939 [ski…

…p ci]

Silver Bot committed Oct 4, 2023

1 parent 4cdc6b9 commit f35aa48

+6 −3		src/main/scala/viper/silver/ast/utility/DomainInstances.scala
+2 −2		src/main/scala/viper/silver/frontend/SilFrontEndConfig.scala
+8 −2		src/main/scala/viper/silver/plugin/standard/adt/AdtPlugin.scala
+93 −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
+16 −0		src/test/resources/all/issues/silicon/0751.vpr
+88 −0		src/test/resources/all/issues/silicon/0753.vpr
+0 −1		src/test/resources/termination/functions/basic/allTypes.vpr
+18 −0		src/test/resources/termination/functions/basic/preventAutoImport.vpr