Merge pull request #523 from viperproject/auto-update-submodules · viper-admin/carbon@759f3c1

Commit

Merge pull request viperproject#523 from viperproject/auto-update-sub…

…modules

Update Submodules

Dspil committed Jun 26, 2024

2 parents 758481e + 1620fcd commit 759f3c1

+55 −4		src/main/scala/viper/silver/parser/MacroExpander.scala
+7 −1		src/main/scala/viper/silver/parser/Resolver.scala
+68 −0		src/test/resources/all/issues/silicon/0847.vpr
+30 −0		src/test/resources/all/issues/silver/0803.vpr