Issues

• Error Reporting

  jmltoolkit/jmltk#71 · Filter by author wadoon opened on Oct 2, 2026

• Consider to allow union types in signals clauses

  enhancement
  Feature

  jmltoolkit/jmltk#52 · Filter by author wadoon opened on Aug 15, 2026
  

• Further specification statistics

  Student Task
  Feature

  jmltoolkit/jmltk#47 · Filter by author wadoon opened on Aug 15, 2026

• JmlImportDeclaration

  jmltoolkit/jmltk#9 · Filter by author wadoon opened on Oct 18, 2022

• MethodDeclaration range

  jmltoolkit/jmltk#8 · Filter by author wadoon opened on Oct 12, 2022

• Symbol resolution for JML constructs

  jmltoolkit/jmltk#7 · Filter by author wadoon opened on Jul 26, 2022

• Lambda Expressions

  jmltoolkit/jmltk#6 · Filter by author wadoon opened on Jul 26, 2022

• Begin and End marker for marking blocks

  jmltoolkit/jmltk#5 · Filter by author wadoon opened on Jul 26, 2022

• Implement ghost labels

  jmltoolkit/jmltk#4 · Filter by author wadoon opened on Jul 26, 2022