Updates submodules (#485) · viperproject/gobra-ide@7e780a3

Commit

Updates submodules (#485)

Co-authored-by: ArquintL <3762537+ArquintL@users.noreply.github.com>

viper-admin and ArquintL authored Feb 27, 2025

1 parent 316eb95 commit 7e780a3

+32 −11		src/main/scala/viper/gobra/ast/frontend/AstPattern.scala
+1 −1		src/main/scala/viper/gobra/ast/internal/PrettyPrinter.scala
+4 −2		src/main/scala/viper/gobra/ast/internal/Program.scala
+1 −1		src/main/scala/viper/gobra/frontend/Desugar.scala
+38 −31		src/main/scala/viper/gobra/frontend/info/implementation/typing/ghost/separation/GhostAssignability.scala
+1 −1		src/main/scala/viper/gobra/translator/encodings/typeless/AssertionEncoding.scala
+3 −3		src/main/scala/viper/gobra/translator/encodings/typeless/BuiltInEncoding.scala
+14 −0		src/test/resources/regressions/issues/000620-1.gobra
+14 −0		src/test/resources/regressions/issues/000620-2.gobra
+10 −0		src/test/resources/regressions/issues/000620-3.gobra
+16 −0		src/test/resources/regressions/issues/000861-1.gobra
+18 −0		src/test/resources/regressions/issues/000861-2.gobra
+19 −0		src/test/resources/regressions/issues/000861-3.gobra
+30 −0		src/test/scala/viper/gobra/erasing/GhostErasureUnitTests.scala