Skip to content

Commit

Permalink
Merge pull request #422 from viperproject/auto-update-submodules
Browse files Browse the repository at this point in the history 
Update Submodules
  • Loading branch information
@viper-admin
viper-admin authored May 25, 2024
2 parents 22865d4 + cecdc6b commit 6638579
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion server/gobra
Submodule gobra updated 78 files
+1 −0 src/main/antlr4/GobraLexer.g4
+9 −1 src/main/antlr4/GobraParser.g4
+1,137 −1,130 src/main/java/viper/gobra/frontend/GobraLexer.java
+2,826 −2,742 src/main/java/viper/gobra/frontend/GobraParser.java
+15 −8 src/main/java/viper/gobra/frontend/GobraParserBaseVisitor.java
+13 −7 src/main/java/viper/gobra/frontend/GobraParserVisitor.java
+21 −6 src/main/scala/viper/gobra/ast/frontend/Ast.scala
+26 −22 src/main/scala/viper/gobra/ast/frontend/PrettyPrinter.scala
+23 −20 src/main/scala/viper/gobra/frontend/Desugar.scala
+16 −2 src/main/scala/viper/gobra/frontend/ParseTreeTranslator.scala
+33 −8 src/main/scala/viper/gobra/frontend/info/base/Type.scala
+4 −2 src/main/scala/viper/gobra/frontend/info/implementation/property/Convertibility.scala
+4 −2 src/main/scala/viper/gobra/frontend/info/implementation/property/Implements.scala
+7 −2 src/main/scala/viper/gobra/frontend/info/implementation/property/TypeIdentity.scala
+3 −2 src/main/scala/viper/gobra/frontend/info/implementation/property/TypeMerging.scala
+3 −0 src/main/scala/viper/gobra/frontend/info/implementation/resolution/AdvancedMemberSet.scala
+4 −2 src/main/scala/viper/gobra/frontend/info/implementation/resolution/MemberResolution.scala
+10 −5 src/main/scala/viper/gobra/frontend/info/implementation/resolution/NameResolution.scala
+7 −5 src/main/scala/viper/gobra/frontend/info/implementation/typing/ExprTyping.scala
+32 −0 src/main/scala/viper/gobra/frontend/info/implementation/typing/MemberTyping.scala
+74 −1 src/main/scala/viper/gobra/frontend/info/implementation/typing/MiscTyping.scala
+242 −1 src/main/scala/viper/gobra/frontend/info/implementation/typing/StmtTyping.scala
+32 −13 src/main/scala/viper/gobra/frontend/info/implementation/typing/TypeTyping.scala
+1 −32 src/main/scala/viper/gobra/frontend/info/implementation/typing/ghost/GhostMemberTyping.scala
+1 −72 src/main/scala/viper/gobra/frontend/info/implementation/typing/ghost/GhostMiscTyping.scala
+1 −237 src/main/scala/viper/gobra/frontend/info/implementation/typing/ghost/GhostStmtTyping.scala
+4 −0 src/main/scala/viper/gobra/frontend/info/implementation/typing/ghost/GhostTypeTyping.scala
+16 −8 src/main/scala/viper/gobra/frontend/info/implementation/typing/ghost/separation/GhostAssignability.scala
+2 −0 src/main/scala/viper/gobra/frontend/info/implementation/typing/ghost/separation/GhostClassifier.scala
+1 −0 src/main/scala/viper/gobra/frontend/info/implementation/typing/ghost/separation/GhostLessPrinter.scala
+49 −6 src/main/scala/viper/gobra/frontend/info/implementation/typing/ghost/separation/GhostTyping.scala
+36 −23 src/main/scala/viper/gobra/frontend/info/implementation/typing/ghost/separation/GhostWellDef.scala
+1 −0 src/main/scala/viper/gobra/frontend/info/implementation/typing/ghost/separation/GoifyingPrinter.scala
+1 −1 src/main/scala/viper/gobra/translator/Names.scala
+35 −14 src/main/scala/viper/gobra/translator/encodings/structs/StructEncoding.scala
+1 −1 src/test/resources/regressions/examples/evaluation/impl_errors/parallel_sum.gobra
+1 −1 src/test/resources/regressions/examples/evaluation/parallel_sum.gobra
+1 −1 src/test/resources/regressions/examples/evaluation/spec_errors/parallel_sum.gobra
+1 −0 src/test/resources/regressions/examples/tour/Test4.gobra
+2 −2 src/test/resources/regressions/features/adts/simple1.gobra
+56 −0 src/test/resources/regressions/features/ghost_field/ghost-embedding-fail01.gobra
+49 −0 src/test/resources/regressions/features/ghost_field/ghost-embedding-simple01.gobra
+39 −0 src/test/resources/regressions/features/ghost_field/ghost-field-comparison-simple01.gobra
+43 −0 src/test/resources/regressions/features/ghost_field/ghost-field-comparison-simple02.gobra
+23 −0 src/test/resources/regressions/features/ghost_field/ghost-field-fail01.gobra
+12 −0 src/test/resources/regressions/features/ghost_field/ghost-field-ghost-type-fail01.gobra
+24 −0 src/test/resources/regressions/features/ghost_field/ghost-field-ghost-type-simple01.gobra
+54 −0 src/test/resources/regressions/features/ghost_field/ghost-field-interface-fail01.gobra
+121 −0 src/test/resources/regressions/features/ghost_field/ghost-field-interface-simple01.gobra
+38 −0 src/test/resources/regressions/features/ghost_field/ghost-field-map-fail01.gobra
+14 −0 src/test/resources/regressions/features/ghost_field/ghost-field-simple01.gobra
+37 −0 src/test/resources/regressions/features/ghost_pointer/ghost-array-fail01.gobra
+41 −0 src/test/resources/regressions/features/ghost_pointer/ghost-array-range-fail01.gobra
+69 −0 src/test/resources/regressions/features/ghost_pointer/ghost-array-range-simple01.gobra
+56 −0 src/test/resources/regressions/features/ghost_pointer/ghost-array-simple01.gobra
+12 −0 src/test/resources/regressions/features/ghost_pointer/ghost-fields-fail01.gobra
+48 −0 src/test/resources/regressions/features/ghost_pointer/ghost-location-fail01.gobra
+25 −0 src/test/resources/regressions/features/ghost_pointer/ghost-nil-simple01.gobra
+156 −0 src/test/resources/regressions/features/ghost_pointer/ghost-pointer-receiver-fail01.gobra
+66 −0 src/test/resources/regressions/features/ghost_pointer/ghost-pointer-receiver-simple01.gobra
+16 −0 src/test/resources/regressions/features/ghost_pointer/ghost-read-fail01.gobra
+13 −0 src/test/resources/regressions/features/ghost_pointer/ghost-reference-fail01.gobra
+30 −0 src/test/resources/regressions/features/ghost_pointer/ghost-reference-fail02.gobra
+31 −0 src/test/resources/regressions/features/ghost_pointer/ghost-reference-simple01.gobra
+35 −0 src/test/resources/regressions/features/ghost_pointer/ghost-write-fail01.gobra
+39 −0 src/test/resources/regressions/features/ghost_pointer/ghost-write-fail02.gobra
+36 −0 src/test/resources/regressions/features/ghost_pointer/ghost-write-simple01.gobra
+37 −0 src/test/resources/regressions/features/ghost_pointer/pointer-creation-fail01.gobra
+24 −0 src/test/resources/regressions/features/ghost_pointer/pointer-creation-simple01.gobra
+65 −0 src/test/resources/regressions/features/interfaces/ghostnessOfImplementation-fail1.gobra
+29 −0 src/test/resources/regressions/features/labels/ghost-label.gobra
+5 −1 src/test/resources/regressions/features/options/options-simple3.gobra
+62 −0 src/test/resources/regressions/features/wands/ghost-list.gobra
+1 −2 src/test/resources/regressions/features/wands/list.gobra
+6 −1 src/test/resources/regressions/issues/000037-1.gobra
+29 −0 src/test/resources/regressions/issues/000037-2.gobra
+2 −1 src/test/resources/regressions/issues/000039.gobra
+17 −0 src/test/resources/regressions/issues/000420.gobra

0 comments on commit 6638579

Please sign in to comment.