Skip to content

Commit

Permalink
Merge pull request #237 from viperproject/auto-update-submodules
Browse files Browse the repository at this point in the history 
Update Submodules
  • Loading branch information
@viper-admin
viper-admin authored Sep 3, 2024
2 parents 7b4d0d1 + f041cea commit 47a656a
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion 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
2 changes: 1 addition & 1 deletion 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 47a656a

Please sign in to comment.