Code

Switch from BatEnum to Seq#1443

Code

Draft

karoliineh wants to merge 5 commits intomastergoblint/analyzer:masterfrom enum-to-seqgoblint/analyzer:enum-to-seqCopy head branch name to clipboard

+86-86

Commits

Commits on May 3, 2024

• Replace Enum with Seq where possible

  karoliineh

  committed
  af9c7fc

• Remove excessive conversions to enums

  karoliineh

  committed
  79c4db5

• Upgrade to batteries 3.7.0

  karoliineh

  committed
  7469bab

• Upgrade to batteries 3.7.1

  karoliineh

  committed
  ff9c282

• Refactor: do not convert Set to Seq for folding

  karoliineh

  committed
  261f7b5