Code

Remove special-casing for group(_)#3981

Code

Merged

rv-jenkins merged 6 commits intodevelopruntimeverification/k:developfrom frontend-only-attsruntimeverification/k:frontend-only-attsCopy head branch name to clipboardFeb 13, 2024

+128-263

Commits

Commits on Feb 12, 2024

• Add Key.internal builder, remove unneeded Key.apply overloads

  Scott-Guest

  committed
  9936b84

  Copy full SHA for 9936b84

• Address IntelliJ warnings

  Scott-Guest

  committed
  1282607

  Copy full SHA for 1282607

• Remove dead code from ResolveHeatCoolAttribute

  Scott-Guest

  committed
  ed09328

  Copy full SHA for ed09328

• Always keep group(_) attributes un-expanded to avoid special casing

  Scott-Guest

  committed
  4e7412e

  Copy full SHA for 4e7412e

• Update checkGroup.k as we no longer require groups are distinct from built-ins

  Scott-Guest

  committed
  0f086cd

  Copy full SHA for 0f086cd

• Remove mention of group(_) from error messages

  Scott-Guest

  committed
  1791019

  Copy full SHA for 1791019