Merge requests · pub

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
Fp/ieee

colibrics!16 · created Jul 28, 2021 by Arthur Correnson
- Merged
- 6
updated Aug 12, 2021
23.1-Vanadium release

pub.frama-c.com!128 · created Jul 21, 2021 by Allan Blanchard
- Merged
updated Jul 21, 2021
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
Fix infinite loop when processing unknown double-dash argument

frama-clang!3 · created Jul 13, 2021 by Stefan Gränitz
- Closed
- 2
- Approved
updated Apr 18, 2022
Announcement of Frama-Clang 0.0.11

pub.frama-c.com!127 · created Jul 13, 2021 by Virgile Prevosto
updated Jul 13, 2021
Frama clang 0.11

pub.frama-c.com!126 · created Jul 13, 2021 by Virgile Prevosto
- Merged
- 5
updated Jul 13, 2021
[zlib] new case study

open-source-case-studies!21 · created Jul 13, 2021 by Andre Maroneze
- 3
updated Sep 06, 2023
2 new E-ACSL publis

pub.frama-c.com!125 · created Jul 13, 2021 by Julien Signoles
publis
updated Jul 13, 2021
Fix std::move for std::unique_ptr with non-primitive payloads

frama-clang!2 · created Jul 08, 2021 by Stefan Gränitz
- Closed
- 5
- Approved
updated Apr 18, 2022
[libc++] Fix std::forward for r-value references

frama-clang!1 · created Jul 08, 2021 by Stefan Gränitz
- Closed
- 2
- Approved
updated Apr 18, 2022
Better jobs handling

pub.frama-c.com!124 · created Jul 08, 2021 by Allan Blanchard
- Merged
- 5
updated Jul 13, 2021
New Frama-C position

pub.frama-c.com!123 · created Jul 08, 2021 by Allan Blanchard
updated Jul 08, 2021
23.0-Vanadium release [Fix OPAM file]

pub.frama-c.com!122 · created Jul 06, 2021 by Allan Blanchard
- Merged
updated Jul 06, 2021
Fix title style event Vanadium

pub.frama-c.com!121 · created Jul 06, 2021 by Allan Blanchard
- Merged
updated Jul 06, 2021
Fixes main distribution link

pub.frama-c.com!120 · created Jul 06, 2021 by Allan Blanchard
- Merged
updated Jul 06, 2021
23.0-Vanadium release

pub.frama-c.com!119 · created Jul 06, 2021 by Allan Blanchard
- Merged
updated Jul 06, 2021
Start of learning

colibrics!15 · created Jun 25, 2021 by François Bobot
- Merged
- 2
- Approved
updated Jun 28, 2021
Fixes download 23-rc1 file names

pub.frama-c.com!118 · created Jun 22, 2021 by Allan Blanchard
updated Jun 22, 2021
Add get-model and get-value

colibrics!14 · created Jun 18, 2021 by François Bobot
- Merged
updated Jun 21, 2021