Merge requests · pub

Egraph.pp

colibrics!83 · created Nov 26, 2024 by François Bobot
- Merged
- 1
updated Dec 20, 2024
Add linear approximations of products

colibrics!70 · created Sep 16, 2024 by Christophe Junke
- Merged
- 12
updated Dec 20, 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
[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
[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
[lsp] support for related info

why3find!159 · created Dec 14, 2024 by Loïc Correnson
lsp
updated Dec 14, 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
[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
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
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
Use the uncaught exception handler

why3find!156 · created Dec 05, 2024 by Benjamin Jorge 1.1
- Merged
- 1
updated Dec 06, 2024
Release 30.0-Zinc

pub.frama-c.com!248 · created Dec 05, 2024 by Frama-CI Bot
- Merged
- 1
updated Dec 06, 2024
metacsl Release 0.8~beta

pub.frama-c.com!247 · created Nov 15, 2024 by Virgile Prevosto
- Merged
- 1
updated Dec 06, 2024
[lsp] refactor code base

why3find!154 · created Dec 04, 2024 by Loïc Correnson
lsp
updated Dec 04, 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
[LRA] remove total pivot

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