List view

• v2.12.3

  Release for FM tutorial

  Due by August 26, 2024

  •14/14 issues closed
  100% complete0 open14 closed

• v2.16.0

  Due by December 1, 2024

  •1/1 issues closed
  100% complete0 open1 closed

• 2.12.2

  PR: KeY-2.12.2-PR #3328 PR Branch: https://github.com/KeYProject/key/tree/KeY-2.12.2-PR Release Branch: KeY-2.12.2 (https://github.com/KeYProject/key/tree/KeY-2.12.2)

  Due by November 3, 2023

  •8/8 issues closed
  100% complete0 open8 closed

• v2.12.1

  Minor fixes for 2.12.0

  Due by September 30, 2023

  •2/2 issues closed
  100% complete0 open2 closed

• NextMajor

  No due date

  •14/14 issues closed
  100% complete0 open14 closed

• v2.12.0

  Due by July 19, 2023

  •69/69 issues closed
  100% complete0 open69 closed