Merge requests · pub

Add tracing information

colibrics!54 · created Mar 01, 2024 by Christophe Junke
- Merged
- 7
updated Mar 26, 2024
Improve nsequence, arrays and implement diff logic

colibrics!57 · created Mar 26, 2024 by François Bobot
- Merged
updated Mar 26, 2024
frama-clang Release 0.0.15

pub.frama-c.com!222 · created Mar 25, 2024 by Frama-CI Bot
- Merged
- Approved
updated Mar 26, 2024
check that summary.md is up-to-date via the CI

open-source-case-studies!51 · created Mar 20, 2024 by Andre Maroneze
updated Mar 21, 2024
synchronize with frama-c master

open-source-case-studies!52 · created Mar 21, 2024 by Andre Maroneze
updated Mar 21, 2024
Improved Eva messages about garbled mix

open-source-case-studies!47 · created Feb 27, 2024 by David Bühler
- Merged
- 11
updated Mar 20, 2024
[gzip124] improve parametrization

open-source-case-studies!50 · created Mar 20, 2024 by Andre Maroneze
updated Mar 20, 2024
[gnugo] add case study

open-source-case-studies!46 · created Jan 16, 2024 by Andre Maroneze
- Merged
- 13
updated Mar 19, 2024
use local 'cloc' to ensure a stable summary.md; only include git-tracked files

open-source-case-studies!49 · created Mar 19, 2024 by Andre Maroneze
- Merged
- 1
updated Mar 19, 2024
C utils

open-source-case-studies!48 · created Mar 04, 2024 by Remi Lazarini
- Merged
- 11
updated Mar 08, 2024
Release 28.1-Nickel

pub.frama-c.com!221 · created Mar 01, 2024 by Frama-CI Bot
updated Mar 01, 2024
[blog] improve layout for internal anchors

pub.frama-c.com!218 · created Jan 29, 2024 by Andre Maroneze
CSS blog
- Merged
- 3
- Approved
updated Feb 21, 2024
metacsl Release 0.6

pub.frama-c.com!220 · created Feb 16, 2024 by Virgile Prevosto
- Merged
- 3
updated Feb 16, 2024
Change bullet points to sections

colibri-website!7 · created Feb 13, 2024 by Christophe Junke
- Merged
updated Feb 13, 2024
Various changes notably a link to download COLIBRI bundle

colibri-website!6 · created Dec 11, 2023 by Christophe Junke
- Merged
- 2
updated Feb 13, 2024
replace twitter with mastodon

pub.frama-c.com!219 · created Feb 05, 2024 by Andre Maroneze
- Merged
- 2
updated Feb 05, 2024
Resolve "[prove] give more information on failure"

why3find!49 · created Jan 24, 2024 by Benjamin Jorge
feature
- Merged
- 13
- Approved
updated Feb 05, 2024
[wenv] options: make '!' prefix work as expected

why3find!50 · created Jan 25, 2024 by Benjamin Jorge
bug
- Merged
- 8
updated Jan 30, 2024
Update core to v1.16.1

colibrics!53 · created Jan 29, 2024 by Hichem R. A.
- Merged
- 2
- Approved
updated Jan 30, 2024
Resolve "[doc] shall document all files by default"

why3find!52 · created Jan 29, 2024 by Loïc Correnson
bug
updated Jan 29, 2024