Merge requests · pub

Skip to content

GitLab

Projects Groups Topics Snippets

/

Help
Sign in

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

Collapse sidebar

pub
Merge requests

Open 11
Merged 298
Closed 28
All 337

test blog post in markdown

pub.frama-c.com!1 · created Oct 03, 2019 by Andre Maroneze
- Closed
- 12
updated Oct 03, 2019
Rewrite link to download to link to gitlab

pub.frama-c.com!5 · created Nov 07, 2019 by François Bobot
- Closed
- 2
updated Jan 15, 2020
update inria logo

pub.frama-c.com!14 · created Nov 07, 2019 by Thibault Martin
- Closed
- 0
updated Nov 07, 2019
[blog] tweak CSS

pub.frama-c.com!21 · created Apr 02, 2020 by Andre Maroneze
- Closed
- 0
updated Apr 06, 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
[add] moerman2018 benchmark suite

open-source-case-studies!3 · created Jul 17, 2020 by Dario Pinto
- Closed
- 3
updated Aug 04, 2020
Makes logo compatible with dark mode

pub.frama-c.com!50 · created Sep 02, 2020 by Allan Blanchard
- Closed
- 0
updated Sep 03, 2020
[tests] use shorter, path-independent includes

frama-c!4 · created Apr 16, 2021 by Andre Maroneze
- Closed
- 0
updated Apr 16, 2021
Fix/readme

colibrics!8 · created May 17, 2021 by Arthur Correnson
- Closed
- 2
updated May 20, 2021
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
[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 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
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
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
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
Start the COLIBRI manual in the website

colibri-website!3 · created Oct 04, 2021 by François Bobot
- Closed
- 0
updated Apr 18, 2023
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
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
[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

Prev
1
2
Next