Merge pull request #220 from viperproject/auto-update-submodules · viperproject/viperserver@3b7a887

Commit

Merge pull request #220 from viperproject/auto-update-submodules

Update Submodules

viper-admin authored Mar 24, 2024

2 parents ba4c3bb + e78d5fc commit 3b7a887

+4 −3		src/main/scala/Config.scala
+2 −1		src/main/scala/rules/Brancher.scala
+3 −3		src/main/scala/rules/Consumer.scala
+1 −1		src/main/scala/rules/Evaluator.scala
+1 −1		src/main/scala/rules/Executor.scala
+4 −0		src/main/scala/rules/Joiner.scala
+3 −3		src/main/scala/rules/Producer.scala
+1 −1		src/main/scala/state/State.scala
+21 −3		src/main/scala/verifier/DefaultMainVerifier.scala
+1 −1		src/test/scala/SiliconTestsMoreJoins.scala