Search results

Syntax highlighting does not work for loop invariants in C

Status: Open.

#57 In utwente-fmt/vercors-ide;

· sakehl opened on May 28, 2024

Not all errors are recognized and in errors in c are not recognized

Status: Open.

#55 In utwente-fmt/vercors-ide;

· JaronLendering opened on Apr 24, 2024

Replace all SVG files

Status: Open.

#51 In utwente-fmt/vercors-ide;

· PascalNB opened on Apr 22, 2024

Update ReadMe

Status: Open.

#44 In utwente-fmt/vercors-ide;

· R-Vries opened on Apr 10, 2024

change keyword colouring to include more than 1 type

Status: Open.

#42 In utwente-fmt/vercors-ide;

· Drufearr opened on Apr 9, 2024

Output parsing and graphical UI

Status: Open.

#23 In utwente-fmt/vercors-ide;

· PascalNB opened on Mar 13, 2024

[VS Code] As a user, I want to be able to click on a variable to go to its definition in PVL

Status: Open.

#12 In utwente-fmt/vercors-ide;

· pandasansgains opened on Feb 28, 2024

Continuous Verification Mode

Status: Open.

#7 In utwente-fmt/vercors-ide;

· Naum-Tomov opened on Nov 24, 2023

Initialize language server protocol portion of the plugin

Status: Open.

#4 In utwente-fmt/vercors-ide;

· Naum-Tomov opened on Nov 24, 2023