Skip to content

Commit

Permalink
Updates submodules (#231)
Browse files Browse the repository at this point in the history 
Co-authored-by: bors <[email protected]>
  • Loading branch information
@viper-admin @bors
viper-admin and bors authored Jun 17, 2024
1 parent 9b13915 commit 416abfe
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 1 files
+1 −1 silver
2 changes: 1 addition & 1 deletion silicon
Submodule silicon updated 21 files
+1 −1 silver
+1 −0 src/main/resources/magic_wand_snap_functions_declarations.smt2
+1 −0 src/main/scala/Utils.scala
+6 −1 src/main/scala/decider/TermToSMTLib2Converter.scala
+2 −0 src/main/scala/decider/TermToZ3APIConverter.scala
+1 −1 src/main/scala/rules/Evaluator.scala
+11 −4 src/main/scala/rules/HavocSupporter.scala
+201 −132 src/main/scala/rules/MagicWandSupporter.scala
+2 −2 src/main/scala/rules/MoreCompleteExhaleSupporter.scala
+1 −1 src/main/scala/rules/Producer.scala
+0 −1 src/main/scala/rules/QuantifiedChunkSupport.scala
+1 −1 src/main/scala/rules/StateConsolidator.scala
+5 −2 src/main/scala/state/Chunks.scala
+64 −44 src/main/scala/state/Terms.scala
+3 −2 src/main/scala/state/Utils.scala
+45 −50 src/main/scala/supporters/BuiltinDomainsContributor.scala
+92 −0 src/main/scala/supporters/MagicWandSnapFunctionsContributor.scala
+5 −5 src/main/scala/supporters/functions/FunctionData.scala
+9 −9 src/main/scala/supporters/functions/FunctionRecorder.scala
+1 −3 src/main/scala/supporters/qps/PredicateAndWandSnapFunctionsContributor.scala
+7 −0 src/main/scala/verifier/DefaultMainVerifier.scala

0 comments on commit 416abfe

Please sign in to comment.