List view

• KB Overhaul

  Bugs to be fixed as a part of overhauling the KB.

  No due date

  •2/2 issues closed
  100% complete0 open2 closed

• LTL Workshop

  Bugs to be fixed before the LTL workshop.

  No due date

  •1/1 issues closed
  100% complete0 open1 closed

• Semantics overhaul

  No due date

  •26/26 issues closed
  100% complete0 open26 closed

• Pragbot 3.0

  Integrated system of Pragbot and SLURP/LTLMoP.

  No due date

  •26/27 issues closed
  96% complete1 open26 closed