Merge requests · pub

Link installation pages to the GitLab

pub.frama-c.com!242 · created Oct 03, 2024 by Allan Blanchard
- Merged
- 1
updated Oct 03, 2024
Resolve "False goal doesn't produce null"

why3find!121 · created Oct 02, 2024 by Benjamin Jorge 1.1
- Merged
- Approved
updated Oct 02, 2024
Fix itemize on the website

pub.frama-c.com!241 · created Sep 20, 2024 by François Bobot
- Merged
- 3
updated Sep 26, 2024
[prove] added option -H to tune proof strategy

why3find!118 · created Sep 16, 2024 by Loïc Correnson 1.1
feature
- Merged
- Approved
updated Sep 23, 2024
New publis

pub.frama-c.com!239 · created Sep 13, 2024 by Allan Blanchard
updated Sep 19, 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
[doc] updated readme(s)

why3find!120 · created Sep 17, 2024 by Loïc Correnson
manual
updated Sep 17, 2024
[BV] support bvsub

colibrics!71 · created Sep 16, 2024 by Hichem R. A.
- Merged
- 2
updated Sep 17, 2024
[lsp] fix field type in hovers

why3find!119 · created Sep 16, 2024 by Loïc Correnson
bug lsp
updated Sep 16, 2024
[lsp] document references

why3find!117 · created Sep 16, 2024 by Loïc Correnson
bug feature lsp
updated Sep 16, 2024
[lsp] fix selection range

why3find!116 · created Sep 16, 2024 by Loïc Correnson
bug lsp
updated Sep 16, 2024
[lsp] Document Structure

why3find!113 · created Sep 13, 2024 by Loïc Correnson
feature lsp
- Merged
- 1
updated Sep 13, 2024
[lsp] aliased type names

why3find!111 · created Sep 12, 2024 by Loïc Correnson
feature lsp
updated Sep 13, 2024
[vscode] fix highlighting

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

why3find!110 · created Sep 11, 2024 by Loïc Correnson
feature lsp
updated Sep 11, 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
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
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
[lsp] folding ranges

why3find!109 · created Sep 05, 2024 by Loïc Correnson
feature 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