This PR is part of https://github.com/runtimeverification/k/pull/4017; the syntax . for empty K sequences will be deprecated and removed in a future version of K. Ahead of this change, I am proactively updating active projects to minimise the noise they receive when the deprecation is actually enabled.
This PR is part of https://github.com/runtimeverification/k/pull/4017; the syntax
.
for empty K sequences will be deprecated and removed in a future version of K. Ahead of this change, I am proactively updating active projects to minimise the noise they receive when the deprecation is actually enabled.