Add block level message types

Open trktby opened this issue 1 year ago • 2 comments

This PR aims to provide more granular progress reporting for the Prusti-Assistant VS Code extension. It is part of a practical work under @Aurel300.

For this sake, three more message types are introduced.

Sep 03 '24 07:09 trktby

@Dspil @bruggerl Does this still make sense (with Silicon#867)? Or did some of the debugging projects supersede this/add the same functionality?

Nov 03 '25 15:11 Aurel300

From my side, I am not using those but also haven't added anything that could replace them

Nov 03 '25 16:11 Dspil