Merge requests · pub

Pin dolmen version to 0.9

colibrics!65 · created Jul 01, 2024 by Christophe Junke
updated Jul 01, 2024
[vscode] lsp

why3find!89 · created Jun 26, 2024 by Loïc Correnson
feature
updated Aug 19, 2024
[vscode] complete syntax highlighting

why3find!88 · created Jun 26, 2024 by Loïc Correnson
feature
updated Jun 26, 2024
Create why3find library

why3find!87 · created Jun 26, 2024 by Benjamin Jorge
- Merged
- 2
updated Jun 26, 2024
synchronize with frama-c master

open-source-case-studies!57 · created Jun 26, 2024 by Andre Maroneze
updated Jul 31, 2024
Resolve "[config] make prover versions strict"

why3find!86 · created Jun 25, 2024 by Loïc Correnson
feature
updated Jul 02, 2024
Resolve "[config] problems when updating config"

why3find!85 · created Jun 25, 2024 by Loïc Correnson
bug
updated Jun 25, 2024
[vscode] language support for why3

why3find!84 · created Jun 24, 2024 by Loïc Correnson
feature
updated Jun 25, 2024
[prove] better feedback

why3find!83 · created Jun 24, 2024 by Loïc Correnson
feature
updated Jun 25, 2024
[prove] fix hammer strategy & improve feedback

why3find!82 · created Jun 24, 2024 by Loïc Correnson
bug
- Merged
- 2
updated Oct 14, 2024
[utils] rework json printing and reading, truncate float values

why3find!81 · created Jun 21, 2024 by Benjamin Jorge
- Merged
- 12
updated Jun 24, 2024
Update LTest dependancies

pub.frama-c.com!233 · created Jun 20, 2024 by Thibault Martin
release
updated Jun 20, 2024
Debug and warnings

why3find!80 · created Jun 11, 2024 by Benjamin Jorge
- Merged
- 15
updated Jun 19, 2024
Ivette Packages 28.1 and 29.0

pub.frama-c.com!232 · created Jun 11, 2024 by Allan Blanchard
- Merged
updated Jun 14, 2024
Don't allow extra config files

why3find!79 · created Jun 10, 2024 by Benjamin Jorge
- Merged
- 1
updated Jun 11, 2024
Remove unnecessary Core depdency

colibrics!64 · created Jun 07, 2024 by Hichem R. A.
- Merged
- 1
updated Jun 17, 2024
Release 29.0-Copper

pub.frama-c.com!231 · created Jun 06, 2024 by Frama-CI Bot
updated Jun 06, 2024
Update file LICENSE.md

why3find!78 · created Jun 03, 2024 by Benjamin Jorge
- Merged
updated Jun 03, 2024
Accept all input formats (including those from plugins)

why3find!77 · created May 31, 2024 by Benjamin Jorge
- Merged
- 4
updated Jun 05, 2024
Improve project organization

why3find!76 · created May 28, 2024 by Benjamin Jorge
dev
- 2
updated Nov 15, 2024