Merge requests · pub

25.0-Manganese release

pub.frama-c.com!155 · created Jun 21, 2022 by François Bobot
- Merged
- 3
updated Jun 23, 2022
Release helpers

colibrics!24 · created Jun 18, 2022 by François Bobot
- Merged
updated Jun 20, 2022
fix artifacts per job

open-source-case-studies!30 · created Jun 16, 2022 by Andre Maroneze
updated Jun 17, 2022
Fixes

colibri!36 · created Jun 09, 2022 by François Bobot
- Merged
updated Aug 09, 2022
Validation et fix pour #57

colibri!35 · created May 31, 2022 by François Bobot
- Merged
updated Jun 09, 2022
[Beta] Fix documentation version

pub.frama-c.com!154 · created May 18, 2022 by François Bobot
- Merged
- 2
updated May 23, 2022
Release/beta 25.0 beta manganese

pub.frama-c.com!152 · created May 16, 2022 by Allan Blanchard
- Merged
- 2
updated May 16, 2022
[blog] fix a few URLs and conversion leftovers

pub.frama-c.com!151 · created May 11, 2022 by Andre Maroneze
blog
updated Jun 01, 2022
add Frama-PLC plugin page and online manuals

pub.frama-c.com!150 · created May 11, 2022 by Andre Maroneze
- Merged
- 6
updated Jun 07, 2022
Master

why3find!1 · created Apr 27, 2022 by Loïc Correnson main
- Merged
updated Apr 27, 2022
add git pre-commit hook to prevent mistakes

open-source-case-studies!27 · created Apr 22, 2022 by Andre Maroneze
- Merged
- 2
updated Apr 22, 2022
split CI tests for better feedback and to avoid timeouts

open-source-case-studies!26 · created Apr 22, 2022 by Andre Maroneze
updated Jun 13, 2022
Update_dolmen and fix #55

colibri!34 · created Apr 15, 2022 by François Bobot
- Merged
- 1
updated Apr 19, 2022
move git lfs-managed file to download directory

pub.frama-c.com!149 · created Apr 15, 2022 by Andre Maroneze
updated Apr 15, 2022
[blog] post about LTest opam release

pub.frama-c.com!148 · created Apr 14, 2022 by Andre Maroneze
blog
- Merged
- 5
- Approved
updated Apr 19, 2022
Sync with frama-c master after MR !3660 and !3698

open-source-case-studies!25 · created Apr 13, 2022 by David Bühler
- Merged
- 3
updated Apr 15, 2022
Frama clang 0.0.12

pub.frama-c.com!147 · created Apr 11, 2022 by Virgile Prevosto
release
updated Apr 11, 2022
Dev

colibrics!23 · created Apr 08, 2022 by François Bobot
- Merged
updated Jun 17, 2022
[blog] normalize categories

pub.frama-c.com!146 · created Apr 08, 2022 by Andre Maroneze
blog
updated Apr 08, 2022
Introducing LTest

pub.frama-c.com!145 · created Apr 07, 2022 by Virgile Prevosto
- Merged
- 18
updated Apr 08, 2022