Merge pull request #341 from viperproject/auto-update-submodules · viperproject/gobra-ide@55ecea9

Commit

Merge pull request #341 from viperproject/auto-update-submodules

Update Submodules

ArquintL authored Dec 5, 2023

2 parents 1d48e2c + 1c3812d commit 55ecea9

+9 −14		src/main/resources/builtin/builtin.gobra
+1 −4		src/main/scala/viper/gobra/ast/internal/PrettyPrinter.scala
+1 −0		src/main/scala/viper/gobra/frontend/info/implementation/typing/ghost/GhostMiscTyping.scala
+1 −1		src/main/scala/viper/gobra/reporting/VerifierError.scala
+10 −10		src/main/scala/viper/gobra/translator/encodings/channels/ChannelEncoding.scala
+35 −0		src/test/resources/regressions/issues/000695.gobra
+75 −0		src/test/resources/regressions/issues/000705.gobra
+11 −2		src/test/scala/viper/gobra/GobraTests.scala
+1 −1		viperserver