Code

Remove Subst.pred functionality#4626

Code

Draft

ehildenb wants to merge 3 commits intodevelopruntimeverification/k:developfrom remove-subst-predruntimeverification/k:remove-subst-predCopy head branch name to clipboard

+6-111

Commits

Commits on Sep 5, 2024

• pyk/cterm/cterm: only compute self_unique_constraints and other_unique_constraints if needed

  ehildenb

  committed
  8eff2fa

  Copy full SHA for 8eff2fa

• cterm/cterm, proof/test_imp: remove use of anti_unify keep_values argument

  ehildenb

  committed
  f5be345

  Copy full SHA for f5be345

• kast/inner: remove now unused Subst.pred

  ehildenb

  committed
  6427792

  Copy full SHA for 6427792