Merge requests · pub

Define a public name for generate_dune_tests

colibrics!88 · created Dec 19, 2024 by Christophe Junke
updated Dec 19, 2024
Changelog : Highlight most important new features, various minor changes

why3find!162 · created Dec 18, 2024 by Benjamin Jorge 1.1
- Merged
- 1
updated Dec 18, 2024
Fix --debug

colibrics!87 · created Dec 18, 2024 by François Bobot
- Merged
- 1
updated Dec 18, 2024
Add a possible parameter "all" for show_stats.sh

open-source-case-studies!61 · created Dec 18, 2024 by Basile Desloges
updated Dec 18, 2024
[lsp] fix capabilities 1 of 2 checklist items completed

why3find!161 · created Dec 17, 2024 by Loïc Correnson 1.1
bug emacs lsp
- Merged
- 1
- Approved
updated Dec 18, 2024
Compatibility with why3 1.8.0

why3find!160 · created Dec 16, 2024 by Benjamin Jorge
- Merged
updated Dec 16, 2024
[lsp] support for related info

why3find!159 · created Dec 14, 2024 by Loïc Correnson
lsp
updated Dec 14, 2024
[LRA] make relop normalization optional

colibrics!86 · created Dec 13, 2024 by Hichem R. A.
updated Dec 18, 2024
[doc] document the use of the LSP with emacs

why3find!158 · created Dec 12, 2024 by Benjamin Jorge 1.1
- Merged
- 8
- 1
- Approved
updated Dec 13, 2024
Use specific comparison for Learnt propagation

colibrics!85 · created Dec 12, 2024 by François Bobot
updated Dec 12, 2024
metacsl Release 0.8

pub.frama-c.com!250 · created Dec 11, 2024 by Frama-CI Bot
- Merged
updated Dec 11, 2024
frama-clang Release 0.0.17

pub.frama-c.com!249 · created Dec 09, 2024 by Frama-CI Bot
- Merged
updated Dec 09, 2024
[vc] generalize range extraction 6 of 6 checklist items completed

why3find!157 · created Dec 09, 2024 by Loïc Correnson 1.1
bug prove
- Merged
- 4
updated Dec 14, 2024
Release 30.0-Zinc

pub.frama-c.com!248 · created Dec 05, 2024 by Frama-CI Bot
- Merged
- 1
updated Dec 06, 2024
Use the uncaught exception handler

why3find!156 · created Dec 05, 2024 by Benjamin Jorge 1.1
- Merged
- 1
updated Dec 06, 2024
Draft: [core] enabling collaboration between lsp & hammer 2 of 4 checklist items completed

why3find!155 · created Dec 04, 2024 by Loïc Correnson
api lsp prove
updated Dec 19, 2024
[lsp] refactor code base

why3find!154 · created Dec 04, 2024 by Loïc Correnson
lsp
updated Dec 04, 2024
Draft: [lsp] proof tree in vscode

why3find!153 · created Dec 04, 2024 by Loïc Correnson
lsp
updated Dec 19, 2024
[runner] detect not-killed process

why3find!152 · created Dec 03, 2024 by Loïc Correnson 1.1
bug
- Merged
- 7
- Approved
updated Dec 16, 2024
[LRA] remove total pivot

colibrics!84 · created Nov 29, 2024 by Hichem R. A.
- Merged
updated Nov 29, 2024