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
[runner] detect not-killed process

!152 · created Dec 03, 2024 by Loïc Correnson 1.1
bug
- Merged
- 7
- Approved
updated Dec 16, 2024
[vc] generalize range extraction 6 of 6 checklist items completed

!157 · created Dec 09, 2024 by Loïc Correnson 1.1
bug prove
- Merged
- 4
updated Dec 14, 2024
[prove] restore --no-cache option

!151 · created Nov 26, 2024 by Loïc Correnson 1.1
bug prove
- Merged
- 4
updated Dec 04, 2024
[hammer] fix replay & update modes

!150 · created Nov 22, 2024 by Loïc Correnson 1.1
bug prove
- Merged
- 2
- Approved
updated Nov 27, 2024
[prove] fix ranges for -x

!149 · created Nov 21, 2024 by Loïc Correnson 1.1
bug prove
- Merged
- 2
- Approved
updated Nov 26, 2024
[dune] fix default flags

!148 · created Nov 21, 2024 by Loïc Correnson 1.1
bug dev
- Merged
- Approved
updated Nov 21, 2024
[prove] keep further hints on each saving

!114 · created Sep 13, 2024 by Loïc Correnson 1.1
bug
- Merged
- 19
- Approved
updated Nov 14, 2024
[session] fix proved status

!145 · created Nov 12, 2024 by Loïc Correnson 1.1
bug
- Merged
- 4
- Approved
updated Nov 12, 2024
[hammer] fix tactic ordering

!129 · created Oct 18, 2024 by Loïc Correnson
bug
- Merged
- 21
- Approved
updated Oct 23, 2024
[doc] fix self module ref

!130 · created Oct 18, 2024 by Loïc Correnson 1.1
bug
- Merged
- 2
- Approved
updated Oct 18, 2024
[make] fix headers

!131 · created Oct 18, 2024 by Loïc Correnson
bug
- Merged
- 1
updated Oct 18, 2024
[prove] fix hammer strategy & improve feedback

!82 · created Jun 24, 2024 by Loïc Correnson
bug
- Merged
- 2
updated Oct 14, 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
[vscode] fix highlighting

!112 · created Sep 12, 2024 by Loïc Correnson
bug lsp
updated Sep 12, 2024
[doc] fix clone instances mapping

!102 · created Aug 29, 2024 by Loïc Correnson
bug manual
updated Sep 05, 2024
[lsp] dispose client & commands

!108 · created Sep 05, 2024 by Loïc Correnson
bug lsp
updated Sep 05, 2024