Updates submodules · viperproject/viperserver@f041cea · GitHub

Commit

Updates submodules

Browse files

Loading branch information

bors authored Sep 3, 2024

1 parent 7b4d0d1 commit f041cea

carbon

Submodule carbon updated 4 files

+1 −1		silver
+1 −1		src/main/scala/viper/carbon/modules/impls/DefaultFuncPredModule.scala
+3 −3		src/main/scala/viper/carbon/modules/impls/DefaultWandModule.scala
+5 −5		src/main/scala/viper/carbon/modules/impls/QuantifiedPermModule.scala

silicon

Submodule silicon updated 60 files

+0 −43		annotation/Terms.example.scala
+1 −1		silver
+6 −0		src/main/scala/Config.scala
+65 −9		src/main/scala/Utils.scala
+289 −0		src/main/scala/debugger/DebugExp.scala
+52 −0		src/main/scala/debugger/DebugParser.scala
+32 −0		src/main/scala/debugger/DebugTypechecker.scala
+548 −0		src/main/scala/debugger/SiliconDebugger.scala
+140 −35		src/main/scala/decider/Decider.scala
+225 −13		src/main/scala/decider/PathConditions.scala
+22 −5		src/main/scala/decider/ProverStdIO.scala
+2 −2		src/main/scala/decider/TermToZ3APIConverter.scala
+28 −4		src/main/scala/decider/Z3ProverAPI.scala
+1 −2		src/main/scala/decider/Z3ProverStdIO.scala
+75 −5		src/main/scala/interfaces/Verification.scala
+15 −0		src/main/scala/interfaces/decider/Prover.scala
+9 −3		src/main/scala/interfaces/state/Chunks.scala
+3 −3		src/main/scala/logger/SymbExLogger.scala
+1 −1		src/main/scala/logger/records/data/DeciderAssumeRecord.scala
+9 −9		src/main/scala/logger/writer/SymbExLogReportWriter.scala
+7 −4		src/main/scala/reporting/Converter.scala
+2 −2		src/main/scala/reporting/Formatters.scala
+53 −30		src/main/scala/resources/NonQuantifiedPropertyInterpreter.scala
+112 −77		src/main/scala/resources/PropertyInterpreter.scala
+19 −8		src/main/scala/resources/QuantifiedPropertyInterpreter.scala
+9 −8		src/main/scala/rules/Brancher.scala
+43 −22		src/main/scala/rules/ChunkSupporter.scala
+78 −36		src/main/scala/rules/Consumer.scala
+4 −3		src/main/scala/rules/ConsumptionResult.scala
+532 −330		src/main/scala/rules/Evaluator.scala
+114 −63		src/main/scala/rules/Executor.scala
+33 −21		src/main/scala/rules/HavocSupporter.scala
+15 −5		src/main/scala/rules/Joiner.scala
+4 −4		src/main/scala/rules/LetSupporter.scala
+68 −35		src/main/scala/rules/MagicWandSupporter.scala
+97 −41		src/main/scala/rules/MoreCompleteExhaleSupporter.scala
+5 −3		src/main/scala/rules/PermissionSupporter.scala
+49 −19		src/main/scala/rules/PredicateSupporter.scala
+74 −41		src/main/scala/rules/Producer.scala
+277 −102		src/main/scala/rules/QuantifiedChunkSupport.scala
+46 −21		src/main/scala/rules/StateConsolidator.scala
+42 −4		src/main/scala/rules/SymbolicExecutionRules.scala
+34 −14		src/main/scala/state/Chunks.scala
+52 −36		src/main/scala/state/State.scala
+22 −12		src/main/scala/state/Store.scala
+12 −45		src/main/scala/state/Terms.scala
+41 −1		src/main/scala/state/Utils.scala
+1 −1		src/main/scala/state/package.scala
+1 −1		src/main/scala/supporters/BuiltinDomainsContributor.scala
+2 −2		src/main/scala/supporters/Domains.scala
+5 −3		src/main/scala/supporters/QuantifierSupporter.scala
+7 −6		src/main/scala/supporters/SnapshotSupporter.scala
+13 −2		src/main/scala/supporters/functions/FunctionData.scala
+26 −12		src/main/scala/supporters/functions/FunctionVerificationUnit.scala
+8 −5		src/main/scala/supporters/functions/HeapAccessReplacingExpressionTranslator.scala
+15 −4		src/main/scala/verifier/DefaultMainVerifier.scala
+4 −2		src/main/scala/verifier/VerificationPoolManager.scala
+12 −0		src/main/scala/verifier/Verifier.scala
+2 −1		src/main/scala/verifier/WorkerVerifier.scala
+2 −2		src/test/scala/CounterexampleTests.scala

0 comments on commit `f041cea`

Please sign in to comment.