Search results

Automatic installation of fm-weck

Status: Open.

#13 In sws-lab/sv-comp-witness-vscode;

· karoliineh opened on Sep 7, 2025

Address error-handling TODOs and communicate clear messages for the user

Status: Open.

Feature

#7 In sws-lab/sv-comp-witness-vscode;

· karoliineh opened on Mar 5, 2025

Code documentation and refactoring

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#6 In sws-lab/sv-comp-witness-vscode;

· karoliineh opened on Mar 5, 2025

Install selected tools to cache asap before analyzing

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#5 In sws-lab/sv-comp-witness-vscode;

· karoliineh opened on Mar 5, 2025

Let user specify tools from the front-end

Status: Open.

Feature

#4 In sws-lab/sv-comp-witness-vscode;

· karoliineh opened on Mar 5, 2025

Make sure that the process of fm-weck server gets killed when VSCode is closed

Status: Open.

Bug

#3 In sws-lab/sv-comp-witness-vscode;

· karoliineh opened on Mar 5, 2025