Merge requests · pub

[doc] fix clone instances mapping

why3find!102 · created Aug 29, 2024 by Loïc Correnson
bug manual
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] fix code lens

why3find!104 · created Aug 30, 2024 by Loïc Correnson
bug
- Merged
- 8
updated Sep 04, 2024
Test for the proof protocol

why3find!105 · created Sep 02, 2024 by Benjamin Jorge
- Merged
- Approved
updated Sep 03, 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
Update acknowledgement for Roma Maliach-Auguste

frama-c!10 · created Nov 04, 2023 by Roma Auguste
- Merged
- 3
updated Aug 31, 2024
[makefile] all-in-one vscode install

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

why3find!100 · created Aug 28, 2024 by Loïc Correnson
feature
- Merged
- 11
- 1
updated Aug 30, 2024
Functional environment

why3find!97 · created Aug 27, 2024 by Benjamin Jorge
- Merged
- 6
updated Aug 29, 2024
[lsp] fix hover description for val

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

why3find!98 · created Aug 27, 2024 by Loïc Correnson
updated Aug 27, 2024
Resolve "[config] check transformations at config and/or proof time"

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

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

why3find!94 · created Aug 22, 2024 by Loïc Correnson
feature
updated Aug 23, 2024
New/powerwindow

open-source-case-studies!54 · created May 03, 2024 by Remi Lazarini
- Merged
- 1
updated Aug 19, 2024
[vscode] lsp

why3find!89 · created Jun 26, 2024 by Loïc Correnson
feature
updated Aug 19, 2024
Improves index page

pub.frama-c.com!236 · created Aug 06, 2024 by Allan Blanchard
updated Aug 08, 2024
Add Frama-C book chapters to publications

pub.frama-c.com!235 · created Aug 01, 2024 by Allan Blanchard
updated Aug 05, 2024
Frama-C Days 2024: slides

pub.frama-c.com!234 · created Aug 01, 2024 by Allan Blanchard
- Merged
- 3
updated Aug 05, 2024
Update dolmen version to 0.10

colibrics!68 · created Jul 27, 2024 by Hichem R. A.
- Merged
updated Aug 02, 2024