Merge requests · pub / Why3find

[lsp] fix capabilities 1 of 2 checklist items completed

!161 · created Dec 17, 2024 by Loïc Correnson 1.1
bug emacs lsp
- Merged
- 1
- Approved
updated Dec 18, 2024
[lsp] support for related info

!159 · created Dec 14, 2024 by Loïc Correnson
lsp
updated Dec 14, 2024
Draft: [core] enabling collaboration between lsp & hammer 2 of 4 checklist items completed

!155 · created Dec 04, 2024 by Loïc Correnson
api lsp prove
updated Dec 19, 2024
[lsp] refactor code base

!154 · created Dec 04, 2024 by Loïc Correnson
lsp
updated Dec 04, 2024
Draft: [lsp] proof tree in vscode

!153 · created Dec 04, 2024 by Loïc Correnson
lsp
updated Dec 19, 2024
[lsp] fix printing

!122 · created Oct 03, 2024 by Loïc Correnson 1.1
bug lsp
updated Oct 03, 2024
[lsp] fix field type in hovers

!119 · created Sep 16, 2024 by Loïc Correnson
bug lsp
updated Sep 16, 2024
[lsp] document references

!117 · created Sep 16, 2024 by Loïc Correnson
bug feature lsp
updated Sep 16, 2024
[lsp] fix selection range

!116 · created Sep 16, 2024 by Loïc Correnson
bug lsp
updated Sep 16, 2024
[lsp] Document Structure

!113 · created Sep 13, 2024 by Loïc Correnson
feature lsp
- Merged
- 1
updated Sep 13, 2024
[vscode] fix highlighting

!112 · created Sep 12, 2024 by Loïc Correnson
bug lsp
updated Sep 12, 2024
[lsp] aliased type names

!111 · created Sep 12, 2024 by Loïc Correnson
feature lsp
updated Sep 13, 2024
[Lsp] refresh folding ranges

!110 · created Sep 11, 2024 by Loïc Correnson
feature lsp
updated Sep 11, 2024
[lsp] folding ranges

!109 · created Sep 05, 2024 by Loïc Correnson
feature lsp
updated Sep 05, 2024
[lsp] dispose client & commands

!108 · created Sep 05, 2024 by Loïc Correnson
bug lsp
updated Sep 05, 2024
[lsp] more elaborated lenses for clones

!107 · created Sep 05, 2024 by Loïc Correnson
lsp
- Merged
- 6
- Approved
updated Sep 05, 2024
[lsp] fix hover description for val

!99 · created Aug 28, 2024 by Loïc Correnson
bug lsp
updated Aug 28, 2024