Merge requests · pub

Start the COLIBRI manual in the website

colibri-website!3 · created Oct 04, 2021 by François Bobot
- Closed
updated Apr 18, 2023
Draft: Replace axiomatic lists with standard Why3 lists in WP plugin

frama-c!8 · created Jan 27, 2023 by kwaxer
- Closed
- 20
updated Apr 05, 2023
change 'make framac' target to install globally

open-source-case-studies!40 · created Mar 27, 2023 by Andre Maroneze
- Closed
updated Mar 28, 2023
update Makefiles following new installation directories

open-source-case-studies!33 · created Sep 21, 2022 by Andre Maroneze
- Closed
updated Jan 06, 2023
Draft: Release 26.0-Iron

pub.frama-c.com!172 · created Nov 25, 2022 by Allan Blanchard
- Closed
updated Nov 25, 2022
Draft: Cache operations

why3find!9 · created Oct 13, 2022 by Loïc Correnson
- Closed
updated Oct 13, 2022
DRAFT: upgrade to why3 1.5.1+git

why3find!8 · created Oct 13, 2022 by Loïc Correnson
- Closed
updated Oct 13, 2022
Feature/limits

frama-clang!8 · created Apr 08, 2022 by T-Gruber
- Closed
- 4
- Approved
updated Oct 10, 2022
Feature/ratio

frama-clang!9 · created Apr 08, 2022 by T-Gruber
- Closed
- 1
- Approved
updated Oct 10, 2022
Draft: FAKE Release 26.0-Iron

pub.frama-c.com!159 · created Aug 03, 2022 by François Bobot
- Closed
- 1
updated Aug 03, 2022
Fix/make depend macos

frama-c!7 · created Jun 07, 2022 by Andre Maroneze stable/manganese
- Closed
- 1
updated Jul 06, 2022
[doc] fix manuals for Manganese 25-beta

pub.frama-c.com!153 · created May 18, 2022 by Allan Blanchard
- Closed
updated May 18, 2022
Unmarshal: Hide type-breaking code behind Sys.opaque_identity

frama-c!6 · created Jan 26, 2022 by Vincent Laviron 25 (Manganese)
- Closed
- 3
updated May 17, 2022
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
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
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
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
WIP: [Libc] add non-POSIX header sys/sendfile.h + test

frama-c!5 · created Jun 08, 2021 by Andre Maroneze
libc
- Closed
updated Jun 09, 2021
Fix/readme

colibrics!8 · created May 17, 2021 by Arthur Correnson
- Closed
- 2
updated May 20, 2021