Issues

• Saving of reopened projects

  backendbugfrontend
  KIT-TVA/WebCorC#226 · Filter by author Kodde2011 opened on Sep 2, 2026

• strg +s for save

  frontendgood first issue
  KIT-TVA/WebCorC#225 · Filter by author Kodde2011 opened on Sep 2, 2026

• Pipeline test: verification of examples

  enhancementmidtermgoal
  Feature

  KIT-TVA/WebCorC#224 · Filter by author Kodde2011 opened on Aug 27, 2026
  

• Websocket "verification complete" timestamp

  backendbugfrontend
  Bug

  KIT-TVA/WebCorC#216 · Filter by author Kodde2011 opened on Aug 12, 2026
  1

• Repetition Statement Pre/Postcondition propagation

  bugfrontend
  Bug

  KIT-TVA/WebCorC#211 · Filter by author Kodde2011 opened on Jul 16, 2026
  

• Env var RUSTFS

  bug
  KIT-TVA/WebCorC#210 · Filter by author Kodde2011 opened on Jul 15, 2026

• save at verify

  frontend
  KIT-TVA/WebCorC#208 · Filter by author Kodde2011 opened on Jul 8, 2026

• Opening an example

  enhancementfrontendgood first issue
  KIT-TVA/WebCorC#197 · Filter by author Kodde2011 opened on Jun 29, 2026

• New verification state: Syntax Failed

  bugenhancementfrontend
  KIT-TVA/WebCorC#186 · Filter by author JaferShar opened on Jun 3, 2026
  2

  

• Create Top Level JML Contract and add it to exported code

  backendgood first issue
  KIT-TVA/WebCorC#180 · Filter by author S3vro opened on May 27, 2026
  1

  

• Export as svg or pdf or similar

  enhancementgood first issue
  Feature

  KIT-TVA/WebCorC#161 · Filter by author Kodde2011 opened on Feb 11, 2026
  2

• Frontend parsing for JML syntax

  enhancementfrontend
  Feature

  KIT-TVA/WebCorC#157 · Filter by author Kodde2011 opened on Feb 11, 2026
  2

  

• Extension of Wiki

  documentationenhancement
  Feature

  KIT-TVA/WebCorC#154 · Filter by author Kodde2011 opened on Feb 11, 2026
  1

  

• Predicate from .key to manager

  frontend
  Feature

  KIT-TVA/WebCorC#152 · Filter by author Kodde2011 opened on Feb 11, 2026
  

• Editing of propagated specification

  enhancementfrontend
  Feature

  KIT-TVA/WebCorC#149 · Filter by author Kodde2011 opened on Feb 11, 2026
  

• Import of custom diagrams

  frontend
  Bug

  KIT-TVA/WebCorC#100 · Filter by author JaferShar opened on Jan 28, 2026
  1

• Enabling of method calls in both, code and specification

  backendenhancementmidtermgoal
  KIT-TVA/WebCorC#25 · Filter by author Kodde2011 opened on Jun 23, 2025
  1