Set silver submodule to 91fc42e9fc7df30101b6e55ea5c4769f7db1fea4 [ski… · viper-admin/carbon@b743574

Commit

Set silver submodule to 91fc42e9fc7df30101b6e55ea5c4769f7db1fea4 [ski…

…p ci]

Silver Bot committed Jul 20, 2023

1 parent bc7d107 commit b743574

+1 −1		src/main/resources/import/decreases/all.vpr
+1 −1		src/main/resources/import/decreases/multiset.vpr
+16 −0		src/main/resources/import/decreases/perm.vpr
+100 −0		src/main/scala/viper/silver/frontend/ViperPAstProvider.scala
+4 −5		src/main/scala/viper/silver/parser/Resolver.scala
+131 −2		src/main/scala/viper/silver/plugin/standard/termination/TerminationPlugin.scala
+2 −2		src/test/resources/adt/declarations_2.vpr
+1 −1		src/test/resources/adt/declarations_5.vpr
+1 −2		src/test/resources/all/basic/let_consistency_resolver.vpr
+4 −4		src/test/resources/all/issues/silver/0027.vpr
+2 −2		src/test/resources/all/issues/silver/0048.vpr
+4 −5		src/test/resources/all/issues/silver/0050.vpr
+1 −1		src/test/resources/all/issues/silver/0473.vpr
+0 −1		src/test/resources/termination/errorMessages/multipleErrors.vpr
+0 −27		src/test/resources/termination/errorMessages/notDefined.vpr
+0 −1		src/test/resources/termination/functions/basic/adt.vpr
+1 −1		src/test/resources/termination/functions/basic/allTypes.vpr
+13 −0		src/test/resources/termination/functions/basic/unconstrainedType.vpr
+0 −1		src/test/resources/termination/functions/existingExamples/McCarthys91Fnc.sil
+0 −1		src/test/resources/termination/functions/expressions/forall.vpr
+1 −2		src/test/resources/wands/regression/consistency_let_resolver.vpr