Code

Add extra lsp features#204

Code

Open

JonasAlaif wants to merge 3 commits intomasterviperproject/viperserver:masterfrom lspviperproject/viperserver:lspCopy head branch name to clipboard

+3,741-590

Commits

Commits on Feb 15, 2024

• Revert "Revert "Merge pull request #201 from viperproject/sem-highlight""

  Show description for 6173a4b
  JonasAlaif

  committed
  6173a4b

  Copy full SHA for 6173a4b

• Reorder VerificationState enum to be compatible with old viperserver

  JonasAlaif

  committed
  e234e84

  Copy full SHA for e234e84

Commits on Aug 22, 2024

• Merge branch 'master' into lsp

  Dspil

  committed
  a033f91

  Copy full SHA for a033f91