Skip to content

Enable verification of single methods#550

Draft
rayman2000 wants to merge 11 commits intomasterfrom
recover/separate-verification
Draft

Enable verification of single methods#550
rayman2000 wants to merge 11 commits intomasterfrom
recover/separate-verification

Conversation

@rayman2000
Copy link
Contributor

@rayman2000 rayman2000 commented Feb 26, 2026

Restores the deleted PR #489
Original comment:
viper-ide pendant for viperproject/viperserver#271. I suspect a nicer implementation would be possible once the LSP branch is merged on viperserver.

@rayman2000 rayman2000 changed the title Recover/separate verification Enable verification of single methods Feb 26, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants