Merge requests · pub

[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
[core] enabling collaboration between lsp & hammer 5 of 5 checklist items completed

why3find!155 · created Dec 04, 2024 by Loïc Correnson
api lsp prove
- Merged
- 16
- Approved
updated Mar 06, 2025
[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
- Closed
updated Mar 12, 2025
[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
Egraph.pp

colibrics!83 · created Nov 26, 2024 by François Bobot
- Merged
- 1
updated Dec 20, 2024
[prove] restore --no-cache option

why3find!151 · created Nov 26, 2024 by Loïc Correnson 1.1
bug prove
- Merged
- 4
updated Dec 04, 2024
Interval domains updates using the pivot

colibrics!82 · created Nov 25, 2024 by Hichem R. A.
- Merged
updated Dec 13, 2024
Improvements to difflogic engine

colibrics!81 · created Nov 25, 2024 by Hichem R. A.
- Merged
updated Dec 13, 2024
Fix interleave function from Base

colibrics!80 · created Nov 23, 2024 by François Bobot
- Merged
- 3
updated Nov 25, 2024
[hammer] fix replay & update modes

why3find!150 · created Nov 22, 2024 by Loïc Correnson 1.1
bug prove
- Merged
- 2
- Approved
updated Nov 27, 2024
[prove] fix ranges for -x

why3find!149 · created Nov 21, 2024 by Loïc Correnson 1.1
bug prove
- Merged
- 2
- Approved
updated Nov 26, 2024
[dune] fix default flags

why3find!148 · created Nov 21, 2024 by Loïc Correnson 1.1
bug dev
- Merged
- Approved
updated Nov 21, 2024
[lsp] fix type & crc typos

why3find!147 · created Nov 20, 2024 by Loïc Correnson
updated Nov 20, 2024
metacsl Release 0.8~beta

pub.frama-c.com!247 · created Nov 15, 2024 by Virgile Prevosto
- Merged
- 1
updated Dec 06, 2024
frama-clang Release 0.0.17~beta

pub.frama-c.com!246 · created Nov 15, 2024 by Virgile Prevosto
- Merged
- 1
updated Nov 27, 2024
[prove] more statistics

why3find!146 · created Nov 13, 2024 by Loïc Correnson 1.1
cli feature
- Merged
- 2
- Approved
updated Nov 18, 2024