Updates submodules · viperproject/viperserver@8098d56

Commit

Updates submodules

Browse files

jcp19 authored Jan 22, 2024

1 parent 44440ef commit 8098d56

+15 −0		annotation/Terms.example.scala
+1 −1		silver
+125 −132		src/main/resources/dafny_axioms/multisets.vpr
+136 −0		src/main/resources/dafny_axioms/multisets_old.vpr
+211 −296		src/main/resources/dafny_axioms/sequences.vpr
+299 −0		src/main/resources/dafny_axioms/sequences_old.vpr
+133 −176		src/main/resources/dafny_axioms/sets.vpr
+179 −0		src/main/resources/dafny_axioms/sets_old.vpr
+7 −0		src/main/scala/Config.scala
+1 −0		src/main/scala/decider/TermToSMTLib2Converter.scala
+1 −0		src/main/scala/decider/TermToZ3APIConverter.scala
+2 −2		src/main/scala/rules/ChunkSupporter.scala
+8 −3		src/main/scala/rules/ConsumptionResult.scala
+4 −2		src/main/scala/rules/MagicWandSupporter.scala
+31 −9		src/main/scala/rules/MoreCompleteExhaleSupporter.scala
+4 −2		src/main/scala/rules/QuantifiedChunkSupport.scala
+34 −2		src/main/scala/state/Terms.scala
+1 −0		src/main/scala/state/Triggers.scala
+1 −0		src/main/scala/state/Utils.scala
+7 −1		src/main/scala/supporters/DefaultMultisetsContributor.scala
+8 −2		src/main/scala/supporters/DefaultSequencesContributor.scala
+7 −1		src/main/scala/supporters/DefaultSetsContributor.scala
+1 −1		src/test/resources/issue387/jonas_viktor.vpr