jonaskrask
jonaskrask
### Description We have been looking for a large trace for performance measuring the VS Code extension for VDM. However, it seems that Overture has some problems if traces get...
The example project PP/Codegen has a bunch of errors that I am far too inexperienced in VDM to fix... @nickbattle and @idhugoid can you see if these are VDMJ errors...
A generic interface would allow users to connect plugins to the extension without the need to manually couple them in the extension code. Something like the "add library" interface is...
Is there any way we can change the dependencies in the jar `lib/graphics.jar` in the example project "BuslinesPP" such that it is dependent on the VDMJ Values and not the...
I think that this might only be possible through a dedicated "Icon theme" extension. However, it seems pretty easy to contribute to one of the largest icon themes in the...
Script must be able to: - Package VDMJ jars and copy them to resources - Same for high-precision - Package VSIX - (maybe) update marketplace VSIX
Currently, we ask the user to select a workspace folder that should be shown in the CT View. Perhaps we should change this such that, each workspace folder has its...
Currently, it is quite hard to test the extension, especially with automated testing. Therefore, we should consider refactoring the codebase to adhere to the SOLID principles. A tool that could...
The VDM examples where downloaded from the overture list. However, it has never been validated that they all work with the extension. Projects that are unable to run should be...