![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=40){kind=avatar}
2 files changed
+2
-2
lines changedSubmodule viperserver updated 19 files
- README.md+1
- carbon+1-1
- silicon+1-1
- src/main/scala/viper/server/core/AstWorker.scala+3-3
- src/main/scala/viper/server/core/VerificationWorker.scala+18-6
- src/main/scala/viper/server/core/ViperBackendConfig.scala+11-8
- src/main/scala/viper/server/frontends/lsp/ClientCoordinator.scala+1-1
- src/main/scala/viper/server/frontends/lsp/DataProtocol.scala+2
- src/main/scala/viper/server/frontends/lsp/Receiver.scala+41-19
- src/main/scala/viper/server/frontends/lsp/ViperServerService.scala+18
- src/main/scala/viper/server/frontends/lsp/file/Verification.scala+8-15
- src/main/scala/viper/server/utility/AstGeneratorBase.scala+23-22
- src/main/scala/viper/server/utility/ReformatterAstGenerator.scala+36
- src/main/scala/viper/server/utility/ViperAstGenerator.scala+52
- src/test/resources/viper/reformat_snippet.vpr+7
- src/test/resources/viper/reformat_snippet_expected.vpr+6
- src/test/scala/viper/server/core/AstGenerationTests.scala+4-4
- src/test/scala/viper/server/core/CoreServerSpec.scala+2-2
- src/test/scala/viper/server/core/ReformatterTest.scala+43
0 commit comments