Skip to content

Commit

Permalink
Updates submodules
Browse files Browse the repository at this point in the history
  • Loading branch information
@bors
bors authored Nov 14, 2024
1 parent 913628d commit 459f2a2
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 2 files
+1 −1 silver
+8 −0 src/main/scala/viper/carbon/modules/impls/DefaultExpModule.scala
2 changes: 1 addition & 1 deletion silicon
Submodule silicon updated 3 files
+1 −1 silver
+6 −0 src/main/scala/rules/Evaluator.scala
+1 −0 src/main/scala/supporters/functions/HeapAccessReplacingExpressionTranslator.scala

0 comments on commit 459f2a2

Please sign in to comment.