Code

Port Att.scala to Java#4038

Code

Draft

Scott-Guest wants to merge 5 commits intodevelopruntimeverification/k:developfrom java-attruntimeverification/k:java-attCopy head branch name to clipboard

+1,215-145

Commits

Commits on Feb 23, 2024

• Update whitelist to track which attributes are emitted to the backend

  Scott-Guest

  committed
  22c814a

  Copy full SHA for 22c814a

• Emit left and right (internal), priorities, terminals

  Scott-Guest

  committed
  cd6e744

  Copy full SHA for cd6e744

• Update flaky inset-11-spec.k test output

  Scott-Guest

  committed
  5af0a82

  Copy full SHA for 5af0a82

• WIP

  Scott-Guest

  committed
  2b75913

  Copy full SHA for 2b75913

• Formatting

  Scott-Guest

  committed
  2054949

  Copy full SHA for 2054949