Skip to content

Commit

Permalink
updates ViperServer to 'v.24.01-release'
Browse files Browse the repository at this point in the history
  • Loading branch information
@ArquintL
ArquintL committed Feb 20, 2024
1 parent 1cfee7a commit 9f7bdbd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion viperserver
Submodule viperserver updated 12 files
+1 −0 .github/workflows/license-check.yml
+2 −0 .github/workflows/scala.yml
+3 −5 .github/workflows/update-submodules.yml
+2 −2 README.md
+0 −8 bors.toml
+1 −1 carbon
+1 −1 silicon
+3 −3 src/main/scala/viper/server/core/AstWorker.scala
+16 −0 src/main/scala/viper/server/core/VerificationWorker.scala
+4 −0 src/main/scala/viper/server/frontends/http/jsonWriters/ViperIDEProtocol.scala
+27 −10 src/main/scala/viper/server/frontends/lsp/FileManager.scala
+33 −2 src/main/scala/viper/server/utility/AstGenerator.scala

0 comments on commit 9f7bdbd

Please sign in to comment.