trk

This PR aims to provide more granular progress reporting for the [Prusti-Assistant](https://github.com/viperproject/prusti-assistant) VS Code extension. It is part of a practical work supervised by @Aurel300. It depends on a corresponding...

This PR is part of a practical work supervised by @Aurel300. It is based on [a previous work's PR](https://github.com/viperproject/prusti-assistant/pull/216). The main changes are: - Adding new block-level gutter decorators, inspired...

Add block level message types

2

This PR aims to provide more granular progress reporting for the [Prusti-Assistant](https://github.com/viperproject/prusti-assistant) VS Code extension. It is part of a practical work under @Aurel300. For this sake, three more message...