List view

• v0.3

  Includes new research ideas

  Overdue by 7 year(s)

  •

  Due by May 1, 2019

  •2/5 issues closed
  40% complete3 open2 closed

• v0.2

  Fixed non-research issues in the code, correctness verified

  Overdue by 7 year(s)

  •

  Due by April 1, 2019

  •3/8 issues closed
  37% complete5 open3 closed

• v0.1

  version submitted to conference

  Overdue by 7 year(s)

  •

  Due by March 5, 2019

  •1/1 issues closed
  100% complete0 open1 closed