Merge requests · pub / Why3find

Preprocessing tactics

!142 · created Nov 04, 2024 by Benjamin Jorge 1.1
feature prove
- Merged
- 10
- Approved
updated Nov 20, 2024
[prove] more statistics

!146 · created Nov 13, 2024 by Loïc Correnson 1.1
cli feature
- Merged
- 2
- Approved
updated Nov 18, 2024
[hammer] separate timeout for Hammer 0

!144 · created Nov 08, 2024 by Loïc Correnson
feature
- Merged
- 18
- Approved
updated Nov 13, 2024
[prove] added option -H to tune proof strategy

!118 · created Sep 16, 2024 by Loïc Correnson 1.1
feature
- Merged
- Approved
updated Sep 23, 2024
[lsp] document references

!117 · created Sep 16, 2024 by Loïc Correnson
bug feature 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
[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
[makefile] all-in-one vscode install

!103 · created Aug 30, 2024 by Loïc Correnson
feature manual
- Merged
- Approved
updated Aug 30, 2024
[why3find] print command

!100 · created Aug 28, 2024 by Loïc Correnson
feature
- Merged
- 11
- 1
updated Aug 30, 2024
[lsp] Code Lenses

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

!89 · created Jun 26, 2024 by Loïc Correnson
feature
updated Aug 19, 2024
Resolve "[config] make prover versions strict"

!86 · created Jun 25, 2024 by Loïc Correnson
feature
updated Jul 02, 2024
[vscode] complete syntax highlighting

!88 · created Jun 26, 2024 by Loïc Correnson
feature
updated Jun 26, 2024
[prove] better feedback

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

!84 · created Jun 24, 2024 by Loïc Correnson
feature
updated Jun 25, 2024
[prove] render pending task on console

!64 · created Mar 28, 2024 by Loïc Correnson
feature
- Merged
- 21
updated Apr 30, 2024
[config] better option management

!55 · created Feb 09, 2024 by Loïc Correnson 1.0
feature
- Merged
- 23
updated Apr 26, 2024
[log] Improved output

!63 · created Mar 28, 2024 by Loïc Correnson 1.0
feature
- Merged
- 26
updated Apr 26, 2024