List view

• K-in-K

  No due date

  •0/3 issues closed
  0% complete3 open0 closed

• 4.0.1

  No due date

  •16/38 issues closed
  42% complete22 open16 closed

• 4.1

  No due date

  •12/30 issues closed
  40% complete18 open12 closed

• KAST refactoring

  This milestone pertains to the completion of the reorganization of the KAST language.

  No due date

  •12/12 issues closed
  100% complete0 open12 closed

• Java Parser

  This milestone is used to mark all issues surrounding the goal of a parser for K definitions written in Java.

  No due date

  •3/4 issues closed
  75% complete1 open3 closed