Code

Remove old workaround#4485

Code

Merged

rv-jenkins merged 8 commits intodevelopruntimeverification/k:developfrom permit-cell-collectionruntimeverification/k:permit-cell-collectionCopy head branch name to clipboardJun 27, 2024

+111-7

Commits

Commits on Jun 26, 2024

• Remove old workaround

  Baltoli

  committed
  b32d284

  Copy full SHA for b32d284

• Merge branch 'develop' into permit-cell-collection

  PetarMax

  authored
  942251f

  Copy full SHA for 942251f

Commits on Jun 27, 2024

• Add test

  Baltoli

  committed
  cc6fe51

  Copy full SHA for cc6fe51

• Merge branch 'permit-cell-collection' of github.com:runtimeverification/k into permit-cell-collection

  Baltoli

  committed
  b72f333

  Copy full SHA for b72f333

• Merge branch 'develop' into permit-cell-collection

  Baltoli

  authored
  9051ac5

  Copy full SHA for 9051ac5

• Fix path for Pyk test

  Baltoli

  committed
  d0f6b49

  Copy full SHA for d0f6b49

• Merge branch 'permit-cell-collection' of github.com:runtimeverification/k into permit-cell-collection

  Baltoli

  committed
  85b530a

  Copy full SHA for 85b530a

• Fix test output

  Baltoli

  committed
  f166f71

  Copy full SHA for f166f71