List view

• 2025.01-Coq8.21

  No due date

  •0/2 issues closed
  0% complete2 open0 closed

• 2024.01-Coq8.19

  No due date

  •1/5 issues closed
  20% complete4 open1 closed

• check feasibility

  No due date

  •0/4 issues closed
  0% complete4 open0 closed

• 2024.08-Coq8.20

  No due date

  •0/4 issues closed
  0% complete4 open0 closed

• 2023.03

  No due date

  •9/12 issues closed
  75% complete3 open9 closed

• 2022.03.1

  No due date

  •1/1 issues closed
  100% complete0 open1 closed

• Longterm

  No due date

  •0/1 issues closed
  0% complete1 open0 closed

• 2022.09

  No due date

  •31/31 issues closed
  100% complete0 open31 closed

• 2022.03

  No due date

  •15/16 issues closed
  93% complete1 open15 closed