New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fixed handling of warnings #156

Merged

ArquintL merged 2 commits into master from meilers_lsp_warnings

Jul 17, 2023

Contributor

marcoeilers commented Jul 15, 2023 •

edited by ArquintL

Loading

Fixed handling of warnings:

The LSP protocol did not handle them at all, leading to Viper IDE issue #403
The HTTP protocol did not yet handle the new kind of warning, WarningsDuringVerification.


          Fixed warnings

5d62a7b

marcoeilers requested a review from ArquintL

July 15, 2023 17:11


          moves handling of warnings further up for better readability

29c9294

ArquintL approved these changes

View reviewed changes

Member

ArquintL commented Jul 17, 2023

Thanks a lot for fixing this!

ArquintL merged commit e6ef7b8 into master

13 checks passed

ArquintL deleted the meilers_lsp_warnings branch

July 17, 2023 07:26

This was referenced Jul 17, 2023

Parser Warnings viperproject/silver#722

Merged

Test Viper Warnings viperproject/viper-ide#409

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet