Code

Inline app in Assoc#4487

Code

Merged

rv-jenkins merged 6 commits intodevelopruntimeverification/k:developfrom refactor-assocruntimeverification/k:refactor-assocCopy head branch name to clipboardJul 2, 2024

+196-199

Commits

Commits on Jul 2, 2024

• Remove class MLSyntaxSugar

  tothtamas28

  committed
  46a5db2

  Copy full SHA for 46a5db2

• Eliminate superclass

  tothtamas28

  committed
  f7fe677

  Copy full SHA for f7fe677

• Move Assoc

  tothtamas28

  committed
  724ea18

  Copy full SHA for 724ea18

• Remove ctor_patterns

  tothtamas28

  committed
  3fa32db

  Copy full SHA for 3fa32db

• Remove sorts

  tothtamas28

  committed
  4413c28

  Copy full SHA for 4413c28

• Inline app in Assoc

  Show description for f15d6be
  

  tothtamas28

  and

  gtrepta

  committed
  f15d6be

  Copy full SHA for f15d6be