Merge requests · pub

Add API

pub.frama-c.com!206 · created Oct 23, 2023 by Allan Blanchard
- Merged
- 5
- Approved
updated Nov 09, 2023
Adding check-callee-assigns option

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

pub.frama-c.com!211 · created Nov 07, 2023 by Virgile Prevosto
release
updated Nov 07, 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
add mbedtls as case study

open-source-case-studies!44 · created Oct 18, 2023 by Virgile Prevosto
updated Oct 26, 2023
Add some css and some images

colibri-website!4 · created Oct 05, 2023 by Augustin Lemesle
- Merged
- 1
updated Oct 24, 2023
Clean layouts

pub.frama-c.com!207 · created Oct 23, 2023 by Allan Blanchard
updated Oct 23, 2023
Update + fix Changelog

pub.frama-c.com!205 · created Oct 20, 2023 by Allan Blanchard
updated Oct 23, 2023
Fix model finding for reals

colibrics!42 · created Oct 16, 2023 by François Bobot
- Merged
updated Oct 20, 2023
Update node in CI (15 -> 18)

pub.frama-c.com!202 · created Sep 11, 2023 by Allan Blanchard
updated Oct 20, 2023
[Simplex] readd the accelerator when looking for equalities

colibrics!41 · created Oct 13, 2023 by François Bobot
- Merged
updated Oct 13, 2023
Uninterp use disequalities for models

colibrics!40 · created Oct 13, 2023 by François Bobot
- Merged
updated Oct 13, 2023
Minor cosmetic changes

colibrics!38 · created Oct 11, 2023 by Hichem R. A.
- Merged
- Approved
updated Oct 12, 2023
Bobot/abs

colibrics!36 · created Oct 05, 2023 by François Bobot
- Merged
updated Oct 11, 2023
Regression

colibrics!37 · created Oct 10, 2023 by François Bobot
- Merged
updated Oct 10, 2023
Remove support@frama-c.com

pub.frama-c.com!204 · created Sep 25, 2023 by Allan Blanchard
- Merged
- Approved
updated Sep 25, 2023
Simplify equality module by using tag even if disequality unknown

colibrics!33 · created Jun 15, 2023 by François Bobot
- Merged
- Approved
updated Sep 23, 2023
[CI] update docker and bump ocaml version

colibrics!35 · created Sep 15, 2023 by François Bobot
- Merged
updated Sep 15, 2023
Update deps

colibrics!34 · created Jul 10, 2023 by Hichem R. A.
- Merged
- 2
updated Sep 15, 2023