Merge requests · pub / Why3find

[doc] fix clone instances mapping

!102 · created Aug 29, 2024 by Loïc Correnson
bug manual
updated Sep 05, 2024
Draft: Test

!101 · created Aug 28, 2024 by Benjamin Jorge
- Closed
updated Aug 28, 2024
[why3find] print command

!100 · created Aug 28, 2024 by Loïc Correnson
feature
- Merged
- 11
- 1
updated Aug 30, 2024
[lsp] fix hover description for val

!99 · created Aug 28, 2024 by Loïc Correnson
bug lsp
updated Aug 28, 2024
[env] refactor root project dir

!98 · created Aug 27, 2024 by Loïc Correnson
updated Aug 27, 2024
Functional environment

!97 · created Aug 27, 2024 by Benjamin Jorge
- Merged
- 6
updated Aug 29, 2024
Resolve "[config] check transformations at config and/or proof time"

!96 · created Aug 26, 2024 by Loïc Correnson
bug
- Merged
- 2
- Approved
updated Aug 26, 2024
Fix some lsp & vscode issues

!95 · created Aug 25, 2024 by Loïc Correnson
bug
updated Aug 25, 2024
[lsp] Code Lenses

!94 · created Aug 22, 2024 by Loïc Correnson
feature
updated Aug 23, 2024
[lsp] vsix artefact

!93 · created Aug 19, 2024 by Loïc Correnson 1.1
CI
- Merged
- 1
- Approved
updated Oct 24, 2024
Timing and profiling

!92 · created Aug 01, 2024 by Benjamin Jorge
- Merged
- 4
- Approved
updated Nov 14, 2024
Index cache on non-prepared tasks

!91 · created Jul 09, 2024 by Benjamin Jorge
- Merged
- 3
- 1
updated Jul 12, 2024
[debug] Allow turning on debug flags from plugins

!90 · created Jul 01, 2024 by Benjamin Jorge
- Merged
- 2
updated Jul 01, 2024
[vscode] lsp

!89 · created Jun 26, 2024 by Loïc Correnson
feature
updated Aug 19, 2024
[vscode] complete syntax highlighting

!88 · created Jun 26, 2024 by Loïc Correnson
feature
updated Jun 26, 2024
Create why3find library

!87 · created Jun 26, 2024 by Benjamin Jorge
- Merged
- 2
updated Jun 26, 2024
Resolve "[config] make prover versions strict"

!86 · created Jun 25, 2024 by Loïc Correnson
feature
updated Jul 02, 2024
Resolve "[config] problems when updating config"

!85 · created Jun 25, 2024 by Loïc Correnson
bug
updated Jun 25, 2024
[vscode] language support for why3

!84 · created Jun 24, 2024 by Loïc Correnson
feature
updated Jun 25, 2024
[prove] better feedback

!83 · created Jun 24, 2024 by Loïc Correnson
feature
updated Jun 25, 2024