Merge pull request #247 from viperproject/auto-update-submodules

Update Submodules
viperproject · Nov 15, 2024 · 5727176 · 5727176
2 parents 913628d + 7b04d3a
commit 5727176
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/carbon b/carbon
diff --git a/silicon b/silicon
+1 −1		silver
+8 −0		src/main/scala/viper/carbon/modules/impls/DefaultExpModule.scala
+1 −1		silver
+6 −0		src/main/scala/rules/Evaluator.scala
+1 −0		src/main/scala/supporters/functions/HeapAccessReplacingExpressionTranslator.scala