Merge branch 'master' into jb/avoid-if-then-else-on-valstack

runtimeverification · Jun 24, 2024 · 10648b0 · 10648b0
2 parents 812cf02 + 6b410c2
commit 10648b0
Show file tree

Hide file tree

Showing 6 changed files with 269 additions and 199 deletions.
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.0.120
+7.1.21
diff --git a/deps/mx-semantics_release b/deps/mx-semantics_release
@@ -1 +1 @@
-0.1.82
+0.1.85