Merge requests · pub

Feature/str2 rts

open-source-case-studies!45 · created Dec 06, 2023 by Andre Maroneze
updated Dec 08, 2023
Release 28.0 NIckel: add Ivette packages for Linux

pub.frama-c.com!213 · created Dec 01, 2023 by Allan Blanchard
- Merged
- 10
updated Dec 05, 2023
Add simplified regression test for init

colibrics!46 · created Nov 30, 2023 by François Bobot
- Merged
- 1
updated Dec 07, 2023
Release 28.0-Nickel

pub.frama-c.com!212 · created Nov 30, 2023 by Frama-CI Bot
updated Nov 30, 2023
Fix unsoundness with sqrt

colibrics!45 · created Nov 29, 2023 by François Bobot
- Merged
updated Nov 29, 2023
Allows to detect contradiction when looking for choices

colibrics!44 · created Nov 16, 2023 by François Bobot
- Merged
- 4
updated Nov 21, 2023
MetAcsl 0.5 release

pub.frama-c.com!211 · created Nov 07, 2023 by Virgile Prevosto
release
updated Nov 07, 2023
Update acknowledgement for Roma Maliach-Auguste

frama-c!10 · created Nov 04, 2023 by Roma Auguste
- Merged
- 3
updated Aug 31, 2024
Multiple fixes on auto-generated pages

pub.frama-c.com!210 · created Oct 27, 2023 by Allan Blanchard
- Merged
- 1
updated Nov 29, 2023
New position

pub.frama-c.com!209 · created Oct 27, 2023 by Allan Blanchard
updated Oct 27, 2023
Release 28.0~beta-Nickel

pub.frama-c.com!208 · created Oct 26, 2023 by Frama-CI Bot
updated Oct 26, 2023
Fixes propagation of zero into known non-zero variable

colibrics!43 · created Oct 26, 2023 by François Bobot
- Merged
updated Nov 16, 2023
Adding check-callee-assigns option

meta!1 · created Oct 24, 2023 by Teo BERNIER stable/cobalt
- Merged
- 24
updated Nov 07, 2023
Clean layouts

pub.frama-c.com!207 · created Oct 23, 2023 by Allan Blanchard
updated Oct 23, 2023
Add API

pub.frama-c.com!206 · created Oct 23, 2023 by Allan Blanchard
- Merged
- 5
- Approved
updated Nov 09, 2023
Update + fix Changelog

pub.frama-c.com!205 · created Oct 20, 2023 by Allan Blanchard
updated Oct 23, 2023
add mbedtls as case study

open-source-case-studies!44 · created Oct 18, 2023 by Virgile Prevosto
updated Oct 26, 2023
Fix model finding for reals

colibrics!42 · created Oct 16, 2023 by François Bobot
- Merged
updated Oct 20, 2023
[ivette] fix unintentional macOS argument splitting

frama-c!9 · created Oct 16, 2023 by Marvin Häuser
- Closed
- 4
updated Oct 24, 2023
[Simplex] readd the accelerator when looking for equalities

colibrics!41 · created Oct 13, 2023 by François Bobot
- Merged
updated Oct 13, 2023