Description

VerCors is a command-line tool for verifying concurrent programs. However, concurrent programs are typically not written on the command-line, they are written in a text-editor, like VSCode. Therefore, it would be convenient if the verification of those programs can also be done within VSCode. This requires making some changes to VerCors such that it can be used as a plugin. An example of how this could look is available: Viper, the backend of VerCors, already has a nice VSCode plugin.