Update Submodules (#466)

* Updates submodules * adapts GobraServer to latest changes in Gobra --------- Co-authored-by: ArquintL <3762537+ArquintL@users.noreply.github.com> Co-authored-by: Linard Arquint <linard.arquint@inf.ethz.ch>
viperproject · Jan 26, 2025 · e71fa8c · e71fa8c
1 parent a90a0ca
commit e71fa8c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/server/gobra b/server/gobra
diff --git a/server/src/main/scala/viper/gobraserver/Helper.scala b/server/src/main/scala/viper/gobraserver/Helper.scala
@@ -90,7 +90,7 @@ object Helper {
       moduleName = config.gobraSettings.moduleName,
       includeDirs = config.gobraSettings.includeDirs.map(Paths.get(_)).toVector,
       reporter = reporter,
-      backend = backend,
+      backend = Some(backend),
       isolate = convertedIsolationData,
       z3Exe = Some(config.z3Executable),
       boogieExe = Some(config.boogieExecutable),
+1 −1		README.md
+6 −0		genparser.sh
+1 −1		src/main/java/viper/gobra/frontend/GobraLexer.java
+1 −1		src/main/java/viper/gobra/frontend/GobraParser.java
+1 −1		src/main/java/viper/gobra/frontend/GobraParserBaseVisitor.java
+1 −1		src/main/java/viper/gobra/frontend/GobraParserVisitor.java
+2 −2		src/main/scala/viper/gobra/backend/BackendVerifier.scala
+1 −1		src/main/scala/viper/gobra/backend/Carbon.scala
+14 −6		src/main/scala/viper/gobra/backend/ViperBackends.scala
+40 −12		src/main/scala/viper/gobra/frontend/Config.scala
+3 −3		src/main/scala/viper/gobra/frontend/Parser.scala
+12 −11		src/main/scala/viper/gobra/frontend/Source.scala
+13 −0		src/test/resources/regressions/features/backends/carbon.gobra
+13 −0		src/test/resources/regressions/features/backends/silicon.gobra
+13 −0		src/test/resources/regressions/features/backends/vs-with-carbon.gobra
+13 −0		src/test/resources/regressions/features/backends/vs-with-silicon.gobra
+7 −7		src/test/scala/viper/gobra/parsing/ParserTestFrontend.scala
+1 −1		viperserver