Skip to content

Improve Diagnostics Webview UI#98

Merged
rcosta358 merged 10 commits into
mainfrom
vcs-table-layout
Jul 20, 2026
Merged

Improve Diagnostics Webview UI#98
rcosta358 merged 10 commits into
mainfrom
vcs-table-layout

Conversation

@rcosta358

@rcosta358 rcosta358 commented Jun 26, 2026 •
edited
Loading

Copy link
Copy Markdown
Collaborator

This PR makes some improvements to the UI of diagnostics in the webview:

  1. VCs are now displayed in a table layout that include both their binders and predicates
  2. The binder type is hidden but shown when hovering the binder
  3. Each counterexample assignment is displayed in a single line instead of joined with "&&"
  4. The last simplification steps displays "Simplified" instead of the name of the simplification pass
  5. The diagnostic reveal works even if the webview is closed
image

@rcosta358 rcosta358 self-assigned this Jun 26, 2026
@rcosta358 rcosta358 added the enhancement New feature or request label Jun 26, 2026
@rcosta358 rcosta358 changed the title Display VC Binders Improve Diagnostics Webview UI Jun 26, 2026
@rcosta358
rcosta358 force-pushed the vcs-table-layout branch 2 times, most recently from b6c5a8a to d5101ef Compare July 20, 2026 15:26
CatarinaGamboa
CatarinaGamboa approved these changes Jul 20, 2026
View reviewed changes

@CatarinaGamboa CatarinaGamboa left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Cool!

@rcosta358
rcosta358 force-pushed the show-simplification-diff branch from 6c5668d to 15e9804 Compare July 20, 2026 18:18
@rcosta358
rcosta358 changed the base branch from show-simplification-diff to main July 20, 2026 18:18
@rcosta358
rcosta358 merged commit 5b1aa11 into main Jul 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@CatarinaGamboa CatarinaGamboa CatarinaGamboa approved these changes

Assignees

@rcosta358 rcosta358

Labels

enhancement New feature or request

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@rcosta358 @CatarinaGamboa