Code

Fix #3524#3525

Code

Merged

unp1 merged 10 commits intomainKeYProject/key:mainfrom fix-2524KeYProject/key:fix-2524Copy head branch name to clipboardNov 25, 2024

+192-29

Commits

Commits on Oct 30, 2024

• Fix 3524

  Drodt

  committed
  8f7b21f

  Copy full SHA for 8f7b21f

Commits on Oct 31, 2024

• Update taclet equality tests

  Drodt

  committed
  8fc8c29

  Copy full SHA for 8fc8c29

• Fix slicing test (changed loop rules add two more rules, resulting in more slices)

  unp1

  committed
  4d0835b

  Copy full SHA for 4d0835b

• Fix saved proof (adapted saved proof for fixed loop invariant rule)

  unp1

  committed
  34f5827

  Copy full SHA for 34f5827

• update qodana linter

  unp1

  committed
  68eb108

  Copy full SHA for 68eb108

• clean up taclet builder

  unp1

  committed
  87f4b5f

  Copy full SHA for 87f4b5f

• clean up taclet builder

  unp1

  committed
  2014116

  Copy full SHA for 2014116

Commits on Nov 4, 2024

• Separate SVs for decls and updates

  Drodt

  committed
  e3fdf2f

  Copy full SHA for e3fdf2f

• Update TacletEq tests

  Drodt

  committed
  7a14261

  Copy full SHA for 7a14261

• Merge branch 'main' into fix-2524

  Drodt

  authored
  fa17636

  Copy full SHA for fa17636