Merge requests · pub

Skip to content

GitLab

Projects Groups Snippets

/

Help
Sign in

P pub
Group information
- Group information
- Activity
- Labels
- Members
Issues 186
- Issues 186
- List
- Board
- Milestones
Merge requests 14
- Merge requests 14
Packages and registries
- Packages and registries
- Package Registry

Collapse sidebar

pub
Merge requests

Open 14
Merged 247
Closed 23
All 284

update Makefiles following new installation directories

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

pub.frama-c.com!172 · created Nov 25, 2022 by Allan Blanchard
- CLOSED
- 0
updated Nov 25, 2022
Feature/limits

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

frama-clang!9 · created Apr 08, 2022 by T-Gruber
- CLOSED
- Approved
- 1
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
- 0
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
- Approved
- 5
updated Apr 18, 2022
[libc++] Fix std::forward for r-value references

frama-clang!1 · created Jul 08, 2021 by Stefan Gränitz
- CLOSED
- Approved
- 2
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
- Approved
- 2
updated Apr 18, 2022
Add support for C++14 generic lambdas

frama-clang!5 · created Aug 19, 2021 by Stefan Gränitz
- CLOSED
- Approved
- 2
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
- Approved
- 3
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
- 0
updated Jun 09, 2021
Fix/readme

colibrics!8 · created May 17, 2021 by Arthur Correnson
- CLOSED
- 2
updated May 20, 2021
[tests] use shorter, path-independent includes

frama-c!4 · created Apr 16, 2021 by Andre Maroneze
- CLOSED
- 0
updated Apr 16, 2021
Makes logo compatible with dark mode

pub.frama-c.com!50 · created Sep 02, 2020 by Allan Blanchard
- CLOSED
- 0
updated Sep 03, 2020
[add] moerman2018 benchmark suite

open-source-case-studies!3 · created Jul 17, 2020 by Dario Pinto
- CLOSED
- 3
updated Aug 04, 2020
Fixed a semantic error concerning ISO C99 Uninitialized Value Undefined Behaviour in Eva main manual

frama-c!3 · created Jun 09, 2020 by Dario Pinto
- CLOSED
- 1
updated Jun 09, 2020
[blog] tweak CSS

pub.frama-c.com!21 · created Apr 02, 2020 by Andre Maroneze
- CLOSED
- 0
updated Apr 06, 2020

Prev
1
2
Next