Merge requests · pub

Draft: Test

why3find!101 · created Aug 28, 2024 by Benjamin Jorge
- Closed
updated Aug 28, 2024
[why3find] print command

why3find!100 · created Aug 28, 2024 by Loïc Correnson
feature
- Merged
- 11
- 1
updated Aug 30, 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
Functional environment

why3find!97 · created Aug 27, 2024 by Benjamin Jorge
- Merged
- 6
updated Aug 29, 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
[lsp] vsix artefact

why3find!93 · created Aug 19, 2024 by Loïc Correnson 1.1
CI
- Merged
- 1
- Approved
updated Oct 24, 2024
Improves index page

pub.frama-c.com!236 · created Aug 06, 2024 by Allan Blanchard
updated Aug 08, 2024
Timing and profiling

why3find!92 · created Aug 01, 2024 by Benjamin Jorge
- Merged
- 4
- Approved
updated Nov 14, 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
Amelioration in sequence theory

colibrics!67 · created Jul 16, 2024 by François Bobot
- Merged
updated Jul 16, 2024
Index cache on non-prepared tasks

why3find!91 · created Jul 09, 2024 by Benjamin Jorge
- Merged
- 3
- 1
updated Jul 12, 2024
Draft: Resolve "[WP] region plugin division by 0 with blob region node"

frama-c!14 · created Jul 04, 2024 by Jérémy Damour
wp
- Closed
updated Jul 04, 2024
Draft: Resolve "[WP] The support of sets is partial"

frama-c!13 · created Jul 02, 2024 by Cécile Ruet-Cros
confirmed wp
- Closed
updated Jul 02, 2024
[debug] Allow turning on debug flags from plugins

why3find!90 · created Jul 01, 2024 by Benjamin Jorge
- Merged
- 2
updated Jul 01, 2024
colibri2: pin dolmen version to 0.9

colibrics!66 · created Jul 01, 2024 by Christophe Junke
updated Jul 01, 2024