Merge requests · pub

Make exhaustive use of C++11 override keyword (NFC)

frama-clang!4 · created Jul 15, 2021 by Stefan Gränitz
- Closed
- 3
- Approved
updated Apr 18, 2022
23.1-Vanadium release

pub.frama-c.com!128 · created Jul 21, 2021 by Allan Blanchard
- Merged
updated Jul 21, 2021
Fp/ieee

colibrics!16 · created Jul 28, 2021 by Arthur Correnson
- Merged
- 6
updated Aug 12, 2021
2 postdoc and 1 PhD positions on runtime verification

pub.frama-c.com!129 · created Aug 05, 2021 by Allan Blanchard
updated Aug 06, 2021
Separate Abs and Sign

colibrics!17 · created Aug 12, 2021 by François Bobot
- Merged
updated Aug 12, 2021
Fix artifact path for colibri2

colibrics!18 · created Aug 13, 2021 by François Bobot
- Merged
updated Aug 13, 2021
Add support for C++14 generic lambdas

frama-clang!5 · created Aug 19, 2021 by Stefan Gränitz
- Closed
- 2
- Approved
updated Apr 18, 2022
Colibri doc

colibri-website!1 · created Aug 19, 2021 by François Bobot
- Merged
updated Aug 19, 2021
Colibri doc, publication and posts

colibri-website!2 · created Sep 28, 2021 by François Bobot
- Merged
updated Sep 28, 2021
Start proving union interval with Colibri2

colibrics!19 · created Sep 28, 2021 by François Bobot
- Merged
updated Sep 29, 2021
Start the COLIBRI manual in the website

colibri-website!3 · created Oct 04, 2021 by François Bobot
- Closed
updated Apr 18, 2023
Better reccursive function handling

colibrics!20 · created Oct 08, 2021 by François Bobot
- Merged
updated Dec 16, 2021
Frama-C discuss old archives

pub.frama-c.com!130 · created Oct 12, 2021 by Virgile Prevosto
- Merged
- 7
updated May 09, 2022
[blog] new post about old Frama-C Docker images

pub.frama-c.com!131 · created Oct 15, 2021 by Andre Maroneze
blog
updated Oct 15, 2021
24.0-beta-Chromium release

pub.frama-c.com!132 · created Nov 04, 2021 by Virgile Prevosto
updated Nov 04, 2021
[Pub] Add publication "the dog pursuit"

pub.frama-c.com!133 · created Nov 10, 2021 by Allan Blanchard
updated Nov 10, 2021
24.0-Chromium release

pub.frama-c.com!134 · created Nov 30, 2021 by Virgile Prevosto
updated Dec 01, 2021
fix version numbers in manuals

pub.frama-c.com!135 · created Dec 01, 2021 by Virgile Prevosto
updated Dec 01, 2021
Fix/main manuals

pub.frama-c.com!136 · created Dec 01, 2021 by Allan Blanchard
- Merged
- 1
updated Dec 01, 2021
[x509-parser] add E-ACSL target; add test DER certificate

open-source-case-studies!22 · created Dec 10, 2021 by Andre Maroneze
- Merged
- 22
- Approved
updated Dec 14, 2021