Merge requests · pub

[lsp] document references

why3find!117 · created Sep 16, 2024 by Loïc Correnson
bug feature lsp
updated Sep 16, 2024
[blog] post with tips about debugging the preprocessor

pub.frama-c.com!240 · created Sep 16, 2024 by Andre Maroneze
blog
- Merged
- 2
updated Sep 18, 2024
[lsp] fix selection range

why3find!116 · created Sep 16, 2024 by Loïc Correnson
bug lsp
updated Sep 16, 2024
New publis

pub.frama-c.com!239 · created Sep 13, 2024 by Allan Blanchard
updated Sep 19, 2024
[prove] emit prover warnings once

why3find!115 · created Sep 13, 2024 by Loïc Correnson 1.1
bug
- 1
updated Oct 09, 2024
[prove] keep further hints on each saving

why3find!114 · created Sep 13, 2024 by Loïc Correnson 1.1
bug
- Merged
- 18
- Approved
updated Sep 18, 2024
[lsp] Document Structure

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

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

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

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

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

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

why3find!107 · created Sep 05, 2024 by Loïc Correnson
lsp
- Merged
- 6
- Approved
updated Sep 05, 2024
frama-clang Release 0.0.16

pub.frama-c.com!238 · created Sep 05, 2024 by Frama-CI Bot
release
- Merged
- 5
updated Sep 06, 2024
Fixes a lot of dead links (deletes a few)

pub.frama-c.com!237 · created Sep 04, 2024 by Allan Blanchard
updated Sep 06, 2024
Use contextual hashtbl in Egraph instead of PatriciaTrees

colibrics!69 · created Sep 04, 2024 by François Bobot
- Merged
- 5
updated Sep 11, 2024
[config] use to-string to compare configs

why3find!106 · created Sep 02, 2024 by Loïc Correnson
bug
- Merged
- Approved
updated Sep 03, 2024
Test for the proof protocol

why3find!105 · created Sep 02, 2024 by Benjamin Jorge
- Merged
- Approved
updated Sep 03, 2024
[lsp] fix code lens

why3find!104 · created Aug 30, 2024 by Loïc Correnson
bug
- Merged
- 8
updated Sep 04, 2024
[makefile] all-in-one vscode install

why3find!103 · created Aug 30, 2024 by Loïc Correnson
doc feature
- Merged
- Approved
updated Aug 30, 2024