Skip to content

Commit

Permalink
Updates submodules
Browse files Browse the repository at this point in the history
  • Loading branch information
@ArquintL @github-actions
ArquintL authored and github-actions[bot] committed Feb 27, 2025
1 parent 316eb95 commit a3c626c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion server/gobra
Submodule gobra updated 14 files
+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

0 comments on commit a3c626c

Please sign in to comment.