Merge requests · pub / Why3find

[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
Preprocessing tactics

!142 · created Nov 04, 2024 by Benjamin Jorge 1.1
feature prove
- Merged
- 10
- Approved
updated Nov 20, 2024
[lib] move crc, prover, tactic

!134 · created Oct 24, 2024 by Loïc Correnson
feature
- Closed
- 1
updated Oct 25, 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
[vscode] complete syntax highlighting

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

!86 · created Jun 25, 2024 by Loïc Correnson
feature
updated Jul 02, 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
Draft: Prove fine-grained target

!74 · created Apr 30, 2024 by Benjamin Jorge
cli feature
- 3
updated Nov 15, 2024
[opam] fix versions

!68 · created Apr 07, 2024 by Loïc Correnson
feature
- Merged
- 10
updated Apr 26, 2024